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