Table of Contents
Preface List of abbreviations 1. Introduction
2. Requirements definition, prototyping and modeling
3. System design and specification
4. System construction and composition
5. Validation and static verification
6. Testing or dynamic verification 7. System manufacturing, distribution, and installation
8. System administration, evolution and maintenance
9. Project management and business analysis
10. User skills, motivation, and satisfaction
11. Technology, architecture, and industry capabilities
12. Measurements, experiments, and empirical research
13. Conclusions and challenges Appendix 1: Summary of laws, hypotheses, and conjectures Appendix 2: Biographies of pioneers and key contributors Appendix 3: On-going projects/research groups References Index