“Verificación de modelos Independientes de la plataforma: un caso de estudio”
Ficha técnica
| Título: | “Verificación de modelos Independientes de la plataforma: un caso de estudio” |
| Alumno: | Carolina Inés Actis |
| Inicio: | 30 Noviembre 2017 |
| Fecha de defensa: | 30 Noviembre 2017 |
| Dirección: | Claudia Pons |
| Co-Dirección: | |
| Informe final: | http://sedici.unlp.edu.ar/handle/10915/67013 |
| Participantes (del LIFIA) | Claudia Pons |
Resumen
En este trabajo se propone transformar de forma automática las restricciones OCL a especificaciones escritas en el .onguaje JML. De esta forma se podrán verificar las restricciones en tiempo de ejecución, y se podrá hacer un análisis estático de estas mediante el uso de probadores de teoremas implementados para JML.
Publicaciones
Proyectos
Técnicas de Inteligencia Artificial Neuro-simbólica. Financiado por Comisión de Investigaciones Científicas y Facultad de Informática y Universidad Abierta Interamericana. Dirigido por Claudia Pons. CoDirigido por Roxana Giandini. Duración: 1/1/2019-31/12/2023