378 search results - page 7 / 76 » Traceability-Driven Model Refinement for Test Case Generatio... |
MODELLIERUNG
2008
13 years 9 months ago
2008
Abstract: Model transformation is not only a crucial but also one of the most complicated aspects of model-driven software development (MDSD). An adequate transformation language i...
ENTCS
2007
13 years 7 months ago
2007
Abstract. Model-based testing has been proposed as a technique to automatically verify that a system conforms to its specification. A popular approach is to use a model-checker to...
3DIM
2003
IEEE
13 years 11 months ago
2003
IEEE
This paper presents a range image refinement technique for generating accurate 3D computer models of real objects. Range images obtained from a stereo-vision system typically expe...
GPCE
2003
Springer
14 years 21 days ago
2003
Springer
A primary goal of generative programming and model-driven ent is to raise the level of abstraction at which designers and developers interact with the software systems they are bui...
ECOOP
2000
Springer
13 years 12 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 ...