UML2Alloy

swMATH9885MaRDI QIDQ21864FDOQ21864

Author name not available (Why is that?)

Cited In (6)

• Encoding OCL Data Types for SAT-Based Verification of UML/OCL Models
• A framework for model transformation verification
• An algebraic semantics for MOF
• Lightweight formalization and validation of ORM models
• What Is a Multi-modeling Language?
• Automatic Generation of CSP || B Skeletons from xUML Models

This page was built for software: UML2Alloy