Rise4fun es una comunidad de desarrolladores que desarrolla herramintas de ingeniería de software desde un punto de vista formal.
Objetivos:
- Familiarizarse con las herramientas de Rise4fun.
- Caracterizar el conjunto de herramientas y analizar algunas de ellas en casos concretos.
- Realizar un desarrollo convencional de una herramienta de verificación formal de model Checking.
- Desplegarla en Rise4fun
La metodología a utilizar puede encuadrarse en un ciclo de desarrollo software tradicional o cualquier otra que nos permitan alcanzar nuestros objetivos como puede ser una metodología de desarrollo ágil.
Plan de trabajo:
- Estudio de las herramientas de Rise4fun
- Realizar una clasificación de las mismas
- Estudio de algunas herramientas en concreto para casos de uso típicos
- Desarrollo de un caso de una herramienta de verificación automática de model checking
- Planificación
- Análsis
- Diseño
- Implementación
- Despliegue
- Pruebas