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

Formal Aspects of Component Software

Overview of attention for book
Cover of 'Formal Aspects of Component Software'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 Formal Patterns for Multi-rate Distributed Real-Time Systems
  3. Altmetric Badge
    Chapter 2 Component Interfaces with Contracts on Ports
  4. Altmetric Badge
    Chapter 3 Avoiding Diamonds in Desynchronization
  5. Altmetric Badge
    Chapter 4 The Tale of SOLOIST: A Specification Language for Service Compositions Interactions
  6. Altmetric Badge
    Chapter 5 A Categorical Approach to Structuring and Promoting Z Specifications
  7. Altmetric Badge
    Chapter 6 Assume-Guarantee Reasoning for Safe Component Behaviours
  8. Altmetric Badge
    Chapter 7 A Petri Net Based Analysis of Deadlocks for Active Objects and Futures
  9. Altmetric Badge
    Chapter 8 Run-Time Verification of Black-Box Components Using Behavioral Specifications: An Experience Report on Tool Development
  10. Altmetric Badge
    Chapter 9 Symbolic Counterexample Generation for Discrete-Time Markov Chains
  11. Altmetric Badge
    Chapter 10 Formal Aspects of Component Software
  12. Altmetric Badge
    Chapter 11 LOVER: Light-Weight fOrmal Verification of adaptivE Systems at Run Time
  13. Altmetric Badge
    Chapter 12 A Calculus for Quality
  14. Altmetric Badge
    Chapter 13 Model Checking of Qualitative Sensitivity Preferences to Minimize Credential Disclosure
  15. Altmetric Badge
    Chapter 14 IBOS: A Correct-By-Construction Modular Browser
  16. Altmetric Badge
    Chapter 15 Guided Search for Deadlocks in Actor-Based Models
  17. Altmetric Badge
    Chapter 16 Assumption Generation for Asynchronous Systems by Abstraction Refinement
Attention for Chapter 2: Component Interfaces with Contracts on Ports
Altmetric Badge

Citations

dimensions_citation
1 Dimensions

Readers on

mendeley
4 Mendeley
Summary Dimensions citations
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
Component Interfaces with Contracts on Ports
Chapter number 2
Book title
Formal Aspects of Component Software
Published by
Springer, Berlin, Heidelberg, September 2012
DOI 10.1007/978-3-642-35861-6_2
Book ISBNs
978-3-64-235860-9, 978-3-64-235861-6
Authors

Sebastian Bauer, Rolf Hennicker, Axel Legay

View on publisher site
Mendeley readers

Mendeley readers

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

Geographical breakdown

Country Count As %
Netherlands 1 25%
Unknown 3 75%

Demographic breakdown

Readers by professional status Count As %
Student > Ph. D. Student 2 50%
Researcher 2 50%
Readers by discipline Count As %
Computer Science 4 100%

This page is provided by Altmetric.