Loading...
Please wait, while we are loading the content...
Similar Documents
Tool Support for Validating UML and OCL Models through Automatic Snapshot Generation (2003)
| Content Provider | CiteSeerX |
|---|---|
| Author | Gogolla, Martin Richters, Mark Bohling, Jörn |
| Description | This paper studies tool support for the testing and certification of UML and OCL models as supported by the validation tool USE. We describe the features available in the UML/OCL tool USE and extend its features by introducing a language for defining properties of desired snapshots and by showing how such snapshots are generated. We explain the functionality offered by the USE tool. In particular, we demonstrate how the diverse windows, e.g., object diagram, class invariant, class extent, or OCL expression evaluation window, support the development process in early phases of software development |
| File Format | |
| Language | English |
| Publisher Date | 2003-01-01 |
| Publisher Institution | IN SAICSIT ’03 |
| Access Restriction | Open |
| Subject Keyword | Class Invariant Validation Tool Use Use Tool Diverse Window Automatic Snapshot Generation Uml Ocl Tool Use Paper Study Early Phase Validating Uml Software Development Desired Snapshot Class Extent Ocl Expression Evaluation Window Development Process Tool Support Ocl Model Object Diagram |
| Content Type | Text |
| Resource Type | Article |
