Asignatura
del Programa de Doctorado "Ingeniería del Software e Inteligencia Artificial" impartido por el Departamento de Lenguajes y Ciencias de la Computación de la Universidad de Málaga |
Motivación Temario Transparencias Conferencias Bibliografía Material de consulta adicional Profesores |
Las Técnicas de Descripción formal en el análisis de errores software. |
Analisis de errores mediante Comprobación de Modelos. |
Interpretación abstracta aplicada a la Comprobación de modelos. |
Transformación de programas. Evaluación parcial. |
Aplicaciones. Fiabilidad en Lenguajes de programación y en UML. |
Otros métodos para fiabilidad. Demostradores de teoremas. Testing. |
Algunas Transparencias ![]() |
Introducción Data
Flow Analysis |
Conferencias
impartidas dentro del curso ![]() |
Dra. María Alpuente Frasnedo Título de la Conferencia: Ingeniería del Software Automática Fecha: 26 de Junio de 2003 Resumen |
Dra. Alicia Villanueva García Título de la Conferencia: Binary Decision Diagrams (BDDs) - Model Checking Simbólico Fecha: 24 de Mayo de 2004 Transparencias |
Miguel Valero Espada Título de la Conferencia: Verificación de Protocolos con Algebra de Procesos Fecha: 15 de Diciembre de 2004 Transparencias |
|
•Artículos tipo “survey” – Clarke E. M., Wing J. M., Formal
Methods:
State of the Art and Future Directions, –Gunter C., Mitchell J., Strategic
Directions
in Software Engineering and Programming Languages, •Informes sobre errores software –Peter G. Newmann, The Risks Digest (http://castle.ncl.ac.uk/Risks/)–Thomas Huckle, (http://wwwzenger.informatik.tu-muenchen.de/persons/huckle/bugs.hrml) –Software Horros Stories, (http://www-courses.cs.uiuc.edu/~cs376/horror.html) –Peter Ladkin (www.rsv.uni-bielefeld.de/publications/Incidents/DOCS/FBW.html) |
María del Mar Gallardo gallardo@lcc.uma.es
Pedro
Merino
pedro@lcc.uma.es