5433 search results - page 104 / 1087 » Tool Support for Traceability-Adaptation |
114
click to vote
QSIC
2003
IEEE
15 years 9 months ago
2003
IEEE
The Abstract State Machine Language supports use-case oriented modeling in a faithful way. In this paper we discuss how the AsmL test tool, a new component of the AsmL tool environ...
113
click to vote
FATES
2003
Springer
15 years 9 months ago
2003
Springer
We present work on a tool environment for model-based testing with the Abstract State Machine Language (AsmL). Our environment supports semiautomatic parameter generation, call seq...
127
click to vote
SIGCSE
2000
ACM
15 years 8 months ago
2000
ACM
We describe a Web-based interactive system, called PILOT, for testing computer science concepts. The strengths of PILOT are its universal access and platform independence, its use...
176
click to vote
TACAS
1997
Springer
15 years 8 months ago
1997
Springer
In this paper, we describe the computer tool Design CPN supporting editing, simulation, and state space analysis of Coloured Petri Nets. So far, approximately 40 man-years have bee...
150
click to vote
ASPDAC
2006
ACM
15 years 8 months ago
2006
ACM
Newton is a library-based CAD tool with an analytical synthesis engine which has been developed to support the direct synthesis of the physical design and an electromechanically eq...