238 search results - page 17 / 48 » A state-based approach to integration testing based on UML m... |
106
click to vote
ISSTA
2009
ACM
15 years 4 months ago
2009
ACM
This paper describes an approach for conformance testing of mobile and distributed systems. The approach is based on kiltera — a novel, high-level language supporting the descri...
100
click to vote
ICTAC
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. The classical work on test case generation and formal methods focuses either on algebraic or model-based specifications. In this paper we propose an approach to derive t...
101
click to vote
MCS
2006
Springer
14 years 11 months ago
2006
Springer
The design of the control software for complex systems is a difficult task. It requires the modeling, the simulation, the integration and the adaptation of a multitude of intercon...
GI
2004
Springer
15 years 5 months ago
2004
Springer
Abstract: A key idea of architecture is the description of components and their connections. This information can be extended to define the horizontal and vertical distribution of...
109
click to vote
GG
2008
Springer
15 years 21 days ago
2008
Springer
The model-driven development of model transformations requires both a technique to model model transformations as well as a means to transform transformation models. Therefore, t...