Tesis doctoral de Letelier Torres Patricio Orlando
El modelo conceptual expresa los requisitos funcionales de un sistema de información. Errores u omisiones en el modelo conceptual tienen por lo general graves consecuencias en el resto del proceso de desarrollo de software. Por esto, la validación temprana de requisitos es una actividad de reconocida importancia. en este sentido, los enfoques más extendidos incluyen técnicas semiformales y, en particular, prototipación. Sin embargo, el resultado obtenido está lejos de ser satisfactorio. La combinación de técnicas formales con prototipación abre nuevas perspectivas, en especial la prototipación basada en especificaciones formales ejecutables y denominada animación de especificaciones. El desafío en este caso está en la capacidad para obtener código ejecutable a partir de una especificación, más aún si se pretende conseguir la generación automática de dicho código. precisamente, una de las ventajas de un enfoque formal es el ofrecer un marco más apropiado para establecer un proceso de traducción desde una especificación automática de especificaciones oasis utilizando como entorno de implementación programación lógica concurrente. El trabajo se orienta a la construccion de un ambiente para validación temprana de especificaciones oasis mediante animación automática.
Datos académicos de la tesis doctoral «Animación automática de especificaciones oasis utilizando programación lógica concurrente«
- Título de la tesis: Animación automática de especificaciones oasis utilizando programación lógica concurrente
- Autor: Letelier Torres Patricio Orlando
- Universidad: Politécnica de Valencia
- Fecha de lectura de la tesis: 03/12/1999
Dirección y tribunal
- Director de la tesis
- Isidro Ramos Salvert
- Tribunal
- Presidente del tribunal: José María Troya linero
- Miguel Toro bonilla (vocal)
- ernesto Pimentel sanchez (vocal)
- matilde Celma jiménez (vocal)