W dniu środa, 1 kwietnia 2015 00:08:38 UTC+2 użytkownik g...@g...com napisał:
> W dniu wtorek, 31 marca 2015 23:59:41 UTC+2 użytkownik slawek napisał:
>
> > >Nie twierdzę, że jestem bystry, jak również nie twierdziłem nigdzie,
> > >że mam w temacie mnóstwo doświadczenia. Moje doświadczenie jest raczej
> > >skromne, ale za to dzielę się nim chętnie, w związku z czym większość
> >
> > Więc się podziel.
>
> Przecież się podzieliłem. Wszystko, o czym piszę, staram się
> dokumentować, podawać odnośniki. Jeżeli masz jakieś konkretne
> pytanie, to je zadaj, a wówczas postaram się odpowiedzieć
> w miarę swoich skromnych możliwości
>
> > Gdzie i do czego? Przecież skoro uważasz, ze dowody
> > formalne to podstawa, to chyba nie konfabulujesz, tylko opierasz się na
> > faktach.
>
> Gdzie napisałem, że "dowody formalne to podstawa"? Podstawa czego?

dowodzenie to tak naprawde postawa kodowania
- programujac bez przerwy dowodzisz sobie
ze piszac A a pozniej B wynik bedzie taki jak
zalożony
sa to nawet mz zupelnie formalne dowodzenia

gorzej jest jesli ktos pracuje gdzies w jakiejs
firmie np pod presja czasu i nie jest do konca
pewien jak działa np jakies api z ktorym sie
łaczy wtedy ten łancuch dowodzenia moze sie
zerwać (mnie np mozno irytowaly moje pierwsze
doswiadczenia a winapi ktore mz nie bylo w tym
sensie odpowiednio udokumentowane tak ze mozna
co najwyzej prawdopodobnie zalozyc a nie
miec pewnosc ze ten kod jest ok - (pozniej mi
troche minelo posrednio na skutek powtarzalnosci
testowania i posrednio tez na skutek ogladania
innych kodów ktore maja to zrobione tak samo)