netuší někdo jestli je potřeba do technické dokumentace k nějakému programu psát i kompletní dokumentaci ke zdrojovým kódům? Vůbec se mi do toho nechce. A nemáte k dispozici nějaký proform jak by měla technická dokumentace vypadat?
To by blo na dlouho, prvně máme hodnocení zadnaého zadání, jeho přepis do formální algebraického jazyka, potom dokazovaní shody převody, že převod i zdání je jendoznačné, dále dokazování, že zadání neodporuje fyzikálním zákonům a je v e shodě s teorií, hodnocení úplnosti, hodnocení a dokaování jednoznačné algoritmizovatlenosti zadání, dále pro zvolené vývojové prostředí dokazování, že jde provést převod z fomalního jazyka do programovacího jazyka, opět dokazování jendoznačné převoditelnosti, ověřování, shodné přeložitelnosit a zpětného převodu, bokem hodnocení spolehlivosti vývojového prostředí, analýza zjištěných chyb a chybovosti vývojového prostředí, pak to konečně můžeme přeložit, dokazování funkčnosti a ověřování nepoužití zakázaných konstrukcí a postupů, zdokumentoaní všech vstupů a výstupů, popis věech vnitřních algoritmů, následuje popisy všech testů a vyjadřovaní shody testů a jak velké procento všech možných stavů systémů to popisuje a tak dále.....
Aneb klasické kolečko na pár tisíc stránek textu, než napíši program int main(void){printf("Bla\r\n"); return 0;}, pokud zadavatel vyžaduje vývoj v souladu s normami pro psaní software s vlivem na jadernou bezpečnost... :-)