Nina M. Miller napisał:
> smiem twierdzic, ze nie wiesz co mowisz.
>
> tzn. nie spotkalam sie w polsce z tym, zeby ktokolwiek, zanim jedna
> linijka kodu powstanie, domagal sie teoretycznego (metematycznego)
> udowodnienia poprawnosci algorytmow i kodu.
> a tam, przy takim projekcie to jest normalne.

Wybacz, ale skoro nie powstala linijka kodu, to jak mozna sprawdzic
poprawnosc kodu?

Do do algorytmow - robilem przy oprogramowaniu powiedzmy z dziedziny
ksiegowosci i podstawowym bledem nie byly niepoprawne algorytmy kodow,
bo te robi sie przewaznie na podstawie wlasnie wersji "papierowych"
wzorow, ale zazebianie sie roznych zmian i modyfikacji, a wiec glownie
problem stanowilo sledzenie zmian kodu, tresc kodu "rozjezdzala" sie.

Flyer