-
Path: news-archive.icm.edu.pl!news.rmf.pl!agh.edu.pl!news.agh.edu.pl!news.onet.pl!.PO
STED!not-for-mail
From: Michal Kleczek <k...@g...com>
Newsgroups: pl.comp.programming
Subject: Re: Carnegie-Mellon przestaje uczyc programowania obiektowego
Date: Thu, 14 Apr 2011 17:12:53 +0200
Organization: http://onet.pl
Lines: 39
Message-ID: <io72tm$eni$1@news.onet.pl>
References: <m...@b...softax.pl> <innh81$6gk$1@inews.gazeta.pl>
<inpsjn$nua$1@inews.gazeta.pl> <inqqea$9f4$1@inews.gazeta.pl>
<int0c8$bkd$1@inews.gazeta.pl> <invfrd$edj$1@inews.gazeta.pl>
<m...@4...com>
<f...@l...googlegroups.com>
<a...@4...com> <io6d5n$ngu$1@news.onet.pl>
<2...@4...com> <io6s9p$h5h$1@news.onet.pl>
<1...@4...com>
NNTP-Posting-Host: 213-238-68-76.adsl.inetia.pl
Mime-Version: 1.0
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: 8Bit
X-Trace: news.onet.pl 1302793974 15090 213.238.68.76 (14 Apr 2011 15:12:54 GMT)
X-Complaints-To: n...@o...pl
NNTP-Posting-Date: Thu, 14 Apr 2011 15:12:54 +0000 (UTC)
User-Agent: KNode/4.4.9
Xref: news-archive.icm.edu.pl pl.comp.programming:189841
[ ukryj nagłówki ]A. L. wrote:
> On Thu, 14 Apr 2011 15:19:51 +0200, Michal Kleczek <k...@g...com>
> wrote:
>
>>A. L. wrote:
>>> Niestety, Kolega nie ma racji: istnieja tylko Kolega ich nei zna bo
>>> zostaly zapomniane
>>
>>Bardzo chetnie sie zapoznam. Mozna prosic o jakies namiary?
>>
>
[ciach]
> Jak idzie o programowanie logiczne czy funkcyjne, to "metodologie
> obrazkowe" sprawdzaja sie slabo, za to dosyc dobre sprawdzaja sie
> metody formalne. Dosyc polularny jest jezyk Z
>
> http://www.uni-koblenz.de/~beckert/Lehre/Spezifikati
on/11Z.pdf
>
> Sprawdza sie przynajmniej dla mnie, albowiem uzywam Z do specyfikacji
> programow w Prologu
Anegdota:
od razu zapuscilem gugla na "z language" i dostalem linki do wikipedii.
Poniewaz jest to zwiazane z "formal methods" seria odnosnikow zaprowadzila
mnie do http://en.wikipedia.org/wiki/B-Method - wymyslonej przez tegoz
samego autora co Z. Tam przeczytalem ze:
"B method has been used in some major safety-critical system applications in
Europe (such as in Paris Métro Line 14 and Ariane 5 rocket)." - no, w koncu
to metody formalne - do hardkorowych zastosowan.
I natychmiast mi sie przypomnialo o wypadku
http://en.wikipedia.org/wiki/Ariane_5_Flight_501
spowodowanym przez blad w oprogramowaniu.
Ehh... zycie jest okrutne.
--
Michal
Następne wpisy z tego wątku
- 14.04.11 15:38 A.L.
- 14.04.11 16:49 jfs/fir
- 14.04.11 17:47 Paweł Kierski
- 14.04.11 18:01 p...@p...onet.pl
- 14.04.11 18:05 Mariusz Marszałkowski
- 14.04.11 18:43 p...@p...onet.pl
- 14.04.11 19:13 Michal Kleczek
- 14.04.11 19:25 A.L.
- 14.04.11 19:27 Wojciech Jaczewski
- 14.04.11 19:41 Michal Kleczek
- 14.04.11 19:53 Wojciech Jaczewski
- 14.04.11 20:02 Wojciech Jaczewski
- 14.04.11 20:11 Maciej Sobczak
- 14.04.11 20:17 p...@p...onet.pl
- 14.04.11 20:17 Michal Kleczek
Najnowsze wątki z tej grupy
- Do czego nadaje się QDockWidget z bibl. Qt?
- Bibl. Qt jest sztucznie ograniczona - jest nieprzydatna do celów komercyjnych
- Co sciaga kretynow
- AEiC 2024 - Ada-Europe conference - Deadlines Approaching
- Jakie są dobre zasady programowania programów opartych na wtyczkach?
- sprawdzanie słów kluczowych dot. zła
- Re: W czym sie teraz pisze programy??
- Re: (PDF) Surgical Pathology of Non-neoplastic Gastrointestinal Diseases by Lizhi Zhang
- CfC 28th Ada-Europe Int. Conf. Reliable Software Technologies
- Młodzi programiści i tajna policja
- Ada 2022 Language Reference Manual to be Published by Springer
- Press Release - AEiC 2023, Ada-Europe Reliable Softw. Technol.
- Ada-Europe - AEiC 2023 early registration deadline approaching
- Ada-Europe Int.Conf. Reliable Software Technologies, AEiC 2023
- Ile cykli zajmuje mnożenie liczb 64-bitowych?
Najnowsze wątki
- 2024-06-27 SAMOCHODY ELEKTRYCZNE: EKOLOGICZNA HIPOKRYZJA CZY EKONOMICZNA GŁUPOTA? | GOSPODARCZE ZERO #21
- 2024-06-27 Głośnik piezoelektryczny
- 2024-06-23 Mala autonomiczna kamera monitoringu
- 2024-06-26 czas na emeryturę i EB
- 2024-06-26 Wyjścia video kart graficznych (NVIDIA)
- 2024-06-27 Warszawa => Key Account Manager <=
- 2024-06-27 Bażanowice => Expert Migration Architect (Azure) <=
- 2024-06-27 Ulm => IT Netzwerktechniker (m/w/d) <=
- 2024-06-27 Warszawa => Kierownik Działu Spedycji Międzynarodowej <=
- 2024-06-27 Warszawa => Head of International Freight Forwarding Department <=
- 2024-06-26 Kraków => International freight forwarder <=
- 2024-06-26 Częstochowa => Marketing Specialist (E-Commerce) <=
- 2024-06-26 Warszawa => Fullstack Java Developer <=
- 2024-06-26 Warszawa => React Native Developer <=
- 2024-06-26 Rzeszów => Frontend Developer (React) <=