On Apr 14, 9:13 pm, Michal Kleczek <k...@g...com> wrote:

> Nie znam sie na metodach formalnych, ale wydawalo mi sie, ze stosowanie ich
> ma zapobiegac pojawianiu sie bledow zarowno w implementacji jak i
> _specyfikacji wymagan_ .

Nie. Metody formalne mają za zadanie zapewnić, że implementacja jest
zgodna ze specyfikacją. Mogą też znaleźć sprzeczność oraz
niekompletność w specyfikacji, jeśli takie są.

Ale żadne metody formalne nie zagwarantują, że specyfikacja poprawnie
odzwierciedla to, co należało zrobić - bo zawsze można zrobić
specyfikację i "poprawną" implementację do złego problemu. To jest
ostatnie ludzkie ogniwo, które jeśli zostanie wyeliminowane, to
wszyscy pójdziemy na szczaw.

--
Maciej Sobczak * http://www.msobczak.com * http://www.inspirel.com