 |
| |||
| выполняемые спецификации (ssn) | |||
| |||
| выполняемая спецификация (составленная по типу программы с использованием языка спецификаций) | |||
| исполняемая спецификация (фиксирует требования и ожидания, нарушение которых в коде можно обнаружить ssn) | |||
|
executable specifications : 2 צירופים, 1 נושאים |
| תִכנוּת | 2 |