Software Engineer's Reference Book

Includes the underlying science and mathematics of software engineering, software development technology, software project management and principles of applications. Stressing fundamental and stable concepts, the book also summarizes the state-of-the-art in software engineering methods and tools. 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 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.