OSTATNIE POSTULATY

Ostatnio postuluje się też, aby etap czwarty był również wykonywany jednocześnie z realizacją (Dijkstra), tzn.’ proponowane są takie metody ukła¬dania programów, które umożliwiają sprawdzanie’ich popraw- 389 ności na każdym etapie rozwoju, gdyż programowanie to rozwój programu (Bauer). Rozwój ten dokonywany jest stopniowo (kro¬kami): od sformułowania tzn. specyfikacji problemu do gotowego programu w języku, dla którego istnieje translator na wybraną maszynę.Specyfikacja problemu; to zapis tekstu w pewnym języku zwanym językiem specyfikacji, zaś program to zapis w języku ^ zwanym językiem programowania. Jeśli język specyfikacji jest wystarczająco precyzyjnie zdefiniowany, to możliwe jest opraco­wanie formalnych reguł transformacji tekstu zapisanego w języ­ku specyfikacji w tekst zapisany w języku programowania.

Znalazłeś się tutaj dzięki poniższej frazie kluczowej:

Witam, mam na imię Amadeusz a to jest mój blog, który mam zamiar rozwijać. Z racji mojego zainteresowania tematami technicznymi takowe właśnie wpisy będą pojawiać się na blogu! Mam nadzieję, że będziecie zadowoleni!
Wszelkie prawa zastrzeżone (C)