Multiple Viewpoint Contract-Based Specification and Design

DOI10.1007/978-3-540-92188-2_9zbMath1209.68120OpenAlexW1535987901MaRDI QIDQ3602999

Christos Sofronis, Benoît Caillaud, Leonardo Mangeruca, Roberto Passerone, Alberto Ferrari, 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)

Related Items (15)

A mechanically verified theory of contracts ⋮ Preserving Contract Satisfiability Under Non-monotonic Composition ⋮ Theory and methodology of assumption/commitment based system interface specification and architectural contracts ⋮ Tightening the contract refinements of a system architecture ⋮ Contracts for Schedulability Analysis ⋮ From interface automata to hypercontracts ⋮ HRELTL: a temporal logic for hybrid systems ⋮ Probabilistic contracts: a compositional reasoning methodology for the design of systems with stochastic and/or non-deterministic aspects ⋮ Unnamed Item ⋮ Conditions of contracts for separating responsibilities in heterogeneous systems ⋮ A contract-based approach to adaptivity ⋮ Unifying theories of reactive design contracts ⋮ Automated verification of reactive and concurrent programs by calculation ⋮ An abstract contract theory for programs with procedures ⋮ Moving from interface theories to assembly theories

Cites Work

• Determinacy \(\to\) (observation equivalence \(=\) trace equivalence)
• Contracts, games, and refinement.
• A Theory of Communicating Sequential Processes
• Guarded commands, nondeterminacy and formal derivation of programs
• Refinement Calculus
• Unnamed Item
• Unnamed Item

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