Software Engineer's Reference Book

Content: 
Front Matter, Page iii
Copyright, Page iv
Preface, Pages v-vii, John McDermid
Acknowledgements, Page viii
List of Contributors, Pages ix-x
Introduction and overview to Part I, Pages 1-8, John McDermid, Tim Denvir
1 - Discrete mathematics, Pages 1/1-1/14, Tim Denvir
2 - Logics and proofs of correctness, Pages 2/1-2/16, Martin Loomes
3 - Introduction to algebra, Pages 3/1-3/10, David Pitt, Paddy Byers
4 - Graph theory, Pages 4/1-4/11, Bernard Carré
5 - Probability theory, Pages 5/1-5/11, W. Freeman
6 - Statistics, Pages 6/1-6/11, DJ Hand
7 - Queuing theory, Pages 7/1-7/14, I Mitrani
8 - Numerical computation, Pages 8/1-8/9, Peter JL Wallis
9 - Automata theory, Pages 9/1-9/15, VJ Rayward-Smith
10 - Language theory, Pages 10/1-10/15, VJ Rayward-Smith
11 - Data structures and algorithms, Pages 11/1-11/12, Giorgio Ausiello
12 - Measurement theory, Pages 12/1-12/19, Agnes A Kaposi
13 - Cognitive psychology, Pages 13/1-13/13, Andrew Monk
14 - Information theory, Pages 14/1-14/23, W. Freeman
Introduction and overview to Part II, Pages 1-15, John A. McDermid
15 - Software development process models, Pages 15/1-15/36, John McDermid, Paul Rook
16 - Requirements analysis, Pages 16/1-16/21, David Alan Stokes
17 - Architectural design, Pages 17/1-17/33, John Buxton, John McDermid
18 - Implementation, Pages 18/1-18/10, BA Wichmann
19 - Software testing, Pages 19/1-19/15, Darrel Ince
20 - Software maintenance, Pages 20/1-20/18, Keith Bennett, Barry Cornelius, Malcolm Munro, Dave Robson
21 - Model-based specifications, Pages 21/1-21/37, Brian Monahan, Roger Shaw
22 - Algebraic specifications, Pages 22/1-22/10, M-C Gaudel
23 - Formal treatment of concurrency and time, Pages 23/1-23/19, Manfred Broy
24 - Refinement, Pages 24/1-24/17, Peter Whysall
25 - Formal implementation, Pages 25/1-25/15, Steven Vickers
26 - Verification environments, Pages 26/1-26/14, Dan Craigen
27 - Project planning and control, Pages 27/1-27/36, Paul Rook
28 - Software cost estimation models, Pages 28/1-28/10, Chris F Kemerer
29 - Quality control and assurance, Pages 29/1-29/12, Martyn A Ould
30 - Metrics and measurement, Pages 30/1-30/11, Barbara A Kitchenham
31 - Software reliability modelling, Pages 31/1-30/11, Bev Littlewood
32 - Managing software engineering teams, Pages 32/1-32/15, Keith Southwell
33 - Integrated project support environments, Pages 33/1-33/17, Anthony Hall
34 - Configuration management, Pages 34/1-34/17, Albert Alderson
35 - Functional programming, Pages 35/1-35/6, Hugh Glaser, Peter Henderson
36 - Logic programming, Pages 36/1-36/16, Christopher John Hogger
37 - Development environments, Pages 37/1-37/13, Ruth Aylett, Howard Beck, Paul WH Chung, John L Fraser
38 - AI/IKBS development components/techniques, Pages 38/1-38/19, Helen Sharp
39 - Principles of object-oriented systems, Pages 39/1-39/13, Martin C. Atkins, Alan W. Brown
40 - Prototyping, Pages 40/1-40/12, Darrel Ince
41 - Software reuse, Pages 41/1-41/12, Patrick Hall, Cornelia Boldyreff
42 - Low-level programming, Pages 42/1-42/12, John Henderson
43 - Early high-level languages, Pages 43/1-43/17, Brian L Meek
44 - Modern non-conventional Programming language concepts, Pages 44/1-44/16, Carlo Ghezzi
45 - Features of modern imperative programming languages, Pages 45/1-45/18, IC Wand
46 - Practical program development issues, Pages 46/1-46/16, John Henderson, Roy Dowsing, Dorothy Graham
47 - Computer hardware — introduction and overview, Pages 47/1-47/15, RD Dowsing
48 - Computer interfacing, Pages 48/1-48/14, RD Dowsing
49 - Operating systems, Pages 49/1-49/17, Laurie S. Keller
50 - Standards, Pages 50/1-50/21, Patrick AV Hall, Maurice Resnick
Introduction and overview to Part III, Pages 1-5, John A. McDermid
51 - Computer-integrated manufacture, Pages 51/1-51/19, David J Williams
52 - Overview of compiler technology, Pages 52/1-52/17, Andrew D. McGettrick
53 - Networks and distributed systems, Pages 53/1-53/25, Steve R. Wilbur
54 - Database systems, Pages 54/1-54/17, RP Whittington
55 - Database system development, Pages 55/1-55/21, RP Whittington
56 - Real-time systems, Pages 56/1-56/9, H. Kopetz
57 - Design of interactive systems, Pages 57/1-57/14, Harold Thimbleby
58 - Digital telephony and switching, Pages 58/1-58/12, Malcolm I Wardlaw
59 - Computer security, Pages 59/1-59/11, CT Sennett
60 - Safety, Pages 60/1-60/18, PA Bennett
61 - Fault-tolerant system structuring concepts, Pages 61/1-61/16, S.K. Shrivastava
62 - Symbolic computation, Pages 62/1-62/9, James Davenport
63 - Epilogue: future developments, Pages 63/1-63/15, Robert Laurence Baber
INDEX, Pages 1-22