UML2Alloy
From MaRDI portal
Software:21864
No author found.
Related Items (6)
What Is a Multi-modeling Language? ⋮ A framework for model transformation verification ⋮ Encoding OCL Data Types for SAT-Based Verification of UML/OCL Models ⋮ An algebraic semantics for MOF ⋮ Automatic Generation of CSP || B Skeletons from xUML Models ⋮ Lightweight formalization and validation of ORM models
This page was built for software: UML2Alloy
