The following pages link to HOL-OCL (Q17873):
Displaying 12 items.
- A framework for model transformation verification (Q903517) (← links)
- An extensible encoding of object-oriented data models in HOL. With an application to IMP++ (Q1040775) (← links)
- An institution theory of formal meta-modelling in graphically extended BNF (Q1762177) (← links)
- Semantics, calculi, and analysis for object-oriented specifications (Q2390933) (← links)
- Realizing Graph Transformations by Pre- and Postconditions and Command Sequences (Q3541977) (← links)
- (Q4411077) (← links)
- (Q4435458) (← links)
- (Q4484335) (← links)
- (Q4658087) (← links)
- Agile Modellierung mit UML (Q4658088) (← links)
- Formal Approaches to Software Testing (Q5710649) (← links)
- PTL: a model transformation language based on logic programming (Q5963089) (← links)