Телефон: (011) 7541-421, 3409-301, 3409-335, 6547-293, 3409-310
E-mail: Продаја стандарда: prodaja@iss.rs Семинари, обуке: iss-edukacija@iss.rs Информације о стандардима: infocentar@iss.rs
Стевана Бракуса 2, 11030 Београд
Главни мени

formalna specifikacija

енглески

Термин
formal specification
Опис

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

српски

Термин
formalna specifikacija
Опис

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

српски

Термин
formalna specifikacija
Опис

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

Повезани стандарди

Повезани ICS-ови

Нема информација