Pages that link to "Item:Q2463538"
From MaRDI portal
The following pages link to USE: A UML-based specification environment for validating UML and OCL (Q2463538):
Displaying 4 items.
- An accessible verification environment for UML models of services (Q617979) (← links)
- Modular architecture for a toolset supporting OCL (Q701023) (← links)
- Coupling use cases and class models as a means for validation and verification of requirements specifications (Q1614947) (← links)
- Use of E-LOTOS in adding formality to UML (Q2709233) (← links)