Read more
La enorme expansión del uso del software en todos los ámbitos de la vida hace que se aceleren las exigencias de instalación y desarrollo de sistemas de software reutilizables, robustos, fiables, flexibles y adaptables. A medida que estas demandas se hacen más fuertes, la complejidad de los procesos que gestiona el software aumenta junto con la demanda de integración de procesos de diferentes áreas. Como resultado, los programas de software son cada vez más grandes y complejos. Uno de los retos para los desarrolladores de software es cómo comprobar la conformidad entre la implementación y la especificación, especialmente en la ingeniería de software basada en componentes. En este libro, propondremos un método para comprobar esta conformidad.
About the author
Soy profesor de la Facultad de Tecnología de la Información de la Universidad de Quy Nhon, provincia de Binh Dinh, Vietnam. Soy investigador en ingeniería de software. He impartido muchas asignaturas en este ámbito, como: Pruebas de software, arquitectura de software, ingeniería de software, lenguaje de modelado unificado (UML), programación orientada a objetos con Java,
