Métodos formales e Ingeniería de Software

Edgar Serna Montoya

Resumen


Los métodos formales surgieron como puntos de vista analíticos con los que es posible verificar el desarrollo de sistemas mediante la lógica y las matemáticas, lo que aporta grandes ventajas para mejorar la calidad de los programas y por tanto la Ingeniería de Software. En este campo del conocimiento, la especificación formal es una de las más importantes fases del ciclo de vida, labor que requiere mucho cuidado ya que su función es garantizar que tanto el funcionamiento como el desempeño del programa sean correctos, bajo cualquier situación. En el futuro, los métodos formales deberían estar presentes como principios esenciales en el desarrollo de software, ya que se convierten en la base para aplicar las técnicas de prueba y, dado su principio matemático, en potencialmente automatizables.

Texto completo: PDF RESUMEN

Refbacks

  • No hay Refbacks actualmente.


Revista Virtual Católica del Norte
ISSN-0124-5821(En línea)

Lemy Bran Piedrahita
Editor
Correo: editorialucn@ucn.edu.co
Yesenia Acevedo Correa
Asistente editorial
Correo: asistenteeditorial@ucn.edu.co

Fundación Universitaria Católica del Norte
Calle 52 No 47 – 42 Edificio Coltejer Piso 5- Medellin - Antioquia
Teléfono: (057) (4) 605 15 35 Ext. 4063 - FAX (057) (4) 605 42 20
Portal Web Institucional: www.ucn.edu.co