-
Path: news-archive.icm.edu.pl!news.gazeta.pl!newsfeed.pionier.net.pl!news.glorb.com!n
ews2.glorb.com!news-in-01.newsfeed.easynews.com!easynews!core-easynews-01!easyn
ews.com!en-nntp-13.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: <8...@4...com>
References: <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>
<j...@4...com> <io7h0m$cno$1@news.onet.pl>
X-Newsreader: Forte Agent 4.2/32.1118
MIME-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Content-Transfer-Encoding: 7bit
Lines: 39
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 14:25:38 -0500
Xref: news-archive.icm.edu.pl pl.comp.programming:189849
[ ukryj nagłówki ]On Thu, 14 Apr 2011 21:13:24 +0200, Michal Kleczek <k...@g...com>
wrote:
>
>To jakies waskie pojmowanie "prawidlowego zachowania oprogramowania".
>
>Niewatpliwie wypadek byl spowodowany wadliwym dzialaniem systemu
>komputerowego. Co wiecej - nie byla to awaria sprzetu (tzn. nic sie nie
>spalilo, ani tez nie nastapila np. przypadkowa zmiana zawartosci pamieci),
>lecz wadliwe dzialanie oprogramowania, ktore nie bylo przygotowane na
>obsluge rzeczywistych danych wejsciowych. Nie nazwalbym tego "software
>zachowal sie prawidlowo". To, ze zachowal sie zgodnie z jakas tam
>specyfikacja nie oznacza, ze zachowal sie prawidlowo.
>
Software zachowuje sie prawidlowo jezeli dziala zgodnie ze
specyfikacja. Specyfikacja moze byc nieprawilowa.
>Operacja sie udala, pacjent zmarl. MSPANC
>
>>
>> Nie znam formalnych metod ktore sprawdzalyby poprawnosc i logike
>> zalozen projektowych.
>>
>
>Czyli stosowanie metod formalnych nie zapobieglo wypadkowi.
>Nie znam sie na metodach formalnych, ale wydawalo mi sie, ze stosowanie ich
>ma zapobiegac pojawianiu sie bledow zarowno w implementacji jak i
>_specyfikacji wymagan_ .
Zalezy gdzie sie zaczyna owa "specyfikacja". W przypadku Ariadne 5 byl
blad ludzki: nie powinno sie adaptowac modulu z Ariadne 4. Natomiast
nei wiem czy specyfikacja porgramu mowiaca ze komputer ma byc
wylaczony gdy zakres liczb zostanie przekroczony byla specyfikacja
sensowna czy nie. Takie rzeczy nie poddaje sie zadnym formalnym
sprawdzianom.
A.L.
Następne wpisy z tego wątku
- 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
- 14.04.11 20:27 A.L.
- 14.04.11 20:34 Wojciech Jaczewski
- 14.04.11 20:40 fir
- 14.04.11 20:39 A.L.
- 14.04.11 21:41 Wojciech Jaczewski
- 14.04.11 21:50 A.L.
- 14.04.11 22:22 Daniel Janus
Najnowsze wątki z tej grupy
- 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
- C++. Podróż Po Języku - komentarz
- "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
Najnowsze wątki
- 2025-05-12 Warszawa => Programista Microsoft Dynamics 365 Finance & Operations (D
- 2025-05-12 Wrocław => Konsultant wdrożeniowy Comarch XL/Optima (Księgowość i
- 2025-05-12 Bieruń => Spedytor Międzynarodowy (handel ładunkami/prowadzenie flo
- 2025-05-12 Warszawa => Spedytor Międzynarodowy <=
- 2025-05-12 kolizja na chodniku nie ma odszkodowania
- 2025-05-12 Żerniki => Dyspozytor Międzynarodowy <=
- 2025-05-12 presja na aplikacje i blik
- 2025-05-12 czy znacie bardziej popierdolone sieci niż polskie?
- 2025-05-12 czy znacie bardziej popierdolone sieci niż polskie?
- 2025-05-11 Linuks od wer. 6.15 przestanie wspierać procesory 486 i będzie wymagać min. Pentium
- 2025-05-11 Linuks od wer. 6.15 przestanie wspierać procesory 486 i będzie wymagać min. Pentium
- 2025-05-11 obca rejestracja budzi agresję
- 2025-05-11 Po nie udanej próbie egzekucji: Nigeryjczyk, który chciał zabić Polaka, nie odpowie za atak
- 2025-05-10 Szczecin => Key Account Manager IT <=
- 2025-05-10 Rudno => Administrator sieci IT <=