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