900 search results - page 3 / 180 » A Tool-Supported Approach to Testing UML Design Models |
ISSRE
2006
IEEE
14 years 1 months ago
2006
IEEE
Practical model validation techniques are needed for model driven development (MDD) techniques to succeed. This paper presents an approach to generating inputs to test UML design ...
UML
2005
Springer
14 years 1 months ago
2005
Springer
The recent trend in software engineering to model-centered methodologies is an excellent opportunity for OCL to become a widely used specification language. If the focus of the de...
PTS
2004
13 years 9 months ago
2004
The UML Testing Profile provides support for UML based model-driven testing. This paper introduces a methodology of how to use the testing profile in order to modify and extend an ...
ICWE
2007
Springer
14 years 1 months ago
2007
Springer
: In this work we report our experience in applying model checking techniques to the analysis of static and dynamic properties of Web application models. We propose a mix of tools ...
HICSS
2006
IEEE
14 years 1 months ago
2006
IEEE
The central idea in reference modeling is the reutilization of the business knowledge contained in reference models for the construction of specific information models. The orient...