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

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

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

• A modal interface theory with data constraints
• scientific article; zbMATH DE number 2080757 (Why is no real title available?)
• 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)

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

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)