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.