 |
| |||
| выполняемые спецификации (ssn) | |||
| |||
| выполняемая спецификация (составленная по типу программы с использованием языка спецификаций) | |||
| исполняемая спецификация (фиксирует требования и ожидания, нарушение которых в коде можно обнаружить ssn) | |||
|
executable specifications : 2 a las frases, 1 temas |
| Programación | 2 |