[ITS] IT terministandardi sõnastik

[et]
20.01.04

formaalne spetsifikatsioon

formaalne spetsifitseerimine (synonym)

‣ Spetsifikatsioon, mida kasutatakse teostuse nõuetekohasuse matemaatiliseks tõestamiseks või teostuse matemaatiliseks tuletamiseks.
EVS-ISO/IEC 2382-20:1998 (kehtiv)

[en]
20.01.04

formal specification

‣ A specification that is used to prove mathematically the validity of an implementation or to derive mathematically the implementation.
EVS-ISO/IEC 2382-20:1998 (kehtiv)

Püsilink