Mostrando
1 - 1
Resultados de
1
Para Buscar '
Dias Molina, María José
'
Saltar al contenido
BDU
3
Inicio
Su cuenta
Salir
Entrar
Todos los Campos
Título
Autor
Materia
Número de Clasificación
ISBN/ISSN
Etiqueta
Buscar
Avanzado
Autor
Dias Molina, María José
Mostrando
1 - 1
Resultados de
1
Para Buscar '
Dias Molina, María José
'
, tiempo de consulta: 0.01s
Limitar resultados
Ordenar
Relevancia
Fecha Descendente
Fecha Ascendente
Autor
Título
1
Desarrollo de una herramienta para derivación automática de especificaciones OCL a JML
por
Dias
Molina
,
María
José
,
Dodero Mena, Diego Matías
Publicado 2011
Aportado por:
SEDICI (UNLP)
Enlace del recurso
Tesis
Tesis de grado
Agregar a favoritos
Guardado en:
Herramientas de búsqueda:
RSS
—
Enviar por Correo electrónico esta Búsqueda
Materias Relacionadas
Ciencias Informáticas
Java Modeling Language (JML)
Languages
Object Constrain Language (OCL)
desarrollo de software dirigido por modelos (MDD)
lenguaje unificado de modelado (UML)
metamodelos
traducción OCL a JML
verificación de programas
Cargando...