HOL-OCL
From MaRDI portal
Cited in
(22)- PTL: a model transformation language based on logic programming
- scientific article; zbMATH DE number 2146325 (Why is no real title available?)
- scientific article; zbMATH DE number 2003148 (Why is no real title available?)
- A framework for model transformation verification
- Agile Modellierung mit UML
- Realizing Graph Transformations by Pre- and Postconditions and Command Sequences
- 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
- An institution theory of formal meta-modelling in graphically extended BNF
- An extensible encoding of object-oriented data models in HOL. With an application to IMP++
- scientific article; zbMATH DE number 1946752 (Why is no real title available?)
- Formal Approaches to Software Testing
- OCRA
This page was built for software: HOL-OCL
