Attachment VI: Axioms Systems

Kapitel in diesem Buch

1. Frontmatter i
2. Preface vii
3. Acknowledgments xi
4. Contents xv
5. 1 Introduction 1
6. 2 Aspects of Software Measurement 15
7. 3 History of Software Measurement 57
8. 4 Foundations of Software Measurement I 81
9. 5 Foundations of Software Measurement II 157
10. 6 Measurement Theory and Object-Oriented Software Measures 273
11. 7 Desirable Properties of Software Measures 339
12. 8 Validation of Software Measures and Prediction Models 407
13. 9 Applications of Software Measures 479
14. 10 Afterword 581
15. 11 Solutions of Exercises 583
16. 12 Glossary of Terms and Terms used as Synonyms 623
17. Attachment I: The System ZD-MIS 671
18. Attachment II: Proof of the Equivalence of Extensive Structures 673
19. Attachment III: Proof of the Theorems of Chapter 8 677
20. Attachment IV: Proof of the Theorems of Chapter 5 683
21. Attachment V: Notations and Used Symbols 689
22. Attachment VI: Axioms Systems 693
23. Definitions 699
24. Theorems 702
25. Exercises 703
26. References to Literature 707
27. Name Index 737
28. Subject Index 745
29. Backmatter 756