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