[ITS] IT terministandardi sõnastik

[et]
07.07.29

formaalne spetsifikatsioon

‣ Formaalses notatsioonis kirjutatud spetsifikatsioon, sageli õigsuse tõestamise tarbeks.
EVS-ISO/IEC 2382-7:2002 (kehtiv)

[en]
07.07.29

formal specification

‣ A specification written in a formal notation, often for use in correctness proving.
EVS-ISO/IEC 2382-7:2002 (kehtiv)

Püsilink