Publication | Open Access
A Modal Interface Theory for Component-based Design
99
Citations
21
References
2011
Year
EngineeringModal Interface TheoryInterface AutomataInterface (Computing)Modal LogicFormal VerificationSocial SciencesComponent SystemModule DesignSystems EngineeringModal SpecificationsLogical AutomatonDesignComputer ScienceComponent TechnologyArchitectural DesignIndustrial DesignAutomated ReasoningFormal MethodsAutomaton OperationInterface (Object-oriented Programming)
This paper presents the modal interface theory, a unification of interface automata and modal specifications, two radically dissimilar models for interface theories. Interface automata is a game-based model, which allows the designer to express assum
| Year | Citations | |
|---|---|---|
Page 1
Page 1