The following pages link to UML2Alloy (Q21864):
Displayed 6 items.
- A framework for model transformation verification (Q903517) (← links)
- An algebraic semantics for MOF (Q973052) (← links)
- Lightweight formalization and validation of ORM models (Q2348800) (← links)
- Encoding OCL Data Types for SAT-Based Verification of UML/OCL Models (Q3012970) (← links)
- What Is a Multi-modeling Language? (Q3184725) (← links)
- Automatic Generation of CSP || B Skeletons from xUML Models (Q5505614) (← links)