Pages that link to "Item:Q2737491"
From MaRDI portal
The following pages link to Formalising the UML in structured temporal theories (Q2737491):
Displaying 7 items.
- Use of E-LOTOS in adding formality to UML (Q2709233) (← links)
- Concurrency and refinement in the unified modeling language (Q2844827) (← links)
- Transformation and verification of executable UML models (Q2847424) (← links)
- A static semantics for Alloy and its impact in refactorings (Q2870336) (← links)
- The unified modeling language (Q2906940) (← links)
- On the semantics of unified modeling language diagrams using Z notation (Q3156866) (← links)
- Formal Methods for the Design of Real-Time Systems (Q5494309) (← links)