48 search results - page 2 / 10 » Conformance Testing from UML Specifications. Experience Repo... |
ICSE
2007
IEEE-ACM
14 years 4 months ago
2007
IEEE-ACM
Proponents of design notations tailored for specific application domains or reference architectures, often available in the form of UML stereotypes, motivate them by improved unde...
ICSEA
2007
IEEE
13 years 11 months ago
2007
IEEE
Automatic test data generation helps testers to validate software against user requirements more easily. Test data can be generated from many sources; for example, experience of t...
ENTCS
2006
13 years 4 months ago
2006
The approaches to automatic formal verification of UML models known up to now require a finite bound on the number of objects existing at each point in time. In [4] we have observ...
EDOC
2002
IEEE
13 years 9 months ago
2002
IEEE
Thispaper describes a set of modeling techniquesfor developing vertical applications in specific domains. Previous approaches are mainly focused on obtaining final applications. W...
SPLC
2008
13 years 6 months ago
2008
NASA is, with the rest of industry, turning to product-line engineering to reduce costs and improve quality by effectively managing reuse. Experience in industry has shown that it...