Ogromnoe rasshirenie ispol'zowaniq programmnogo obespecheniq wo wseh sferah zhizni priwodit k tomu, chto ustanowka i razrabotka mnogorazowogo, nadezhnogo, nadezhnogo, gibkogo, adaptiwnogo programmnogo obespecheniq znachitel'no uskorqetsq. Po mere rosta ätih trebowanij slozhnost' processow, kotorymi uprawlqet programmnoe obespechenie, wozrastaet wmeste s potrebnost'ü w integracii processow iz razlichnyh oblastej. V rezul'tate programmy stanowqtsq wse bolee ob#emnymi i slozhnymi. Odnoj iz problem dlq razrabotchikow programmnogo obespecheniq qwlqetsq prowerka sootwetstwiq mezhdu realizaciej i specifikaciej, osobenno w komponentnoj programmnoj inzhenerii. V ätoj knige my predlozhim metod prowerki ätogo sootwetstwiq.