-
Path: news-archive.icm.edu.pl!pingwin.icm.edu.pl!news.icm.edu.pl!news.onet.pl!newsfee
d.gazeta.pl!news.gazeta.pl!not-for-mail
From: " leszek" <s...@N...gazeta.pl>
Newsgroups: pl.praca.dyskusje
Subject: Re: jaka praca najlepsza dla informatyka ???
Date: Wed, 12 Feb 2003 11:52:22 +0000 (UTC)
Organization: Portal Gazeta.pl -> http://www.gazeta.pl
Lines: 34
Message-ID: <b2dchm$g0m$1@inews.gazeta.pl>
References: <b244do$1vj$1@absinth.dialog.net.pl> <b2454i$1qu$1@atlantis.news.tpi.pl>
<b245jp$4n5$1@atlantis.news.tpi.pl> <b247is$6sr$1@okapi.ict.pwr.wroc.pl>
<b2485j$562$1@absinth.dialog.net.pl> <b25op3$97h$1@okapi.ict.pwr.wroc.pl>
<m...@p...ninka.net> <b26nbf$pld$1@atlantis.news.tpi.pl>
<m...@p...ninka.net> <b28pau$rus$1@inews.gazeta.pl>
<b28v0f$k15$1@absinth.dialog.net.pl>
NNTP-Posting-Host: perseus-gate.bellona.pl
Content-Type: text/plain; charset=ISO-8859-2
Content-Transfer-Encoding: 8bit
X-Trace: inews.gazeta.pl 1045050742 16406 172.20.26.237 (12 Feb 2003 11:52:22 GMT)
X-Complaints-To: u...@a...pl
NNTP-Posting-Date: Wed, 12 Feb 2003 11:52:22 +0000 (UTC)
X-User: sb.leszek
X-Forwarded-For: perseus-gate.bellona.pl
X-Remote-IP: perseus-gate.bellona.pl
Xref: news-archive.icm.edu.pl pl.praca.dyskusje:72602
[ ukryj nagłówki ]Tomek Zielinski <t...@f...org.pl> napisał(a):
> " leszek" <s...@N...gazeta.pl> wrote in message
> news:b28pau$rus$1@inews.gazeta.pl...
>
> > 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.
>
> Skąd wzięła Ci się liczba 100000 linii kodu w kontekście oprogramowania dla
> aparatury szpitalnej tudzież sondy kosmicznej? Czy słyszałeś może o theorem
> proverach?
>
Owszem, słyszałem. Ale dotyczą w najlepszym razie programów, gdzie da się
zdefiniowac w formalny sposób warunki poprawności - bo inaczej jak to
udowodnisz. Przypuszczam także, że sam program musi być napisany w jakimś
szczególnym języku - na przykład funkcyjnym typu LISP albo ProLOG. Tymczasem
jak zdefiniujesz poprawnośc programu, załóżmy, do obsługi księgowości. Czy
jest udowodnione poprawne działanie SAPa ?
W oprogramowaniu do aparatury medycznej lub sondy też wątpię, ze dowodzi się
poprawności wszystkiego. Takie wymogi mogą dotyczyć krytycznych fragmentów
tegoż - na przykład obslugi aparatury do podtrzymywania życia. Oczywiście
software musi byc także odpowiednio napisany - aby takie fragmenty dało się
wyodrębnić. Z drugiej strony nie wiem jak się to odbywa - zgaduję tylko.
Natomiast zgadzam się z opinią, że programista nie powinien pisac programu
jak mu w duszy śpiewa, ale powinien zastanawiać się nad poprawnościa tego co
pisze. Jest to chyba jednak wymóg profesjonalny.
--
Wysłano z serwisu Usenet w portalu Gazeta.pl -> http://www.gazeta.pl/usenet/
Najnowsze wątki z tej grupy
- is it live this group at news.icm.edu.pl
- praca 12/24
- 5 minut przerwy przy komputerze
- raczej już nigdy nie będę pracował w Polsce
- Stanowiska sztucznie tworzone
- Re: SOLUTIONS MANUAL: Optical Properties of Solids 2nd Ed by Mark Fox
- zapłata
- Re: Cwana cwaniurka czyli niemieccy oszuści.
- Re: Cwana cwaniurka czyli niemieccy oszuści.
- Jawność zarobków wszystkich
- rozmówki przy wódeczce...
- herbatka...
- Re: POSZUKUJĘ NIEWIELKIEJ POŻYCZKI
- Uploads - What is wrong with Easynews
- Zarobki w dolarach, a VAT, podatek i fakturowanie
Najnowsze wątki
- 2024-06-06 Gdańsk => Programista Full Stack .Net <=
- 2024-06-06 Warszawa => Senior React Native Developer <=
- 2024-06-06 Gdańsk => Head of International Freight Forwarding Department <=
- 2024-06-06 Warszawa => Kierownik Działu Spedycji Międzynarodowej <=
- 2024-06-05 Olsztyn => Sales Specialist <=
- 2024-06-05 Ulm => Integration & Test Engineer <=
- 2024-06-05 Białystok => Technical Leader (Java Background) <=
- 2024-06-05 Kraków => Senior PHP Developer (Symfony) <=
- 2024-06-05 Gliwice => Senior PHP Developer <=
- 2024-06-05 Kraków => SAP CO Consultant <=
- 2024-06-05 Warszawa => International freight forwarder <=
- 2024-06-05 Warszawa => Projektant/Starszy Programista PHP Laravel (e-commerce) <=
- 2024-06-04 Marki => Expert Migration Architect (Azure) <=
- 2024-06-04 Kraków => Spedytor międzynarodowy <=
- 2024-06-04 Wrocław => Senior React Native Developer <=