Please use this identifier to cite or link to this item: http://hdl.handle.net/11349/19563
Title: Métodos Formales y Tecnologías Orientadas a Objetos
Author: Pérez Castillo, José Nelson
Keywords: Métodos formales
Z
VDM
Object-Z
tipos
categorías
tecnologías orientadas a objetos.
Publisher: Universidad Distrital Francisco José de Caldas
Description: 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 tendencias principales en este importante campo de la ingeniería de software.
URI: http://hdl.handle.net/11349/19563
Other Identifiers: https://revistas.udistrital.edu.co/index.php/reving/article/view/2282
10.14483/23448393.2282
Appears in Collections:Ingeniería

Files in This Item:
There are no files associated with this item.


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.