A modal interface theory for component-based design
From MaRDI portal
Publication:2895779
Recommendations
Cited in
(31)- Mediator Synthesis in a Component Algebra with Data
- Nondeterministic modal interfaces
- A modal interface theory with data constraints
- Taming Dr. Frankenstein: contract-based design for cyber-physical systems
- Refinement checking on parametric modal transition systems
- Composition of model interface. A theorem of model composition
- Compatibility properties of synchronously and asynchronously communicating components
- Interface theories for concurrency and data
- From interface automata to hypercontracts
- Modal Interface Theories for Communication-Safe Component Assemblies
- Theory and methodology of assumption/commitment based system interface specification and architectural contracts
- Event algebra for transition systems composition application to timed automata
- An algebraic theory of interface automata
- Nondeterministic modal interfaces
- Logical vs. behavioural specifications
- A Linear-Time–Branching-Time Spectrum of Behavioral Specification Theories
- Information-flow interfaces
- Model-based testing
- ACTL for modal interface automata
- Moving from interface theories to assembly theories
- A generalised theory of interface automata, component compatibility and error
- A generalised theory of interface automata, component compatibility and error
- Conditions of contracts for separating responsibilities in heterogeneous systems
- Modal specification theories for component-based design
- Interface automata for shared memory
- scientific article; zbMATH DE number 2080757 (Why is no real title available?)
- A Theory Agenda for Component-Based Design
- Refinement modal logic
- A linear-time-branching-time spectrum for behavioral specification theories
- scientific article; zbMATH DE number 7455750 (Why is no real title available?)
- A linear-time branching-time perspective on interface automata
This page was built for publication: A modal interface theory for component-based design
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2895779)