900 search results - page 83 / 180 » A Tool-Supported Approach to Testing UML Design Models |
152
click to vote
EVOW
2001
Springer
15 years 8 months ago
2001
Springer
The integrated circuits design flow is rapidly moving towards higher description levels. However, test-related activities are lacking behind this trend, mainly since effective faul...
131
click to vote
DAC
2008
ACM
16 years 4 months ago
2008
ACM
Extensive software-based simulation continues to be the mainstream methodology for functional verification of designs. To optimize the use of limited simulation resources, coverag...
142
Voted
ICST
2008
IEEE
15 years 10 months ago
2008
IEEE
Ajax supports the development of rich-client Web applications, by providing primitives for the execution of asynchronous requests and for the dynamic update of the page structure ...
120
click to vote
ECMDAFA
2006
Springer
15 years 7 months ago
2006
Springer
A core problem in Model Driven Engineering is model consistency achievement: all models must satisfy relationships constraining them. Active consistency techniques monitor and cont...
142
click to vote
CAI
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. This paper introduces the model-based software development lifecycle model SMA--the Smyle Modeling Approach--which is centered around Smyle. Smyle is a dedicated learning...