UML2Alloy

MaRDI QIDQ21864swMATHFDO

Official website http://link.springer.com/chapter/10.1007/978-3-540-75209-7_30

Cited in

(13)

• HOL-OCL
• SelfSync
• Kermeta
• ATL
• UMLtoCSP
• Lightweight formalization and validation of ORM models
• Encoding OCL data types for SAT-based verification of UML/OCL models
• What Is a Multi-modeling Language?
• AGEDIS
• Automatic Generation of CSP || B Skeletons from xUML Models
• SiTra
• A framework for model transformation verification
• An algebraic semantics for MOF

This page was built for software: UML2Alloy