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
Programas Informáticos
2
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
Java Modeling Language (JML)
1
Languages
1
Lenguajes de Programación
1
Object Constrain Language (OCL)
1
Software
1
desarrollo de software dirigido por modelos (MDD)
1
informática
1
informática aplicada
1
lenguaje unificado de modelado (UML)
1
metamodelos
1
traducción OCL a JML
1
verificación de programas
1
-
1por Romero, AndrésMaterias: “...Programas Informáticos...”
Publicado 2008
Aportado por: SEDICI (UNLP)Tesis Tesis de grado -
2
-
3por Actis, Carolina InésMaterias: “... OCL a JML, transformaciones de modelos, UML, verificación de programas...”
Publicado 2017
Aportado por: SEDICI (UNLP)Tesis Tesis de grado -
4