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