SW wykład 14 - Slajd9

<<powrót do strony wykładu

Systematyczne konstruowanie programów Inżynieria wymagań Walidacja specyfikacji Strukturalne języki specyfikowania Zadanie programisty Uszczegóławianie Uszczegóławianie, c.d. Dekompozycja Wyzwanie

Naszkicowaliśmy tu tylko podstawowe pojęcia bogatej teorii formalnego specyfikowania i systematycznego konstruowania systemów oprogramowania. Warto wiedzieć, że teoria ta jest intensywnie rozwijana w wielu różnych formalnych ujęciach, oferując już wcale bogate podstawy formalne dla inżynierii budowania złożonych systemów oprogramowania. Niestety, tylko w pewnym (niewielkim?) stopniu, te ścisłe i eleganckie podstawy znajdują odzwierciedlenie w codziennej praktyce budowania dużych systemów oprogramowania. Wielkim wyzwaniem dla tej dziedziny pozostaje wciąż opracowanie naprawdę praktycznych metod inżynierskich systematycznego budowania systemów oprogramowania i ich specyfikacji, które z jednej strony oparte byłyby o ścisłe i solidne podstawy matematyczne, a z drugiej strony byłyby dobrze wspierane technikami i narzędziami, umożliwiającymi ich stosowanie na prawdziwie przemysłową skalę.