swMATH5734MaRDI QIDQ17873FDOQ17873
Author name not available (Why is that?)
Official website: http://www.brucker.ch/projects/hol-ocl/
Cited In (19)
- 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
- Title not available (Why is that?)
- Semantics, calculi, and analysis for object-oriented specifications
- Title not available (Why is that?)
- Title not available (Why is that?)
- IMP++
- ATL
- VIDEAS
- UML2Alloy
- UMLtoCSP
- FORMULA 2.0
- Realizing Graph Transformations by Pre- and Postconditions and Command Sequences
- An extensible encoding of object-oriented data models in HOL. With an application to IMP++
- PTL: a model transformation language based on logic programming
- Title not available (Why is that?)
- OCRA
This page was built for software: HOL-OCL
