6 Universidad de la República 2 Universidad ORT

Szasz, Nora 4 Calegari, Daniel 3 Luna, Carlos 2 Calegari García, Daniel 2 Tasistro, Álvaro 1 Severi, Paula 1 Tasistro, Alvaro 1 Vilanova, Pedro

Reporte técnico

2 INGENIERÍA DIRIGIDA POR MODELOS 2 SOFTWARE-DESARROLLO 2 TEOREMA AUTOMÁTICO-DEMOSTRACIÓN 2 TEORÍA DE TIPOS 2 Verificación formal 1 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 más ... 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 ver todos ... menos ...