Software Engineer's Reference Book

Software Engineer's Reference Book

1st Edition - September 11, 1992

Write a review

  • Editor: John A McDermid
  • eBook ISBN: 9781483105086

Purchase options

Purchase options
DRM-free (PDF)
Sales tax will be calculated at check-out

Institutional Subscription

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

  • Preface


    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


Product details

  • No. of pages: 1100
  • Language: English
  • Copyright: © Butterworth-Heinemann 1992
  • Published: September 11, 1992
  • Imprint: Butterworth-Heinemann
  • eBook ISBN: 9781483105086

About the Editor

John A McDermid

Ratings and Reviews

Write a review

There are currently no reviews for "Software Engineer's Reference Book"