↓ 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

Readers on

mendeley
65 Mendeley
Summary
You are seeing a free-to-access but limited selection of the activity Altmetric has collected about this research output. Click here to find out more.
Chapter title
Interface-Based Design
Chapter number 3
Book title
Engineering Theories of Software Intensive Systems
Published by
Springer, Dordrecht, January 2005
DOI 10.1007/1-4020-3532-2_3
Book ISBNs
978-1-4020-3530-2, 978-1-4020-3532-6
Authors

Luca de Alfaro, Thomas A. Henzinger

View on publisher site
Mendeley readers

Mendeley readers

The data shown below were compiled from readership statistics for 65 Mendeley readers of this research output. Click here to see the associated Mendeley record.

Geographical breakdown

Country Count As %
Unknown 65 100%

Demographic breakdown

Readers by professional status Count As %
Student > Ph. D. Student 2 3%
Unknown 63 97%
Readers by discipline Count As %
Computer Science 1 2%
Unknown 64 98%

This page is provided by Altmetric.