A Modal Interface Theory for Component-based Design
Jean-Baptiste Raclet, Éric Badouel, Albert Benveniste, Benoı̂t Caillaud, Axel Legay, Roberto Passerone · Fundamenta Informaticae · 2011
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