 |
| |||
| выполняемые спецификации (ssn) | |||
| |||
| выполняемая спецификация (составленная по типу программы с использованием языка спецификаций) | |||
| исполняемая спецификация (фиксирует требования и ожидания, нарушение которых в коде можно обнаружить ssn) | |||
|
executable specifications : 2 短语, 1 学科 |
| 编程 | 2 |