Multiple Viewpoint Contract-Based Specification and Design

DOI10.1007/978-3-540-92188-2_9zbMATH Open1209.68120OpenAlexW1535987901MaRDI QIDQ3602999FDOQ3602999

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

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

Mathematics Subject Classification ID

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

Cites Work

• Determinacy \(\to\) (observation equivalence \(=\) trace equivalence)
• Refinement Calculus
• A Theory of Communicating Sequential Processes
• Guarded commands, nondeterminacy and formal derivation of programs
• Title not available (Why is that?)
• Title not available (Why is that?)
• Contracts, games, and refinement.

Cited In (16)

• Title not available (Why is that?)
• Preserving Contract Satisfiability Under Non-monotonic Composition
• Defining contracts with different tools in software development
• A contract-based approach to adaptivity
• Moving from interface theories to assembly theories
• Conditions of contracts for separating responsibilities in heterogeneous systems
• Unifying theories of reactive design contracts
• Contracts for Schedulability Analysis
• Tightening the contract refinements of a system architecture
• An abstract contract theory for programs with procedures
• A mechanically verified theory of contracts
• 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
• Theory and methodology of assumption/commitment based system interface specification and architectural contracts
• From interface automata to hypercontracts
• Automated verification of reactive and concurrent programs by calculation

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)