Temas
INGENIERÍA DIRIGIDA POR MODELOS
2
SOFTWARE-DESARROLLO
2
TEOREMA AUTOMÁTICO-DEMOSTRACIÓN
2
TEORÍA DE TIPOS
2
Verificación formal
2
Behavioral refinement
1
CALCULUS OF CONSTRUCTIONS
1
Constructive Type Theory
1
Correctness
1
Formal semantics
1
Formal verification
1
Ingeniería dirigida por modelos
1
Instituciones
1
MOF
1
Model Transformations
1
Model transformations
1
Model-Driven Engineering
1
Model-driven engineering
1
Máquinas de Estado
1
QVT-relations
1
Semántica formal
1
Software product lines
1
Statecharts
1
Teoría de instituciones
1
Transformaciones de modelos
1
UML
1
UML 2.0
1
Variability
1