Controleren van de conformiteit

De enorme uitbreiding van het gebruik van software op elk gebied van het leven stelt steeds hogere eisen aan de installatie en ontwikkeling van herbruikbare, robuuste, betrouwbare, flexibele, adaptieve softwaresystemen. Naarmate deze eisen toenemen, neemt ook de complexiteit van de processen die door software worden beheerd toe, samen met de vraag naar integratie van processen uit verschillende gebieden. Als gevolg daarvan worden softwareprogramma's steeds omvangrijker en complexer. Een van de uitdagingen voor software ontwikkelaars is hoe de conformiteit te controleren tussen de implementatie en de specificatie, vooral in component-gebaseerde software engineering. In dit boek stellen we een methode voor om deze conformiteit te controleren.

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,