Io-7-wyk-Slajd17

Podejścia do specyfikacji formalnej

Generalnie formalne metody specyfikowania programów można podzielić na oparte na modelach i aksjomatyczne. Metody oparte na modelach każą opisać zachowanie się programu za pomocą zestawu standardowych pojęć takich jak zbiór, sekwencja. Natomiast metody aksjomatyczne specyfikują program przez podanie zestawu zdań, które mają być spełnione przez każdą poprawną implementację programu. Przypomina to aksjomaty Euklidesa dotyczące geometrii, stąd nazwa „metody aksjomatyczne”.

<< Poprzedni slajd | Spis treści | Następny slajd >>