Software Engineer's Reference Book
Published on 22. October 2013
1100 pages
978-1-4831-0508-6 (ISBN)
Description
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.
More details
Other editions
Additional editions
John McDermid
Software Engineer's Reference Book
Book
11/1992
Butterworth-Heinemann
€61.89
Article exhausted; check different version
Content
PrefaceAcknowledgmentsList of ContributorsPart I ? Theory and Mathematics Introduction and overview to Part I Applicable Mathematics 1 Discrete Mathematics 2 Logics and Proof of Correctness 3 Introduction to Algebra 4 Graph Theory 5 Probability Theory 6 Statistics 7 Queuing Theory 8 Numerical Computation Fundamental Computer Science 9 Automata Theory 10 Language Theory 11 Data Structures and Algorithms Other Relevant Science and Theory 12 Measurement Theory 13 Cognitive Psychology 14 Information TheoryPart II - Methods, Techniques and Technology Introduction and overview to Part II 15 Software Development and Process Models Conventional Development 16 Requirements Analysis 17 Architectural High-Level Design 18 Implementation 19 Software Testing 20 Software Maintenance Formal Development 21 Model-Based Specifications 22 Algebraic Specifications 23 Formal Treatment of Concurrency and Time 24 Refinement 25 Formal Implementation 26 Verification Environments Software Development Management 27 Project Planning and Control 28 Software Cost Estimation Models 29 Quality Control and Assurance 30 Metrics and Measurement 31 Software Reliability Modelling 32 Managing Software Engineering Teams 33 Integrated Project Support Environments 34 Configuration Management AI/IKBS Approaches 35 Functional Programming 36 Logic Programming 37 Development Environments 38 AI/IKBS Development Components/Techniques Other Approaches to Software Development 39 Principles of Object-Oriented Systems 40 Prototyping 41 Software Reuse Programming Languages 42 Low-Level Languages 43 Early High-Level Languages 44 Modern Non-Conventional Programming 45 Features of Modern Imperative Programming 46 Practical Program Development The Operational Environment 47 Computer Hardware - Introduction and Overview 48 Computer Interfacing 49 Operating Systems 50 StandardsPart III - Principles of Applications Introduction and overview to Part III 51 Computer-Integrated Manufacture 52 Overview of Compiler Technology 53 Network and Distributed Systems 54 Database Systems 55 Database System Development 56 Real-Time Systems 57 Design of Interactive Systems 58 Digital Telephony and Switching 59 Computer Security 60 Safety 61 Fault-Tolerant Systems Structuring Concepts 62 Symbolic Computation 63 Epilogue - Future DevelopmentsIndex
