Abstract

HUANCA, Germán. Lenguaje relacional para la verificación de software. Rev Inv Tec [online]. 2014, vol.3, n.1, pp. 2-5. ISSN 2306-0522.

A medida que aumenta la complejidad de los sistemas de software, surgen nuevos aspectos desarrollo de aplicaciones, que hasta ese momento no se habían tenido en cuenta, al menos de una forma explícita. De este modo, el proceso de desarrollo se ha ido convirtiendo gradualmente en una labor de ingeniería, en la que nuevas tareas, como la elaboración de especificaciones, el diseño del sistema, la construcción de prototipos, la integración y pruebas, la gestión de la configuración y otras muchas han ido cobrando importancia frente a las labores de programación que eran las que primaban en un inicio. La Ingeniería de Software ha ido respondiendo a esta situación con el desarrollo de nuevos modelos, notaciones, técnicas y métodos. El presente trabajo propone una alternativa para la verificación formal de sistemas permitiendo demostrar con certeza que el sistema desarrollado realiza las funciones requeridas, es decir, cumple con ciertas especificaciones.

Keywords : especificación; ingeniería; software; sistemas; verificación.