108 search results - page 6 / 22 » Specifying and checking component usage |
EWSA
2004
Springer
15 years 2 months ago
2004
Springer
We present an approach to component inheritance and reuse which closes the gap between architectural design and process-oriented approaches. To apply inheritance checks in design a...
ENTCS
2008
14 years 9 months ago
2008
Constraint automata have been used as an operational model for component connectors described in the coordination language Reo which specifies the cooperation and communication of...
ICRA
2002
IEEE
15 years 2 months ago
2002
IEEE
Abstract— This paper presents some recent developments of the LAAS architecture for autonomous mobile robots. In particular, we specify the role of the Execution Control level of...
79
Voted
CADE
2007
Springer
15 years 9 months ago
2007
Springer
We present an encoding that is able to specify LTL bounded model checking problems within the Bernays-Sch?onfinkel fragment of first-order logic. This fragment, which also correspo...
ICSE
2001
IEEE-ACM
15 years 1 months ago
2001
IEEE-ACM
The paper addresses the formal specification, design and implementation of the behavioral component of graphical user interfaces. The complex sequences of visual events and action...