Se encuentra usted aquí

PF3377 Métodos formales para especificación de sistemas

Para el desarrollo de sistemas intensivos en softare no siempre se hacen modelos ni se siguen procesos sistemáticos de análisis y diseño. Cuando se elaboran modelos, generalmente se recurre a técnicas diagramáticas o ‘visuales’, como el modelaje de datos (entdad-relación à la Chen u otros), el modelaje de objetos (UML), o los métodos estructurados (Yourdon, DeMarco). En ellas, los modelos se expresan en notaciones gráficas intuitivamente claras, pero no necesariamente precisas.

En este curso examinaremos la especificación formal de sistemas informáticos, mediante formalismos lógicos y matemáticos que permiten describir con precisión qué debe hacer un producto de softare antes de construirlo. Además se estudiará la estructuración de las descripciones formales y se explorarán maneras en que enfoques de modelaje diagramático y formal pueden complementarse, realizar el refnamiento de especifcaciones hacia diseños y programas, aplicar especificaciones al diseño de pruebas, y usar herramientas para examinar las cualidades de las descripciones formales – entre otros.

Elaborado por CITIC