1210 search results - page 48 / 242 » Specifying Precise Use Cases with Use Case Charts |
188
click to vote
FORTEST
2008
15 years 5 months ago
2008
Abstract. This chapter presents principles and techniques for model-based blackbox conformance testing of real-time systems using the UPPAAL model-checking tool-suite. The basis fo...
123
click to vote
AEI
2004
15 years 3 months ago
2004
atterns specify generic relations among abstract design elements. We hypothesize that design patterns are productive units of analogical transfer in design. We describe a normativ...
164
Voted
KBS
2011
14 years 11 months ago
2011
In today’s industrial applications, we see that knowledge systems are successfully implemented. However, critical domains require the elaborate and thoughtful validation of the ...
139
Voted
AOSD
2007
ACM
15 years 8 months ago
2007
ACM
Modern source-level debuggers support dynamic breakpoints that are guarded by conditions based on program state. Such breakpoints address situations where a static breakpoint is n...
152
click to vote
TAICPART
2006
IEEE
15 years 10 months ago
2006
IEEE
Testing compositions of web services is complex, due to their distributed nature and asynchronous behaviour. However, research in this field is scarce. We propose a new testing me...