-
Path: news-archive.icm.edu.pl!pingwin.icm.edu.pl!news.icm.edu.pl!news.onet.pl!newsfee
d.tpinternet.pl!news.dialog.net.pl!not-for-mail
From: "Tomek Zielinski" <t...@f...org.pl>
Newsgroups: pl.praca.dyskusje
Subject: Re: jaka praca najlepsza dla informatyka ???
Date: Mon, 10 Feb 2003 15:19:57 +0100
Organization: Dialog Net
Lines: 22
Message-ID: <b28cer$jlr$1@absinth.dialog.net.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> <b28bbm$h3h$1@atlantis.news.tpi.pl>
NNTP-Posting-Host: dial-6226.wroclaw.dialog.net.pl
X-Trace: absinth.dialog.net.pl 1044886812 20155 62.87.243.82 (10 Feb 2003 14:20:12
GMT)
X-Complaints-To: http://www.dialog.pl/dialog/internet/internet.php?id=41
NNTP-Posting-Date: Mon, 10 Feb 2003 14:20:12 +0000 (UTC)
X-Priority: 3
X-MSMail-Priority: Normal
X-Newsreader: Microsoft Outlook Express 6.00.2600.0000
X-MimeOLE: Produced By Microsoft MimeOLE V6.00.2600.0000
Xref: news-archive.icm.edu.pl pl.praca.dyskusje:72385
[ ukryj nagłówki ]"flyer" <f...@g...pl> wrote in message
news:b28bbm$h3h$1@atlantis.news.tpi.pl...
> Wybacz, ale skoro nie powstala linijka kodu, to jak mozna sprawdzic
> poprawnosc kodu?
Matematycznie. Począwszy od dowodu poprawności specyfikacji języka
programowania. Kto miał okazję dowodzić poprawność choćby while'a, ten wie,
o czym mowa.
> Do do algorytmow - robilem przy oprogramowaniu powiedzmy z dziedziny
> ksiegowosci i podstawowym bledem nie byly niepoprawne algorytmy kodow,
Zgaduję, że algorytmy te korzystały z if'a i for'a. Zapewne nie
przeprowadzałeś formalnego dowodu zgodności założeń tych instrukcji z ich
rzeczywistym działaniem, aczkolwiek w krytycznych zastosowaniach właśnie od
tego się wychodzi a dalej podąża równie starannie.
Tomek Z.
Następne wpisy z tego wątku
- 10.02.03 15:01 jacek
- 10.02.03 17:07 Roman Kubik
- 10.02.03 17:42 Lukash
- 10.02.03 17:58 leszek
- 10.02.03 17:59 leszek
- 10.02.03 18:03 Roman Kubik
- 10.02.03 18:11 leszek
- 10.02.03 19:12 Zenek
- 10.02.03 19:20 Lukash
- 10.02.03 19:36 Tomek Zielinski
- 10.02.03 19:55 Roman Kubik
- 10.02.03 23:16 flyer
- 10.02.03 23:16 flyer
- 10.02.03 23:59 Nina M. Miller
- 11.02.03 00:01 Nina M. Miller
Najnowsze wątki z tej grupy
- Jakie znacie działające serwery grup dyskusyjnych?
- 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
Najnowsze wątki
- 2024-06-11 Warszawa => Senior React Native Developer <=
- 2024-06-11 Gdańsk => Kierownik Działu Spedycji Międzynarodowej <=
- 2024-06-11 Kraków => Spedytor międzynarodowy <=
- 2024-06-11 Szczecin => Senior React Native Developer <=
- 2024-06-11 Częstochowa => Specjalista ds. Marketingu (E-Commerce) <=
- 2024-06-11 Wrocław => Key Account Manager <=
- 2024-06-11 Białystok => ERP Implementer <=
- 2024-06-11 Wrocław => Frontend Developer (React) <=
- 2024-06-11 Zielona Góra => Inżynier R&D Energoelektronik <=
- 2024-06-11 Zielona Góra => Engineer R&D Energy Electronics <=
- 2024-06-10 Kraków => Head of International Freight Forwarding Department <=
- 2024-06-10 Berlin => IT Network Engineer <=
- 2024-06-10 Warszawa => Junior New Business Development Manager <=
- 2024-06-10 Warszawa => Senior React Native Developer <=
- 2024-06-10 Gdańsk => Specjalista ds. Sprzedaży <=