Formal Methods for Components and Objects

DOI10.1007/B14033zbMath1254.68084OpenAlexW4212909638WikidataQ59640385 ScholiaQ59640385MaRDI QIDQ5897127

Franz Achermann, O. M. Nierstrasz

Publication date: 9 February 2010

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/b14033

Mathematics Subject Classification ID

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

Related Items (5)

A perspective on service orchestration ⋮ Associative composition of components with double-sided interfaces ⋮ A calculus for reasoning about software composition ⋮ A coordination approach to mobile components ⋮ Robustness in Interaction Systems

Uses Software

• PICCOLA
• Pict

This page was built for publication: Formal Methods for Components and Objects