10707 search results - page 2 / 2142 » Designing executable abstractions |
FMCO
2008
Springer
13 years 11 months ago
2008
Springer
Abstract. This paper presents a unified approach to test case generation and conformance test execution in a distributed setting. A model in the object-oriented, concurrent modelin...
SMR
2008
13 years 9 months ago
2008
ESAW
2006
Springer
14 years 1 months ago
2006
Springer
Interaction refers to an abstract and intangible concept. In modelling, intangible concepts can be embodied and made explicit. This allows to manipulate the abstractions and to bui...
APSEC
2007
IEEE
14 years 4 months ago
2007
IEEE
Executable UML allows precisely describing the softtem at a higher level of abstraction. It bridges the semantics gap between the UML design models and the implementation. The exe...
DAC
1997
ACM
14 years 1 months ago
1997
ACM
Abstract. Many modern systems are designed as a set of interconnected reactive subsystems. The subsystem verification task is to verify an implementation of the subsystem against t...