The Software Life Cycle

Content: 
Front Matter, Page iii
Copyright, Page iv
Contributors, Pages vii-viii
Introduction: Software engineering and software development, Pages 1-17
Introduction to Aspects of software engineering, Page 19
Chapter 1 - The role of functional languages in software development, Pages 21-38, Roy MacLean
Chapter 2 - Functional programming and software engineering, Pages 39-46, Darrel Ince
Chapter 3 - An evaluation of software product metrics, Pages 47-70, Martin Shepperd
Chapter 4 - Relational databases, Pages 71-86, M. Worboys
Chapter 5 - Software engineering in MODULA-2, Pages 87-106, P.D. Terry
Chapter 6 - Functional progaming on parallel architectures, Pages 107-126, Susan Eisenbach, Chris Sadler
Introduction to Structured techniques of software development, Page 127
Chapter 7 - Yourdon dataflow diagrams: A tool for disciplined requirements analysis, Pages 129-167, Mark Woodman
Chapter 8 - Structured systems analysis and design method (SSADM), Pages 168-188, Caroline M. Ashworth
Chapter 9 - The modeling phase of JSD, Pages 189-203, John Cameron
Chapter 10 - Congruent design, Pages 204-218, Richard A. Zahniser
Introduction to Software development and mathematics, Page 219
Chapter 11 - The Vienna development method, Pages 221-259, Derek Andrews
Chapter 12 - Z and system specification, Pages 260-277, Darrel Ince
Chapter 13 - What are formal methods?, Pages 278-290, Peter Gibbins
Chapter 14 - Formal description of realtime systems: A reiew, Pages 291-308, Mathai Joseph, Goswami
Introduction to Software project management, Page 309
Chapter 15 - Software product assurance: measurement and control, Pages 311-328, David N. Card
Chapter 16 - Automating information engineering, Pages 329-343, Ian G. Macdonald
Chapter 17 - Designing software for provable correctness: The direction for quality software, Pages 344-360, Michael Dyer
Chapter 18 - Information base of the Aspect integrated project support environment, Pages 361-374, Peter Hitchcock, Richard P. Whittington
Chapter 19 - Artificial intelligence and software engineering: A survey of possibilities, Pages 375-385, Derek Partridge
Chapter 20 - Software testing techniques, Pages 386-402, P. David Coward
Bibliography, Pages 403-412
Index, Pages 413-418