🚀 go-pugleaf

Marek Podlowski wrote:

> Kazimierz Subieta wrote:
>
> > Marek Podlowski wrote:
> >
> > > Doskoanle uwypukla wady UMLa, ale w niektorych miejscach Meyer "przegina"
> > > (czegoz mozna w koncu wymagac od NOTACJI).
> >
> > Formalnej konsekwencji i uniwersalnosci.
>
> Lekkie nieporozumienie. Po czasie zdefiniowania przez Pana odpowiedzi oraz jej
> tresci sadze,
> ze nie zapoznal sie Pan wowczas jeszcze z trescia artykulu Meyera (?)

Istotnie, nie zapoznalem sie. Po tekscie nt Ariane 5 wiem mniej wiecej
czego sie spodziewac od Meyera,
i to wlasnie zostalo napisane w tym artykule. Design By Contracts jest
uwazane za metode elitarna. Moim zdaniem, takie metody moga byc
potrzebne na pewnym etapie bardzo odpowiedzialnych projektow.
Np. do analizy sa malo przydatne, pod tym wzgledem UML ma przewage.
Przypomniec tu nalezy VDM, ktory byl lansowany pare lat temu
jako uniwersalna metoda. Okazalo sie jednak, ze znajduje ona
zastosowanie (o ile w ogole znajduje) do projektowych przyczynkow.
To samo dotyczy notacji Z, innej metody elitarnej.
Reasumujac, UML jest projektowany dla szerokiej publicznosci,
ktora nie lubi sie intelektualnie wytezac. Design By Contracts
jest dla tych, co musza sie wytezac. Rozni odbiorcy.
Z tego powodu nie popieram tekstu Meyera.

Pozdrowienia
Kazimierz Subieta