0 Stavka
Moj nalog
Telefon: (011) 7541-421, 3409-301, 3409-335, 6547-293, 3409-310
E-mail: Prodaja standarda: prodaja@iss.rs Seminari, obuke: iss-edukacija@iss.rs Informacije o standardima: infocentar@iss.rs
Stevana Brakusa 2, 11030 Beograd
Glavni meni

formalna specifikacija

engleski

Termin
formal specification
Opis

A specification that is used to prove mathematically the validity of an implementation or to derive mathematically the implementation.

srpski

Termin
formalna specifikacija
Opis

Specifikacija koja se koristi da se matematički dokaže opravdanost implementacije ili da se matematički izvede implementacija sistema.

srpski

Termin
formalna specifikacija
Opis

Specifikacija koja se koristi da se matematički dokaže opravdanost implementacije ili da se matematički izvede implementacija sistema.

Povezani standardi

Povezani ICS-ovi

Nema informacija