Theory and methodology of assumption/commitment based system interface specification and architectural contracts
DOI10.1007/s10703-017-0304-9zbMath1392.68238OpenAlexW2769027613MaRDI QIDQ1654563
Publication date: 8 August 2018
Published in: Formal Methods in System Design (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s10703-017-0304-9
promisesdesignlivenesssafetyinterfacecausalityrealizabilityarchitecturespecificationcontractsassumptionscontextcommitmentssystem specification
Performance evaluation, queueing, and scheduling in the context of computer systems (68M20) Specification and verification (program logics, model checking, etc.) (68Q60) Mathematical problems of computer architecture (68M07) Distributed systems (68M14)
Related Items (1)
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- An algebraic theory of interface automata
- A logical view of composition
- P-A logic - a compositional proof system for distributed programs
- Recognizing safety and liveness
- Compositionality, Concurrency and Partial Correctness. Proof Theories for Networks of Processes, and their Relationship
- An axiomatic proof technique for parallel programs
- Composition of assumption-commitment specifications in a UNITY style
- Taming Dr. Frankenstein: contract-based design for cyber-physical systems
- Computability and realizability for interactive computations
- Modeling layered distributed communication systems
- Specification and Development of Interactive Systems
- A Modal Interface Theory for Component-based Design
- Compositional Verification for Component-Based Systems and Application
- Multiple Viewpoint Contract-Based Specification and Design
- Proofs of Networks of Processes
- The Algebra of Connectors—Structuring Interaction in BIP
- Interaction and Realizability
- An axiomatic basis for computer programming
- Formal Techniques for Networked and Distributed Systems - FORTE 2003
This page was built for publication: Theory and methodology of assumption/commitment based system interface specification and architectural contracts
