An Algebraic Semantics for Contract-Based Software Components

DOI10.1007/978-3-540-79980-1_17zbMath1170.68427OpenAlexW1600727551MaRDI QIDQ5505425

Michel Bidoit, Rolf Hennicker

Publication date: 27 January 2009

Published in: Algebraic Methodology and Software Technology (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-79980-1_17

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (2)

Views on Behaviour Protocols and Their Semantic Foundation ⋮ A formal framework for distributed cyber-physical systems

Uses Software

• Spec#

Cites Work

• Unnamed Item
• Modular Specification of Encapsulated Object-Oriented Components
• Abstract State Machines
• KeY: A Formal Method for Object-Oriented Systems

This page was built for publication: An Algebraic Semantics for Contract-Based Software Components