eGospodarka.pl
eGospodarka.pl poleca

eGospodarka.plGrupypl.comp.programmingTo prawda? › Re: To prawda?
  • Path: news-archive.icm.edu.pl!news.icm.edu.pl!newsfeed.pionier.net.pl!news.glorb.com!
    news-in-01.newsfeed.easynews.com!easynews!core-easynews-01!easynews.com!en-nntp
    -16.dc1.easynews.com.POSTED!not-for-mail
    From: A.L. <l...@a...com>
    Newsgroups: pl.comp.programming
    Subject: Re: To prawda?
    Message-ID: <2...@4...com>
    References: <jen41o$a90$1@inews.gazeta.pl> <jenk84$emv$1@news.icpnet.pl>
    X-Newsreader: Forte Agent 4.2/32.1118
    MIME-Version: 1.0
    Content-Type: text/plain; charset=ISO-8859-2
    Content-Transfer-Encoding: 8bit
    Lines: 42
    X-Complaints-To: a...@e...com
    Organization: Forte Inc. http://www.forteinc.com/apn/
    X-Complaints-Info: Please be sure to forward a copy of ALL headers otherwise we will
    be unable to process your complaint properly.
    Date: Fri, 13 Jan 2012 07:40:33 -0600
    Xref: news-archive.icm.edu.pl pl.comp.programming:194693
    [ ukryj nagłówki ]

    On Thu, 12 Jan 2012 22:44:35 +0100, n...@m...invalid wrote:

    >W dniu 12.01.2012 r. 18:08, M.M. pisze:
    >> Cytat z perełek oprogramowania, bez mojego komentarza:
    >>
    >> Większość ludzi sądzi, że mając w ręku przedstawiony opis, można napisać kod
    >> bez trudu. Mylą się jednak. Jedynym sposobem, byś się o tym Szanowny
    >> Czytelniku przekonał, jest odłożenie książki na bok i samodzielene napisanie
    >> programu. Spróbuj.
    >> Zadałem to ćwiczenie na wykładach dla zawodowych programistów. Mieli kilka
    >> godzin na zamianę powyższego opisu na program w języku, który sobie wybrali;
    >> wystarczał pseudo język wysokiego poziomu. Pod koniec określonego czasu prawie
    >> wszyscy zgłosili, że mają poprawnie zapisane procedury. Przeznaczyliśmy 30
    >> minut na sprawdzanie kodu, co programiści robili za pomocą zadanych testów.
    >> Wyniki osiągane w różnych grupach z ponad setką programistów, były mniej
    >> więcej takie same: dziewięciu na dziesięciu znalazło błędy w swych funkcjach
    >> (a nie zawsze byłem przekonany o poprawności kodu, w którym błędów nie wykryto).
    >> Byłem zdumiony: mimo dostatecznej ilości czasu, zaledwie 10% zawodowych
    >> programistów zdołało poprawnie zapisać ten niewielki programik. Nie tylko dla
    >> nich zadanie okazało się trudne: w części poświęconej historii, w p 6.2.1
    >> książki Sortowanie i wyszukiwanie Kunth podkreśla, że wprawdzie pierwszy
    >> algorytm wyszukiwania binarnego ukazał się drukiem w 1946r, ale na pierwszą
    >> jego publikację nie zawierającą błędów trzeba było czekać do 1962r"
    >>
    >> Pozdrawiam
    >Ciekawy głos. IMHO nazbyt często jest to ignorowane. Ludzie są
    >doskonałym automatem niedeterministycznym dysponującym pamięcią
    >asocjacyjną, wnioskowaniem logicznym i myśleniem abstrakcyjnym -- ale za
    >cenę, że popełniają błędy. To był m.in. motywator do tego, by rozwijać
    >w "pozytywistycznym okresie" AI programy do wnioskowania maszynowego,
    >dowodzenia teoremów, a dziś stoi za statyczną weryfikacją programów lub,
    >dajmy na to, projektowaniem deklaratywnym (aczkolwiek nie podam źródeł).
    >Skrajnie nieliczna grupa ludzi (wręcz sawantów) potrafi przeprowadzać
    >analizę warunków brzegowych i innych przez większość czasu zaangażowania
    >umysłowego.
    >Zresztą stanowi to jedną z podwalin OOP -- analityczne podejście do
    >rozwiązywania problemów. Jak wiadomo, obdarzone tendencją do redundancji.
    >Programiści powinni o tym nie zapominać.

    Dzieki za porcyjke belkotu

    A.L.

Podziel się

Poleć ten post znajomemu poleć

Wydrukuj ten post drukuj


Następne wpisy z tego wątku

Najnowsze wątki z tej grupy


Najnowsze wątki

Szukaj w grupach

Eksperci egospodarka.pl

1 1 1

Wpisz nazwę miasta, dla którego chcesz znaleźć jednostkę ZUS.

Wzory dokumentów

Bezpłatne wzory dokumentów i formularzy.
Wyszukaj i pobierz za darmo: