Modelos Formales De Computacion
Enviado por Bryank01 • 6 de Febrero de 2015 • 203 Palabras (1 Páginas) • 575 Visitas
Modelos Formales de Computación
La teoría de la computación es un poco más antigua que las computadoras electrónicas, Alan Turing, pudo anticipar el poder de las computadoras a través de un modelo conceptual en 1936. Otras disciplinas como la matemática, filosofía, lingüística, biología e ingeniería eléctrica intervienen para completar sus teorías.
Sus teorías bases son 2: Teoría de Autómatas y Teoría de los lenguajes formales
La denominación de métodos formales se usa para referirse a cualquier actividad relacionada con representaciones matemáticas del software, incluyendo la especificación formal de sistemas de análisis
Ventajas:
-Se comprende mejor el sistema.
-La comunicación con el cliente mejora ya que se dispone de una descripción clara y no ambigua de los requisitos del usuario.
-El sistema se describe de manera más precisa.
-El sistema se asegura matemáticamente que es correcto según las especificaciones.
-Mayor calidad software respecto al cumplimiento de las especificaciones.
-Mayor productividad
Desventajas:
-El desarrollo de herramientas que apoyen la aplicación de métodos formales es complicado y los programas resultantes son incómodos para los usuarios.
-Los investigadores por lo general no conocen la realidad industrial.
-Es escasa la colaboración entre la industria y el mundo académico, que en ocasiones se muestra demasiado dogmático.
-Se considera que la aplicación de métodos formales encarece los productos y ralentiza su desarrollo.
...