-
Data: 2015-03-31 09:05:11
Temat: Re: poprawno?? algorytmu
Od: slawek <f...@f...com> szukaj wiadomości tego autora
[ pokaż wszystkie nagłówki ]On Sat, 28 Mar 2015 13:51:39 -0500, A.L. <a...@a...com> wrote:
> Nareszcie glos rozsadku. Smaic mi sie chce ze "specjalistow"
> wypowiadajacych sie w tym watku.
Masz pogubione PL-literki i przedstawioną kolejność liter. Zakładam
jednocześnie że jesteś mistrzem w dowodzenie formalnej poprawności
itd. itp. Jak w takim razie oceniłbyś prawdopodobieństwo zaistnienia
faktu że pisząc program napiszesz np. q zamiast p? I w jaki sposób
formalny matematyczne poprawny dowód może te prawdopodobieństwo
zmienić?
Najdroższy tego rodzaju błąd kosztował, jeżeli dobrze pamiętam, grubo
ponad miliard dolarów.
Zrozum mnie dobrze: nie utrzymuję że dowody poprawności to coś
nieprzydatnego. Raczej szacuję, iż na poziomie jaki reprezentuje
większość dyskutantów na tym forum (bardziej "baza szlauchów i
kaloszy" niż awionika), nie mających takiego doświadczenia jak ty,
ważniejsze jest stosowanie elementarnych dobrych praktyk, jak np.
nieobarczanie tylko jednego programisty odpowiedzialnością za
szczególne ważny kod.
Następne wpisy z tego wątku
- 31.03.15 09:56 Maciej Sobczak
- 31.03.15 12:20 g...@g...com
- 31.03.15 14:48 M.M.
- 31.03.15 16:39 g...@g...com
- 31.03.15 19:08 slawek
- 31.03.15 19:29 M.M.
- 31.03.15 19:43 M.M.
- 31.03.15 19:49 g...@g...com
- 31.03.15 19:59 slawek
- 31.03.15 20:10 slawek
- 31.03.15 20:34 g...@g...com
- 31.03.15 21:01 M.M.
- 31.03.15 23:04 slawek
- 31.03.15 23:25 g...@g...com
- 31.03.15 23:32 Andrzej Jarzabek
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-07-17 Lublin => Full Stack Java Developer <=
- 2024-07-17 Lublin => Java Full Stack Developer (+Angular) <=
- 2024-07-17 Turek => IT Project Manager (experience with C#) <=
- 2024-07-17 Warszawa => Mobile React Native Developer <=
- 2024-07-05 eSIM na czym polega
- 2024-07-15 Roaming poza unią
- 2024-07-16 Jak tanio dzwonic do Wielkiej Brytani?
- 2024-07-16 Dzień bez ICE
- 2024-07-15 Spalinówki płoną doszczętnie
- 2024-07-15 Pojemność akumulatora
- 2024-07-15 Elektryk8i dalej płoną.
- 2024-07-15 Motodziennik #284 NOWY MG HS z hybrydą oraz wraca FORD CAPRI (jako SUV)
- 2024-07-14 [FILM] SAMOCHODY ELEKTRYCZNE DO WIELKIE ŚCIEMA? TYLKO FAKTY!
- 2024-07-14 Znieczulica w narodzie
- 2024-07-13 Protect Your PC with IObit Malware Fighter Pro 11.3.0.1346 Multilingual