HOL-OCL
From MaRDI portal
Software:17873
swMATH5734MaRDI QIDQ17873FDOQ17873
Author name not available (Why is that?)
Cited In (12)
- 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?)
- 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?)
This page was built for software: HOL-OCL
