Sprawdzanie zgodno¿ci

Ogromny wzrost wykorzystania oprogramowania w kädej dziedzinie ¿ycia sprawia, ¿e wymagania dotycz¿ce instalacji i rozwoju oprogramowania wielokrotnego u¿ytku, solidnego, niezawodnego, elastycznego, adaptacyjnego znacznie przyspieszaj¿. Wraz z rosn¿cymi wymaganiami ro¿nie z¿o¿ono¿¿ procesów, którymi zarz¿dza oprogramowanie, a tak¿e zapotrzebowanie na integracj¿ procesów z ró¿nych dziedzin. W rezultacie, programy komputerowe staj¿ si¿ coraz wi¿ksze i bardziej z¿o¿one. Jednym z wyzwä dla twórców oprogramowania jest sprawdzanie zgodno¿ci mi¿dzy implementacj¿ a specyfikacj¿, zw¿aszcza w in¿ynierii oprogramowania opartej na komponentach. W tej ksi¿¿ce zaproponujemy metod¿ sprawdzania tej zgodno¿ci.