A type-theoretic framework for certified model transformations
"We present a framework based on the Calculus of Inductive Constructions (CIC) and its associated tool the Coq proof assistant to allow certification of model transformations in the context of Model-Driven Engineering (MDE). The approached is based on a semi-automatic translation process from metamo...
Bewaard in:
| Hoofdauteur: | |
|---|---|
| Andere auteurs: | , , |
| Formaat: | report |
| Taal: | Engels |
| Gepubliceerd in: |
2010
|
| Onderwerpen: | |
| Online toegang: | http://hdl.handle.net/20.500.11968/2726 |
| Tags: |
Geen labels, Wees de eerste die dit record labelt!
|
Gelijkaardige items: A type-theoretic framework for certified model transformations
- Experiment with a type-theoretic approach to the verification of model transformations
- Verification of model transformations : A survey of the state-of-the-art (Extended version)
- Heterogeneous verification of model transformations
- Interpretación de KM3/ATL en Teoría de Tipos
- Estado del arte de testing de transformaciones de modelos
- Reasoning about functional programs by combining interactive and automatic proofs