588 search results - page 11 / 118 » Using UML Environment Models for Test Case Generation |
117
click to vote
UML
2004
Springer
15 years 5 months ago
2004
Springer
We describe the tools and interfaces created by the AGEDIS project, a European Commission sponsored project for the creation of a methodology and tools for automated model driven ...
106
click to vote
UML
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. We are developing a methodology of Test-Driven Development of Models (TDDM) based on an experimental UML2.0 modeling tool SMART. Our experience shows that TDDM is quite u...
103
Voted
CAISE
2006
Springer
15 years 4 months ago
2006
Springer
The alignment between business processes and software is inadequately supported in conceptual modelling, although business processes are often the starting point for software devel...
IFM
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. We describe how CSP-OZ, an integrated formal method combining the process algebra CSP with the specification language Object-Z, can be linked to standard software engine...
71
Voted
ICSE
2009
IEEE-ACM
15 years 5 months ago
2009
IEEE-ACM
