A Modal Interface Theory with Data Constraints

DOI10.1007/978-3-642-19829-8_6zbMath1325.68055OpenAlexW1588427998MaRDI QIDQ2999311

Rolf Hennicker, Michel Bidoit, Sebastian S. Bauer

Publication date: 12 May 2011

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

Full work available at URL: https://doi.org/10.1007/978-3-642-19829-8_6

Mathematics Subject Classification ID

Logic in computer science (03B70) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (4)

Building a Modal Interface Theory for Concurrency and Data ⋮ Interface automata for shared memory ⋮ A Modal Interface Theory with Data Constraints ⋮ Interface theories for concurrency and data

Uses Software

• MIO Workbench

Cites Work

• Unnamed Item
• A Modal Interface Theory with Data Constraints
• On Modal Refinement and Consistency
• On Weak Modal Compatibility, Refinement, and the MIO Workbench
• Modal I/O Automata for Interface and Product Line Theories

This page was built for publication: A Modal Interface Theory with Data Constraints