UML2Alloy

swMATH9885MaRDI QIDQ21864FDOQ21864

Author name not available (Why is that?)

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

Cited In (13)

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

This page was built for software: UML2Alloy