выполняемая спецификация (составленная по типу программ с использованием языка спецификаций)
EXECUTABLE SPECIFICATION
Англо-русский перевод EXECUTABLE SPECIFICATION
English-Russian dictionary of computers . Англо-Русский словарь по компьютерам. 2012