Академический Документы
Профессиональный Документы
Культура Документы
Tabla de contenidos
[ocultar]
1 Qu es un Mtodo Formal? 2 El papel de los mtodos formales en la Ingeniera del Software 3 Ventajas de los mtodos formales 4 Problemtica actual de los mtodos formales 5 Clasificacin de los mtodos formales 6 Licencia
Qu es un Mtodo Formal?
Definicin: "Mtodo formal es cualquier tcnica que trate la construccin y/o el anlisis de modelos matemticos que contribuyen a la automatizacin del desarrollo de sistemas informticos"
que mantienen una continua interaccin con su entorno respondiendo a los estmulos externos y produciendo salidas en respuestas a los mismos, por lo tanto el orden de los eventos en el sistema no es predecible y su ejecucin no tiene por qu terminar. Una especificacin escrita en lgica temporal describe las secuencias admisibles de estado (incluyendo estados concurrentes) para el sistema especificado. En este trabajo nos centraremos en el uso de mtodos formales en la gestin de la calidad de un proyecto software y mtodos formales aplicados por todos sitios.