138 search results - page 2 / 28 » Automatic Test Case Generation from UML Models and OCL Expre... |
ECBS
2010
IEEE
13 years 11 months ago
2010
IEEE
The Uniļ¬ed Modeling Language (UML) is the standard to specify the structure and behaviour of software systems. The created models are a constitutive part of the software speciļ¬...
ECOOP
2000
Springer
13 years 10 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 ...
UML
2001
Springer
13 years 10 months ago
2001
Springer
: UMLAUT is a framework for building tools dedicated to the manipulation of models described using the Unified Modeling Language (UML). TGV is a tool for the generation of conforma...
ICECCS
2007
IEEE
14 years 3 days ago
2007
IEEE
Identifying and resolving design problems in the early design phase can help ensure software quality and save costs. There are currently few tools for analyzing designs expressed ...
SOSYM
2010
13 years 4 months ago
2010
Abstract The Uniļ¬ed Modeling Language (UML) is the de facto language used in the industry for software speciļ¬cations. Once an application has been speciļ¬ed, Model Driven Arch...