Cel'ü ätoj knigi qwlqetsq izuchenie predstawleniq, zahwata, izucheniq, powtornogo ispol'zowaniq i reinzhiniringa znanij w oblasti proektirowaniq programmnogo obespecheniq dlq konkretnoj oblasti i analiza trebowanij w oblasti programmnoj inzhenerii. V nej obsuzhdaetsq wazhnost' wseh treh problemnyh oblastej, kotorye wklüchaüt wzglqd na sistemy, komponenty sistemy i process razrabotki, otrazhaüschij mnogochislennye podhody, modeli i metody specifikacii. Awtor wwodit w SE3 trehstupenchatuü swobodu uprawleniq trebowaniqmi k programmnomu obespecheniü i uprawleniq wypuskom. Jeto sostawlqet osnowu podhoda k reinzhiniringu programmnogo obespecheniq, lezhaschego w osnowe formalizma uprawleniq relizami s ispol'zowaniem äffektiwnogo Trebowatel'nogo Inzhiniringa, swqzywaüschego wse äto wmeste, primeneniq podhoda k reinzhiniringu programmnogo obespecheniq, rezul'tatow i posleduüschih wywodow.