Multiple Viewpoint Contract-Based Specification and Design

DOI10.1007/978-3-540-92188-2_9MaRDI QIDQ3602999zbMATH OpenOpenAlexFDO

Authors Benoît Caillaud, Alberto Ferrari, Leonardo Mangeruca, Roberto Passerone, Christos Sofronis, Albert Benveniste

Publication date 12 February 2009

Published in Formal Methods for Components and Objects (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-92188-2_9

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• Probabilistic Contracts for Component-Based Design
• Probabilistic contracts for component-based design
• scientific article; zbMATH DE number 2163031
• Behavioural contracts for a sound assembly of components
• Unifying theories of reactive design contracts

Cites work

• scientific article; zbMATH DE number 3817027 (Why is no real title available?)
• scientific article; zbMATH DE number 1759612 (Why is no real title available?)
• A Theory of Communicating Sequential Processes
• Contracts, games, and refinement.
• Determinacy \(\to\) (observation equivalence \(=\) trace equivalence)
• Guarded commands, nondeterminacy and formal derivation of programs
• Refinement Calculus

Cited in

(16)

• An abstract contract theory for programs with procedures
• Automated verification of reactive and concurrent programs by calculation
• Defining contracts with different tools in software development
• Preserving Contract Satisfiability Under Non-monotonic Composition
• From interface automata to hypercontracts
• A contract-based approach to adaptivity
• Theory and methodology of assumption/commitment based system interface specification and architectural contracts
• Tightening the contract refinements of a system architecture
• HRELTL: a temporal logic for hybrid systems
• A mechanically verified theory of contracts
• Moving from interface theories to assembly theories
• Conditions of contracts for separating responsibilities in heterogeneous systems
• Contracts for schedulability analysis
• Unifying theories of reactive design contracts
• Probabilistic contracts: a compositional reasoning methodology for the design of systems with stochastic and/or non-deterministic aspects
• scientific article; zbMATH DE number 7455750 (Why is no real title available?)

This page was built for publication: Multiple Viewpoint Contract-Based Specification and Design

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3602999)