Front Cover; The Software Life Cycle; Copyright Page; Table of Contents; Contributors; Introduction: Software engineering and software development; Birth of software engineering; Drive towards automation; New development methods; Formal methods of software development; Software project management; New languages; Measuring the software project; Artificial intelligence and software engineering; References; Section I: Aspects of software engineering; Chapter 1. The role of functional languages in software development; Functional languages; The role of a programming language; JSD

Functions, processes and networksConclusions; References; Chapter 2. Functional programming and software engineering; Rationale for functional languages; Further example of use of functional languages; Functional programming and software engineering; Summary; References; Chapter 3. An evaluation of software product metrics; Code metrics; Design metrics; Specification metrics; Future directions; References; Chapter 4. Relational databases; Historical background; Basic database concepts; Relations and keys; Database design through normalization; Three normal forms; Further normal forms

Relational operationsSet-based relational operations; Selection and projection; Relational join; Relational division; Properties of relational operations; Conclusion; References; Chapter 5. Software engineering in MODULA-2; Abstraction and stepwise refinement; Programming in the small; Simple data abstractions; Modularity in ALGOL-like languages; Modularity in MODULA-2; Separate compilation; Classical data abstraction; Object-oriented design; Opaque types and intermodule coupling; Generic modules and types; MODULA-2 and ADA; Conclusion; References

Chapter 6. Functional programming on parallel architecturesImproving reliability; Improving efficiency; Introduction to Hope; ALICE; Graph reduction; Architecture; ALICE in hardware; Preliminary results; Conclusion; References; Section II: Structured techniques of software development; Chapter 7. Yourdon dataflow diagrams A tool for disciplined requirements analysis; Requirements analysis and dataflow diagrams; Yourdon Structured Method; From essential modelling to implementation modelling; Conclusions; References; Further reading

Chapter 8. Structured systems analysis and design method (SSADM)Basic principles; Overview of SSADM; Structured techniques; Documents and forms; Automated support for SSADM; Trends in development; Comparison with other methods; Conclusion; References; Chapter 9. The modelling phase of JSD; Basic JSD modelling; Comparison with data modelling; Roles and entities; Classification of actions; Command and control model; References; Chapter 10. Congruent design; Graphics notation for building models; Modelling data structures; Deriving simple program models; Data mappings