> > Po pierwsze, asercje (nazwijmy je raczej warunkami weryfikacji)
>
> Dlaczego warto wprowadzać takie rozróżnienie nazewnicze, dlaczego nie używać
> określenia asercj a warunków weryfikacyjnych?

Bo określenie "asercja" ma zbyt wiele znaczeń i u niektórych generuje chęć dyskusji
nie na temat. :-)

No i termin "verification condition" jest bardziej sexy, niż "assertion" i skupia
uwagę na temacie poprawności. Wpisz w Googlu jedno i drugie i porównaj wyniki. Od
razu widać, że "verification condition" jest bardziej na temat.
;-)

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