Cited in
(22)- A framework for model transformation verification
- Formal Approaches to Software Testing
- An institution theory of formal meta-modelling in graphically extended BNF
- Agile Modellierung mit UML
- scientific article; zbMATH DE number 1927417 (Why is no real title available?)
- IMP++
- SecureUML
- ITP/OCL
- HOL-Z
- ATL
- VIDEAS
- UML2Alloy
- UMLtoCSP
- FORMULA 2.0
- Semantics, calculi, and analysis for object-oriented specifications
- scientific article; zbMATH DE number 2146325 (Why is no real title available?)
- scientific article; zbMATH DE number 1946752 (Why is no real title available?)
- Realizing Graph Transformations by Pre- and Postconditions and Command Sequences
- OCRA
- An extensible encoding of object-oriented data models in HOL. With an application to IMP++
- scientific article; zbMATH DE number 2003148 (Why is no real title available?)
- PTL: a model transformation language based on logic programming
This page was built for software: HOL-OCL
