Software Engineer's Reference Book - 1st Edition - ISBN: 9780750608138, 9781483105086

Software Engineer's Reference Book

1st Edition

Editors: John A McDermid
eBook ISBN: 9781483105086
Imprint: Butterworth-Heinemann
Published Date: 11th September 1992
Page Count: 1100
Sales tax will be calculated at check-out Price includes VAT/GST
30% off
30% off
30% off
30% off
30% off
30% off
30% off
30% off
30% off
Price includes VAT/GST

Institutional Subscription

Secure Checkout

Personal information is secured with SSL technology.

Free Shipping

Free global shipping
No minimum order.


Software Engineer's Reference Book provides the fundamental principles and general approaches, contemporary information, and applications for developing the software of computer systems.

The book is comprised of three main parts, an epilogue, and a comprehensive index. The first part covers the theory of computer science and relevant mathematics. Topics under this section include logic, set theory, Turing machines, theory of computation, and computational complexity. Part II is a discussion of software development methods, techniques and technology primarily based around a conventional view of the software life cycle. Topics discussed include methods such as CORE, SSADM, and SREM, and formal methods including VDM and Z. Attention is also given to other technical activities in the life cycle including testing and prototyping. The final part describes the techniques and standards which are relevant in producing particular classes of application.

The text will be of great use to software engineers, software project managers, and students of computer science.

Table of Contents



List of Contributors

Part I  Theory and Mathematics

Introduction and overview to Part I

Applicable Mathematics

1 Discrete Mathematics

2 Logics and Proof of Correctness

3 Introduction to Algebra

4 Graph Theory

5 Probability Theory

6 Statistics

7 Queuing Theory

8 Numerical Computation

Fundamental Computer Science

9 Automata Theory

10 Language Theory

11 Data Structures and Algorithms

Other Relevant Science and Theory

12 Measurement Theory

13 Cognitive Psychology

14 Information Theory

Part II - Methods, Techniques and Technology

Introduction and overview to Part II

15 Software Development and Process Models

Conventional Development

16 Requirements Analysis

17 Architectural High-Level Design

18 Implementation

19 Software Testing

20 Software Maintenance

Formal Development

21 Model-Based Specifications

22 Algebraic Specifications

23 Formal Treatment of Concurrency and Time

24 Refinement

25 Formal Implementation

26 Verification Environments

Software Development Management

27 Project Planning and Control

28 Software Cost Estimation Models

29 Quality Control and Assurance

30 Metrics and Measurement

31 Software Reliability Modelling

32 Managing Software Engineering Teams

33 Integrated Project Support Environments

34 Configuration Management

AI/IKBS Approaches

35 Functional Programming

36 Logic Programming

37 Development Environments

38 AI/IKBS Development Components/Techniques

Other Approaches to Software Development

39 Principles of Object-Oriented Systems

40 Prototyping

41 Software Reuse

Programming Languages

42 Low-Level Languages

43 Early High-Level Languages

44 Modern Non-Conventional Programming

45 Features of Modern Imperative Programming

46 Practical Program Development

The Operational Environment

47 Computer Hardware - Introduction and Overview

48 Computer Interfacing

49 Operating Systems

50 Standards

Part III - Principles of Applications

Introduction and overview to Part III

51 Computer-Integrated Manufacture

52 Overview of Compiler Technology

53 Network and Distributed Systems

54 Database Systems

55 Database System Development

56 Real-Time Systems

57 Design of Interactive Systems

58 Digital Telephony and Switching

59 Computer Security

60 Safety

61 Fault-Tolerant Systems Structuring Concepts

62 Symbolic Computation

63 Epilogue - Future Developments



No. of pages:
© Butterworth-Heinemann 1991
eBook ISBN:

About the Editor

John A McDermid

Ratings and Reviews