Prosba o pomoc - nechapu zapis v C
Jan Waclawek
konfera na efton.sk
Pondělí Listopad 21 17:02:39 CET 2022
>Jiný soubor pravidel, tentokrát jen desatero, ale velmi uµitečné
>https://en.wikipedia.org/wiki/The_Power_of_10:_Rules_for_Developing_Safety-Critical_Code
>
>Kdyby se formální kontrola důsledně pouµívala, nemusel se Mars Polar
>Lander rozplácnout o povrch.
Ako? V tych pravidlach nevidim nic o hladani zlozitych suvislosti medzi
mechanickymi/elektromechanickymi sucastami.
wek
Další informace o konferenci Hw-list