Formal engineering for industrial software development : using the SOFL method
| Main Author: | |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
New York :
Springer ,
c2004
|
| Subjects: | |
| Online Access: | Table of contents only |
Table of Contents:
- 1. Introduction
- 2. Propositional logic
- 3. Predicate logic
- 4. The module
- 5. Hierarchical CDFDs and modules
- 6. Explicit specifications
- 7. basic data types
- 8. The set types
- 9. The sequence and string types
- 10. The composite and product types
- 11. The maps types
- 12. The union types
- 13. Classes
- 14. The software development process
- 15. approaches to constructing specifications
- 16. A case study-modeling an ATM
- 17. Rigorous review
- 18. Specification testing
- 19. Transformation from designs to programs
- 20. Intelligent software engineering environment