OT: software - zaujimave citanie

Ales Prochaska prochaska na alsoft.cz
Středa Září 29 18:28:16 CEST 2010


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





Další informace o konferenci Hw-list