The Software Life Cycle

Part 1 Aspects of software engineering: the role of functional languages in software development; functional programming and software engineering; an evaluation of software product metrics; relational databases - a theoretical primer; software engineering in MoDULA-2; functional programming on parallel architectures; Part 2 Structured techniques of software development: Yourdon dataflow diagrams - a tool for disciplined requirements analysis; structured systems analysis and design method (SSADM); modelling phase of JSD; congruent design. Part 3 Software development and mathematics: the Vienna development method; Z and system specification; what are formal methods?; formal description of real-time systems - a review. Part 4 Software project management: software assurance - measurement and control; automating information engineering; designing software for provable correctness - the direction for quality software; information base of the aspect integrated project support environment; artificial intelligence and software engineering - a survey of possibilites; a review of software testing.