1804 search results - page 32 / 361 » Use Cases in Model-Driven Software Engineering |
109
click to vote
B
1998
Springer
15 years 6 months ago
1998
Springer
This paper reports on the preparation of test cases using a prototype within the context of a formal development. It describes an approach to building a prototype using an example....
ICSE
2003
IEEE-ACM
16 years 1 months ago
2003
IEEE-ACM
Certain classes of problems amenable to description using Problem Frames, in particular ones intended to be implemented using a distributed architecture, can benefit by the additi...
172
click to vote
AMAST
1997
Springer
15 years 5 months ago
1997
Springer
Abstract. We summarize the results of several experiments in applying a metamethod for formal method integration [18, 19]. We provide a small example of using an instance of integr...
108
Voted
RE
2006
Springer
15 years 1 months ago
2006
Springer
Use-cases often capture the expected behaviors of a system and its components. During requirements analysis, it is important to understand and model the relationship among differe...
103
Voted
AMOST
2005
ACM
15 years 7 months ago
2005
ACM
We consider the problem of generating a set of test cases from a black box specification. We focus on stress testing, i.e. picking test cases that seem most likely to reveal prog...