INTERFACE-BASED DESIGN

361 citations recorded by the source corpus.

How researchers see this paper

The researchers whose trusted networks rank it highest, strongest advocate first. Every researcher gets a different order.

Modal I/O Automata for Interface and Product Line Theories (2007, methodology): “We define alternating simulation for interface automata as commonly used in software specification [9], which is slightly less general than the original [1]:”
Cyber Physical Systems: Design Challenges (2008, background): “These theories can reflect causality properties [34], which abstract temporal behavior, real-time resource usage [30], timing constraints [14], protocols [17], depletable resources [9], and many others [1].”
Contracts for System Design (2018, background): “Despite early contributions by Abadi, Lamport, and Wolper [5, 3], developing contracts for Cyber-Physical Systems [236, 100]8 and Reactive Systems [146, 152, 142, 196], where mathematical behaviors are essential, boomed more recently in the 2000’s, when de Alfaro and Henzinger proposed and populariz”
A systematic approach to exploring embedded system architectures at multiple abstraction levels (2006, background): “For example, in [27], [28], [29], [30], [31], various mechanisms are proposed for the refinement of application-level communication primitives into more detailed implementation (architecture) primitives.”