Sprawdzanie zgodności

Ogromny wzrost wykorzystania oprogramowania w kadej dziedzinie ycia sprawia, e wymagania dotyczce instalacji i rozwoju oprogramowania wielokrotnego uytku, solidnego, niezawodnego, elastycznego, adaptacyjnego znacznie przyspieszaj. Wraz z rosncymi wymaganiami ronie zoono procesw, ktrymi zarzdza oprogramowanie, a take zapotrzebowanie na integracj procesw z rnych dziedzin. W rezultacie, programy komputerowe staj si coraz wiksze i bardziej zoone. Jednym z wyzwa dla twrcw oprogramowania jest sprawdzanie zgodnoci midzy implementacj a specyfikacj, zwaszcza w inynierii oprogramowania opartej na komponentach. W tej ksice zaproponujemy metod sprawdzania tej zgodnoci.