Maciej Sobczak wrote:

> 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,

Wiec zataczajac kolo w dyskusji - czy nie jest przypadkiem tak, ze OO - w
zamysle - ma byc narzedziem pozwalajacym wlasnie to "przejscie" (pomiedzy
rzeczywistym problemem i implementacja jego rozwiazania) uczynic latwiejszym
poprzez:
1) opis problemu odpowiadajacy jak najblizej postrzeganiu go przez ludzi (po
to zeby byl latwiej weryfikowalny)
2) implementacja jak najbardziej zblizona do opisu problemu (dzieki czemu
jest latwiej weryfikowalna i - co rownie wazne - ewentualne zmiany w
problemie daja sie w prostszy sposob przelozyc na zmiany w implementacji)

Inna sprawa to na ile ten zamysl sie daje realizowac...

> które jeśli zostanie wyeliminowane, to
> wszyscy pójdziemy na szczaw.

Ale odprawe wezmiemy :)

--
Michal