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

Engineering Theories of Software Intensive Systems

Overview of attention for book
Cover of 'Engineering Theories of Software Intensive Systems'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 Incremental Software Construction with Refinement Diagrams
  3. Altmetric Badge
    Chapter 2 Service-Oriented Systems Engineering: Specification and Design of Services and Layered Architectures
  4. Altmetric Badge
    Chapter 3 Interface-Based Design
  5. Altmetric Badge
    Chapter 4 The Dependent Delegate Dilemma
  6. Altmetric Badge
    Chapter 5 Formalizing Counterexample-Driven Refinement with Weakest Preconditions
  7. Altmetric Badge
    Chapter 6 A Mechanically Checked Proof of a Comparator Sort Algorithm
  8. Altmetric Badge
    Chapter 7 Keys in Formal Verification
  9. Altmetric Badge
    Chapter 8 On the Utility of Canonical Abstraction
  10. Altmetric Badge
    Chapter 9 Process Algebra: A Unifying Approach
  11. Altmetric Badge
    Chapter 10 Computation Orchestration
  12. Altmetric Badge
    Chapter 11 A Tree Semantics of an Orchestration Language
  13. Altmetric Badge
    Chapter 12 Model Driven Security
  14. Altmetric Badge
    Chapter 13 Some Challenges for System Development: Reactive Animation, Smart Play-Out and Olfaction
Attention for Chapter 3: Interface-Based Design
Altmetric Badge

Citations

dimensions_citation
5 Dimensions

Readers on

mendeley
65 Mendeley
Summary Dimensions citations
So far, Dimensions has found 5 publications that cite this research output.

5

The most recent citing publications are shown below. View all 5 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.