↓ Skip to main content
What is this page? Embed badge

Programming Methodology

Overview of attention for book
Cover of '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
Attention for Chapter 6: A predicative semantics for real-time refinement
Altmetric Badge

Citations

dimensions_citation
2 Dimensions
Summary Dimensions citations
So far, Dimensions has found 2 publications that cite this research output.

2

The most recent citing publications are shown below. View all 2 publications that cite this research output on Dimensions.

This page shows the most recent citations of this research output.

Click here to find out how to access more activity.

This page is provided by Altmetric.