Interface Theories for Component-Based Design
EMSOFT '01 Proceedings of the First International Workshop on Embedded Software
The Use of Static Constructs in A Modal Process Logic
Proceedings of the Symposium on Logical Foundations of Computer Science: Logic at Botik '89
Modal interfaces: unifying interface automata and modal specifications
EMSOFT '09 Proceedings of the seventh ACM international conference on Embedded software
Modal I/O automata for interface and product line theories
ESOP'07 Proceedings of the 16th European conference on Programming
ECDAR: an environment for compositional design and analysis of real time systems
ATVA'10 Proceedings of the 8th international conference on Automated technology for verification and analysis
Ticc: a tool for interface compatibility and composition
CAV'06 Proceedings of the 18th international conference on Computer Aided Verification
On weak modal compatibility, refinement, and the MIO workbench
TACAS'10 Proceedings of the 16th international conference on Tools and Algorithms for the Construction and Analysis of Systems
ICTAC'12 Proceedings of the 9th international conference on Theoretical Aspects of Computing
Hennessy-Milner logic with greatest fixed points as a complete behavioural specification theory
CONCUR'13 Proceedings of the 24th international conference on Concurrency Theory
A modal specification theory for components with data
Science of Computer Programming
Hi-index | 0.00 |
Modal Input/Output interfaces (MIOs) is a new specification theory for systems communicating via inputs and outputs. The approach combines the advantages of both modal automata and interface automata, two dominant specification theories for component-based design. This paper presents the MIO Workbench that is the first complete implementation of the MIO theory.