Temporal Constraint Support for OCL
No abstract available.
Related papers
- Structural model subtyping with OCL constraints SLE 2017
- Verifying feature-based model templates against well-formedness OCL constraints GPCE 2006
- Cloning in DSLs: Experiments with OCL SLE 2011
- Model Checking of CTL-Extended OCL Specifications SLE 2014
- Analysing meta-model product lines SLE 2018
- G4LTL-ST: Automatic Generation of PLC Programs CAV 2014
- Automatic and efficient simulation of operation contracts GPCE 2010
- Reducing liveness to safety in first-order logic POPL 2018