Software Engineer's Reference Book
- 1st Edition - September 11, 1992
- Latest edition
- Editor: John A McDermid
- Language: English
Software Engineer's Reference Book provides the fundamental principles and general approaches, contemporary information, and applications for developing the software of computer… Read more
Purchase options
Description
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.
Table of contents
Table of contents
Preface
Acknowledgments
List of Contributors
Part 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 Theory
Part 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 Standards
Part 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 Developments
Index
Product details
Product details
- Edition: 1
- Latest edition
- Published: September 11, 1992
- Language: English
View book on ScienceDirect
View book on ScienceDirect
Read Software Engineer's Reference Book on ScienceDirect