n...@p...ninka.net (Nina M. Miller) napisał(a):

> "Jacuo" <z...@p...onet.pl> writes:
>
>
> > > jest zapotrzebowanie na programy o jakosci niemalze bez zarzutu:
> > > np. dla nasa, usa army albo roznej aparatury szpitalnej.
> > > tylko, ze to zapotrzebowanie jest w sumie malutkie, no i napewno nie w
> > > polsce...
> > > no, ale takie projekty to zupelnie inna bajka.
> >
> > Mylisz sie. Istnieje w Polsce baardzo duze zapotrzebowanie na bardzo
> > porzadne programy, np. f-k.
> > I smiem twierdzic, ze jakosc wielu takich programow wcale nie jest gorsza
od
> > jakosci rzeczy ze swiata "realnego"
>
> 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.
>

To brzmi bardzo ładnie, ale jak zamierzasz udodnić matematycznie poprawnośc
programu liczącego 100 tysięcy linii kodu - mniejszych nie warto pisać.
Dowieść można i nalezy poprawności działania algorytmu, a nie programu.

--
Wysłano z serwisu Usenet w portalu Gazeta.pl -> http://www.gazeta.pl/usenet/