Szukana fraza: Autor: j...@p...onet.pl
Znaleziono: 143 wiadomości
-
Re: jedno proste pytanie
2010-08-10 18:24:11 autor: j...@p...onet.pl
> Uczono mnie logiki Hoare'a. Czy takie akademickie rozważania bywają stosowane w > praktyce? Pytam, bo zdaję sobie sprawę, że dowodzenie poprawności nawet prostego ... [ więcej ]
grupa: pl.comp.programming
-
Re: jedno proste pytanie
2010-08-10 18:46:13 autor: j...@p...onet.pl
Czy jest tu jakiś poważny człowiek, który mógłby mi odpowiedzieć na moje pytanie? -- Wysłano z serwisu OnetNiusy: http://niusy.onet.pl [ więcej ]
grupa: pl.comp.programming
-
Re: jedno proste pytanie
2010-08-17 09:45:11 autor: j...@p...onet.pl
> to wcale nie była niepoważna odpowiedź. Przez przypatrzenie to można sobie udowodnić poprawność programu Hello World. Przez zaliczenie można zaliczyć niepoprawny program u ... [ więcej ]
grupa: pl.comp.programming
-
Re: jedno proste pytanie
2010-08-17 11:01:38 autor: j...@p...onet.pl
> Co to znaczy "poprawność programu"? Sprecyzuj. Każdy student informatyki wie, że: poprawność = częściowa poprawność + własność stopu + określoność obliczeń ... [ więcej ]
grupa: pl.comp.programming
-
Re: jedno proste pytanie
2010-08-17 12:07:41 autor: j...@p...onet.pl
> system zapewnienia jakosci. O to mi właśnie chodziło. Dzięki za odpowiedź. -- Wysłano z serwisu OnetNiusy: http://niusy.onet.pl [ więcej ]
grupa: pl.comp.programming
-
Re: jedno proste pytanie
2010-08-17 14:47:32 autor: j...@p...onet.pl
> Poza tym dobrze zrobione testy są wystarczające. A co gdy nie jesteś pewien czy trudniejszy algorytm jest poprawny a zbiór możliwych danych wejściowych obszerny? Będziesz go ... [ więcej ]
grupa: pl.comp.programming
-
Re: jedno proste pytanie
2010-08-17 15:03:30 autor: j...@p...onet.pl
> Tak. Jednym z ciekawszych rozwiązań w tym zakresie jest SPARK Nie znam SPARKa. Czy wstawianie asercji ma sens tzn. coś pomaga? function assert($condition, $message = null) { if ... [ więcej ]
grupa: pl.comp.programming
-
zmienne globalne
2010-08-28 14:26:33 autor: j...@p...onet.pl
Nie jestem zbyt doświadczonym programistą. Mam pytanie: czy dobrą zasadą w programowaniu jest żeby używać zmiennych globalnych tylko w ostateczności? Np. zamiast: global ... [ więcej ]
grupa: pl.comp.programming
-
Re: zmienne globalne
2010-08-29 06:50:58 autor: j...@p...onet.pl
A co sądzisz o tym, że w PHP nie deklaruje się zmiennych? -- Wysłano z serwisu OnetNiusy: http://niusy.onet.pl [ więcej ]
grupa: pl.comp.programming
-
Re: zmienne globalne
2010-08-29 14:15:46 autor: j...@p...onet.pl
> WĹ�Ä�cz pokazywanie ostrzeĹźeĹ� i PHP bÄ�dzie czepiaĹ�o siÄ� braku > definicji/deklaracji. Rozumiem że ... [ więcej ]
grupa: pl.comp.programming
Freelancer: jak pracuje, ile zarabia, skąd ma zlecenia?
