Tipo de registro dentro de su búsqueda.
Tipo de registro dentro de su búsqueda.
Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Ciencias Informáticas
4
Acceleo, ATL, Eclipse, Java, JML, desarrollo dirigido por modelos (MDD), OCL, OpenJML, traducción OCL a JML, transformaciones de modelos, UML, verificación de programas
1
Alloy
1
Java Modeling Language (JML)
1
Languages
1
Modeling
1
Modeling techniques
1
OCL
1
Object Constrain Language (OCL)
1
Software
1
UML
1
desarrollo de software dirigido por modelos
1
desarrollo de software dirigido por modelos (MDD)
1
desarrollo dirigido por modelos (MDD)
1
gramáticas
1
lenguaje unificado de modelado (UML)
1
metamodelos
1
pruebas de software dirigidas por modelos
1
traducción OCL a JML
1
traducción OCL a lenguaje natural
1
traducción de código
1
transformaciones modelo a modelo (M2M)
1
transformaciones modelo a texto (M2T)
1
verificación de programas
1
-
1por Rosenfeld, IlanMaterias: “...traducción de código...”
Publicado 2015
Aportado por: SEDICI (UNLP)Tesis Tesis de grado -
2por Actis, Carolina InésMaterias: “...Acceleo, ATL, Eclipse, Java, JML, desarrollo dirigido por modelos (MDD), OCL, OpenJML, traducción...”
Publicado 2017
Aportado por: SEDICI (UNLP)Tesis Tesis de grado -
3Materias: “...traducción OCL a lenguaje natural...”
Aportado por: SEDICI (UNLP)Tesis Tesis de grado -
4