executable specification

Виконувана специфікація (складена за типом програм з використанням мови специфікацій)