Comprobación de la conformidad

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.