OT: software - zaujimave citanie

[Ales Prochaska]

Nevim jak zrovna pristavani ale ruskou skolu software pro
critical-mission aplikace nelze nechat nepovsimnutou, meli uz tehdy
vyvinute docela dumyslne postupy, hodne blizke matematicke formalni
verifikaci kodu. Mel jsem prilezitost videt fragment vypisu jednoho
programu pro jakysi kosmicky vehikl - co stranka, to jeden radek kodu
a zbytek jeho verifikace, zjevne delana podle nejakych predepsanych
postupu.

Ales Prochaska

> No Appolo guidance computer je jeste high tech proti Ruske kosmice technice -
> Vostoky a Voschody proste pristavaly po balisticke krivce zcela pasivne bez
> pocitacu a bez navigace protoze v dobe jejich vyvoje byla 
> kybernetika "burozoazni paveda" a budme za to velmi radi ....

> Zdravi Petr Kubac