TY - JOUR AU - Pérez Castillo, José Nelson PY - 1998/11/30 Y2 - 2024/03/28 TI - Métodos Formales y Tecnologías Orientadas a Objetos JF - Ingeniería JA - Ing. VL - 0 IS - 1 SE - Science, research, academia and development DO - 10.14483/23448393.2282 UR - https://revistas.udistrital.edu.co/index.php/reving/article/view/2282 SP - 10-18 AB - 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. ER -