Métodos Formales y Tecnologías Orientadas a Objetos

Este artículo discute el uso de métodos formales en procura de los más altos niveles de calidad en el desarrollo de software. Se muestra un panorama de los principales conceptos de las tecnologías orientadas a objetos y de los métodos formales haciendo un recorrido de la investigación y las tendenci...

Descripción completa

Detalles Bibliográficos
Autor Principal: Pérez Castillo, José Nelson
Formato: Artículo (Article)
Lenguaje:Español (Spanish)
Publicado: Universidad Distrital Francisco José de Caldas 1998
Materias:
Z
VDM
Acceso en línea:http://hdl.handle.net/11349/19563