[ITS] IT terministandardi sõnastik


Päring: osas

Leitud 1 artikkel


[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

10 eelnevat eelnev Vaata ja lisa kommentaare järgnev 10 järgnevat Püsilink: 


© Eesti Keele Instituut    a-ü sõnastike koondleht     veebiliides    @ veebihaldur