Especialidades

Computación
Ing. del Software

Tutor

DIAZ DESCALZO, GREGORIO

Descripción y Objetivos

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

Metodología y Competencias

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

Medios a utilizar

Hardware:

• Ordenador.

Software:

• Herramientas de desarrollo

Bibliografía

http://rise4fun.com/

Principles of Model Checking By Christel Baier and Joost-Pieter Katoen http://is.ifmo.ru/books/_principles_of_model_checking.pdf

 

Model Checking By Edmund M. Clarke, Orna Grumberg and Doron Peled

Asignación

Pendiente de asignar