-
Path: news-archive.icm.edu.pl!news.gazeta.pl!newsfeed.pionier.net.pl!news.glorb.com!n
ews-in-01.newsfeed.easynews.com!easynews!core-easynews-01!easynews.com!en-nntp-
14.dc1.easynews.com.POSTED!not-for-mail
From: A.L. <l...@a...com>
Newsgroups: pl.comp.programming
Subject: Re: Carnegie-Mellon przestaje uczyc programowania obiektowego
Message-ID: <j...@4...com>
References: <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> <io72tm$eni$1@news.onet.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: 31
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: Thu, 14 Apr 2011 10:38:24 -0500
Xref: news-archive.icm.edu.pl pl.comp.programming:189842
[ ukryj nagłówki ]On Thu, 14 Apr 2011 17:12:53 +0200, Michal Kleczek <k...@g...com>
wrote:
>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.
Proponuje postudiowac DOKLADNIE przyczyny wypadku Ariane 5. Problem
polegal na tym ze do Ariane 5 zastosowano system nawigacyjny od Ariane
4 ktory byl zaprojektowany na mniejsze przyspieszenia niz Ariane 5
mogla osiagac podczas startu.
Trudno w tym przypadku obwiniac sofrwate - software zachowal sie
prawidlowo. Gdy liczby otrzymywane z systemu nawigacyjnego
przekroczyly dopuszczalny zakres, komputer wylaczyl system
nawigacyjny. Zgodnie ze specyfikacja.
Nie znam formalnych metod ktore sprawdzalyby poprawnosc i logike
zalozen projektowych.
A.L.
Następne wpisy z tego wątku
- 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
- 14.04.11 20:26 Michal Kleczek
Najnowsze wątki z tej grupy
- Grok zaczął nadużywać wulgaryzmów i wprost obrażać niektóre znane osoby
- Can you activate BMW 48V 10Ah Li-Ion battery, connecting to CAN-USB laptop interface ?
- We Wrocławiu ruszyła Odra 5, pierwszy w Polsce komputer kwantowy z nadprzewodzącymi kubitami
- Ada-Europe - AEiC 2025 early registration deadline imminent
- John Carmack twierdzi, że gdyby gry były optymalizowane, to wystarczyły by stare kompy
- Ada-Europe Int.Conf. Reliable Software Technologies, AEiC 2025
- Linuks od wer. 6.15 przestanie wspierać procesory 486 i będzie wymagać min. Pentium
- ,,Polski przemysł jest w stanie agonalnym" - podkreślił dobitnie, wskazując na brak zamówień.
- Rewolucja w debugowaniu!!! SI analizuje zrzuty pamięci systemu M$ Windows!!!
- Brednie w wiki - hasło Dehomag
- Perfidne ataki krakerów z KRLD na skrypciarzy JS i Pajton
- Instytut IDEAS może zacząć działać: "Ma to być unikalny w europejskiej skali ośrodek badań nad sztuczną inteligencją."
- Instytut IDEAS może zacząć działać: "Ma to być unikalny w europejskiej skali ośrodek badań nad sztuczną inteligencją."
- Instytut IDEAS może zacząć działać: "Ma to być unikalny w europejskiej skali ośrodek badań nad sztuczną inteligencją."
- U nas propagują modę na SI, a w Chinach naukowcy SI po kolei umierają w wieku 40-50lat
Najnowsze wątki
- 2025-07-22 Genialna toaleta Urobot, automatycznie badająca mocz i kał z Taiwanu
- 2025-07-22 Thunderbird i dysk...
- 2025-07-22 Warszawa => Programista Full Stack .Net <=
- 2025-07-22 Warszawa => Software .Net Developer <=
- 2025-07-22 Warszawa => Asystent ds. Sprzedaży i Rozwoju Klienta <=
- 2025-07-22 Warszawa => Sales Assistant and Customer Development Specialist <=
- 2025-07-22 antyfaszystka
- 2025-07-22 W ogóle nie widać...
- 2025-07-22 I znowu inżynierowie i inżynierzy...
- 2025-07-21 Dokumenty zgromadzone przez Instytut Pamięci
- 2025-07-21 cashback
- 2025-07-21 Pomarańczowy rakietnyj on de telefon ;)
- 2025-07-21 Gdańsk => Kotlin Developer <=
- 2025-07-21 Warszawa => Sales Executive / KAM <=
- 2025-07-21 Gdańsk => Programista Kotlin <=