Programming Methodology

Table of Contents

1. Altmetric Badge
   Book Overview
2. Altmetric Badge
   Chapter 1 Wanted: a compositional approach to concurrency
3. Altmetric Badge
   Chapter 2 Enforcing behavior with contracts
4. Altmetric Badge
   Chapter 3 Asynchronous progress
5. Altmetric Badge
   Chapter 4 A reduction theorem for concurrent object-oriented programs
6. Altmetric Badge
   Chapter 5 Abstractions from time
7. Altmetric Badge
   Chapter 6 A predicative semantics for real-time refinement
8. Altmetric Badge
   Chapter 7 Aspects of system description
9. Altmetric Badge
   Chapter 8 Modelling architectures for dynamic systems
10. Altmetric Badge
    Chapter 9 “What is a method?” — an essay on some aspects of domain engineering
11. Altmetric Badge
    Chapter 10 Object-oriented programming and software development—a critical assessment
12. Altmetric Badge
    Chapter 11 A trace model for pointers and objects
13. Altmetric Badge
    Chapter 12 Object models as heap invariants
14. Altmetric Badge
    Chapter 13 Abstraction dependencies
15. Altmetric Badge
    Chapter 14 Type systems
16. Altmetric Badge
    Chapter 15 What do types mean? — From intrinsic to extrinsic semantics
17. Altmetric Badge
    Chapter 16 Automated verification using deduction, exploration, and abstraction
18. Altmetric Badge
    Chapter 17 An experiment in feature engineering
19. Altmetric Badge
    Chapter 18 High-level circuit design
20. Altmetric Badge
    Chapter 19 Power analysis: attacks and countermeasures
21. Altmetric Badge
    Chapter 20 A probabilistic approach to information hiding