-
Data: 2011-04-14 15:38:24
Temat: Re: Carnegie-Mellon przestaje uczyc programowania obiektowego
Od: A.L. <l...@a...com> szukaj wiadomości tego autora
[ pokaż wszystkie 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
- "Wuj dobra rada" z KDAB rozważa: Choosing the Right Programming Language for Your Embedded Linux Device
- Nowa ustawa o ochronie praw autorskich - opis problemu i szkic ustawy
- Alg. kompresji LZW
- Popr. 14. Nauka i Praca Programisty C++ w III Rzeczy (pospolitej)
- Arch. Prog. Nieuprzywilejowanych w pełnej wer. na nowej s. WWW energokod.pl
- 7. Raport Totaliztyczny: Sprawa Qt Group wer. 424
- TCL - problem z escape ostatniego \ w nawiasach {}
- Nauka i Praca Programisty C++ w III Rzeczy (pospolitej)
- testy-wyd-sort - Podsumowanie
- Tworzenie Programów Nieuprzywilejowanych Opartych Na Wtyczkach
- 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?
Najnowsze wątki
- 2025-03-29 Re: Kompensacja mocy biernej przy 230VAC
- 2025-03-29 Ostrów Wielkopolski => Konsultant Wdrożeniowy Comarch XL/Optima (Ksi
- 2025-03-29 Łożysko ślizgowe - jaki olej
- 2025-03-29 Re: Kompensacja mocy biernej przy 230VAC
- 2025-03-29 Warszawa => NMS System Administrator <=
- 2025-03-29 Warszawa => Laravel PHP Developer <=
- 2025-03-29 Re: Kompensacja mocy biernej przy 230VAC
- 2025-03-29 Warszawa => Java Full Stack Developer (Angular2+) <=
- 2025-03-29 Warszawa => Specjalista rekrutacji IT <=
- 2025-03-28 A gdyby to był elektryk?
- 2025-03-28 Współczesny falomierz
- 2025-03-28 Rzeszów => WEBCON Developer <=
- 2025-03-28 Szczecin => Specjalista ds. public relations <=
- 2025-03-28 Warszawa => Staż w dziale Sprzedaży B2B <=
- 2025-03-28 Warszawa => MENA New Business Manager <=