-
Data: 2012-03-21 08:22:48
Temat: Re: Blad w oprogramowaniu Toyoty przyczyna wypadkow
Od: zażółcony <r...@c...pl> szukaj wiadomości tego autora
[ pokaż wszystkie nagłówki ]W dniu 2012-03-20 20:12, Andrzej Jarzabek pisze:
> On 20/03/2012 17:54, zażółcony wrote:
>> W dniu 2012-03-20 15:53, Andrzej Jarzabek pisze:
>>> Czy np. uważasz za uprawnione wnioskowanie:
>>> ('samoloty spadają' -> 'robimy X żeby samoloty nie spadały' ->
>>> 'samoloty spadają)
>>> zatem:
>>> robienie X jest bez sensu?
>>
>> ('samoloty spadają' -> 'mamy do wybory X lub Y lub Z żeby samoloty nie
>> spadały' -> robimy X, nie robimy Y,Z' -> samoloty spadają)
>>
>> Czy to oznacza, że trzeba robić X+Y+Z, żeby nie spadały, a użycie
>> 'lub' musiało być błędem ?
>
> Nie rozumiem o co ci chodzi,
Chodzi o to, że X,Y,Z to trzy alternatywne metody podnoszenia
bezpieczeństwa, każda z nich bardzo kosztowna (tak, jak np.
kosztowny był zakaz lotów po wybuchu wulkanu), każda z nich
budzi kontrowersje, każda z nich stanowi złożone, systemowe
rozwiązanie. Tylko w jednej z nich oparto się o pomysł
certyfikatów, dwie pozostałe twierdzą 'certyfikaty nie są
potrzebne, ich ekwiwalent mamy w innym miejscu'.
X certyfikuje wszystkich programistów, Y certyfikuje wyłącznie
zespoły testerów, Z zakłada certyfikację urządzeń pomiarowych.
Następne wpisy z tego wątku
- 21.03.12 10:24 Andrzej Jarzabek
- 21.03.12 10:40 Andrzej Jarzabek
- 21.03.12 10:47 Paweł Kierski
- 21.03.12 11:03 zażółcony
- 21.03.12 10:43 Andrzej Jarzabek
- 21.03.12 11:11 Tomasz Kaczanowski
- 21.03.12 11:36 Andrzej Jarzabek
- 21.03.12 11:43 Andrzej Jarzabek
- 21.03.12 11:51 Andrzej Jarzabek
- 21.03.12 11:57 Paweł Kierski
- 21.03.12 12:03 Tomasz Kaczanowski
- 21.03.12 13:59 Andrzej Jarzabek
- 21.03.12 14:33 zażółcony
- 21.03.12 14:19 Andrzej Jarzabek
- 21.03.12 14:39 zażółcony
Najnowsze wątki z tej grupy
- 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?
- 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
Najnowsze wątki
- 2025-02-01 Śmierć mózgu a narządy do pobrania
- 2025-01-31 A niektórym to naprawdę zależy na ekologi w miastach LPG POWRACA ;-)
- 2025-01-31 Lublin => Programista Delphi <=
- 2025-01-31 Łódź => Programista NodeJS <=
- 2025-01-31 Wrocław => Senior SAP Support Consultant (SD) <=
- 2025-01-31 Warszawa => Full Stack web developer (obszar .Net Core, Angular6+) <=
- 2025-01-31 Gdańsk => iOS Developer (Swift experience) <=
- 2025-01-31 Kraków => UX Designer <=
- 2025-01-31 Warszawa => Data Engineer (Tech Leader) <=
- 2025-01-31 Gliwice => Business Development Manager - Dział Sieci i Bezpieczeńst
- 2025-01-31 Gliwice => Business Development Manager - Network and Network Security
- 2025-01-31 Warszawa => Architekt rozwiązań (doświadczenie w obszarze Java, AWS
- 2025-01-31 Warszawa => Full Stack .Net Engineer <=
- 2025-01-31 Warszawa => Programista Full Stack (.Net Core) <=
- 2025-01-31 Gdańsk => Programista Full Stack .Net <=