Programozók (esetleg volt ELTE-sek), ti használtok kvantoros/matematikus/egyéb leírást a dokumentációban, amit még egyetemen tanultatok?

Nem. A dokumentációban nem szoktak ilyen alacsony implementációs szintre lemenni, hogy itt most létrehozunk egy tömböt és akkor minden i-re blahblahblah. Röbidebb lenne a programkód, mint a dokumentáció ... Meg most gondolj bele milyen dokumentáció készülne a több 10K, 100K soros programokhoz. Nem elvárható, hogy ilyen módon legyenek dokumentálva.

Eleve, azok rendszerek, amiben a dokumentációt készítjük, meg sem tudnak jeleníteni ilyen matekos jeleket, meg be sem tudnád gépelni, mert ez nem latex.

Nem vagyok ellensége az egyetemi képzésnek (sőt!), de az ELTE még mindig inkább elméleti matematikusokat akar képezni, mintsem programozókat, akik képesek a gyakorlatban egy feladatot megoldani.

Algoritmusleíró eszközöket mióta komolyabban érdekel a programozás, azóta folyamatosan használok, és idővel be is bizonyosodott, hogy nagyon jól teszem, de a fentebb említett módszer teljesen felesleges és szakmaiatlan.

Már írtam ezt néhányszor. Ugyanazon az egyetemen képezik a szakma elitjét is és azokat is, akik alacsonyabb színvonalon, alacsonyabb képességekkel felelnek meg alacsonyabb elvárásoknak.

Vannak missziókritikus rendszerek, ahol igenis mindent a legapróbb részletig dokumentálni kell és a rendszertervnek is teljesen egyértelműnek kell lennie.

Ha valahol hiba történik, fontos, hogy annak okozója visszakereshető legyen. Ezen nem csak dollár milliók, milliárdok, de egész iparágak múlhatnak.

Az egyetemeken nem tudják, hogy melyik gólyából mi lesz, de azt tudják, hogy a minőséget meg kell tartani, mert szükség van az űrszondák, a marsjárművek operációs rendszereit megtervezni és implementálni képes emberekre is.

Komplett űrprogram fodult kudarcba egy szimpla konverziós hiba miatt. Miért? Mert a specifikáció nem volt egyértelmű.

Gondolom ti is azt keresnétek egy ilyen esetben, hogy kit kell eltávolítani a csapatból, hogy ilyen többé ne fordulhasson elő. Vagy tévedek?

"Szoftverhiba miatt 1,9 millió harmadik generációs Priust hív vissza a Toyota világszerte"

"Ma a Volkswagen hivatalosan is megerősítette azt a hét végén felröppent hírt, amely szerint egy szoftverhiba miatt leállították a VW Golf és a Škoda Octavia szállításokat."

"Újabb szoftverhibát talált a Boeing vállalat a 737 MAX típusú gépein, amelyeket tavaly márciusban kivontak átmenetileg a forgalomból két ilyen utasszállító katasztrófája után. "

"Szoftverhiba miatt 433 000 autót hív vissza a Ford"

"Négy ember vesztette életét egy sugárterápiás készülék szofverhibája miatt"