1937 search results - page 22 / 388 » Starting B Specifications from Use Cases |
132
Voted
VLC
2008
15 years 1 months ago
2008
Ensuring model quality is a key success factor in many computer science areas, and becomes crucial in recent software engineering paradigms like the one proposed by model-driven s...
128
Voted
KBSE
2002
IEEE
15 years 6 months ago
2002
IEEE
In this paper we present a concept for automated testing of object-oriented applications and a tool called SeDiTeC that implements these concepts for Java applications. SeDiTeC us...
166
click to vote
ECOOP
2000
Springer
15 years 6 months ago
2000
Springer
We have recently shown how use cases can be systematically transformed into UML state charts considering all relevant information from a use case specification, including pre- and ...
134
click to vote
ICTAC
2009
Springer
14 years 11 months ago
2009
Springer
Testing from first-order specifications has mainly been studied for flat specifications, that are specifications of a single software module. However, the specifications of large s...
125
Voted
ECMDAFA
2007
Springer
15 years 8 months ago
2007
Springer
The paper targets the applicability of model-driven methodologies to the validation of complex systems and presents a case study of a mobile radio network. Validation relies on the...