5433 search results - page 335 / 1087 » Tool Support for Traceability-Adaptation |
161
click to vote
ATVA
2006
Springer
15 years 10 months ago
2006
Springer
We present the implementation of the trace theory in a new model checking tool framework, POEM, that has a strong emphasis on Partial Order Methods. A tree structure is used to sto...
164
click to vote
ECMDAFA
2006
Springer
15 years 10 months ago
2006
Springer
There is little agreement on terminology in model composition, and even less on key characteristics of a model composition solution. We present three composition frameworks: the At...
159
click to vote
FPL
2006
Springer
15 years 10 months ago
2006
Springer
Pre-designed IP cores for FPGAs represent a huge intellectual and financial wealth that must be leveraged by any high-level tool targeting reconfigurable platforms. In this paper ...
178
click to vote
AVI
2008
15 years 9 months ago
2008
To support planning of massive transportations under time-critical conditions, in particular, evacuation of people from a disasteraffected area, we have developed a software modul...
160
click to vote
DSVIS
2005
Springer
15 years 8 months ago
2005
Springer
This paper presents an approach, and the associated environment, aiming to support designers to intuitively model interactive applications. The goal is to make modelling activity m...