A modal interface theory with data constraints

DOI10.1007/978-3-642-19829-8_6MaRDI QIDQ2999311zbMATH OpenOpenAlexFDO

Authors Sebastian S. Bauer, Rolf Hennicker, Michel Bidoit

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

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

Recommendations

• Modal specification theories for component-based design
• Building a Modal Interface Theory for Concurrency and Data
• A modal interface theory for component-based design
• Interface theories for concurrency and data
• Modal Interface Automata

Cites work

• scientific article; zbMATH DE number 2080757 (Why is no real title available?)
• A modal interface theory with data constraints
• Modal I/O Automata for Interface and Product Line Theories
• On Modal Refinement and Consistency
• On weak modal compatibility, refinement, and the MIO workbench

Cited in

(18)

• Feedback in synchronous relational interfaces
• scientific article; zbMATH DE number 2080757 (Why is no real title available?)
• Building a Modal Interface Theory for Concurrency and Data
• An interface model of software components
• A theory of system interaction: components, interfaces, and services
• Synchronous and Bidirectional Component Interfaces
• Interface theories for concurrency and data
• A compositional specification theory for component behaviours
• A modal interface theory with data constraints
• A modal interface theory for component-based design
• Specifying, relating and composing object oriented interfaces, components and architectures
• Frontiers of Combining Systems
• Specifying modules to satisfy interfaces: A state transition system approach
• An Algebraic Semantics for Contract-Based Software Components
• Modal specification theories for component-based design
• Interface automata for shared memory
• Information-flow interfaces
• Modal Aggregation and the Theory of Paraconsistent Filters

Describes a project that uses

Uses Software

• MIO Workbench

This page was built for publication: A modal interface theory with data constraints

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2999311)