Редактирование: МФСП, 02 семинар (от 08 сентября)
Материал из eSyr's wiki.
Внимание: Вы не представились системе. Ваш IP-адрес будет записан в историю изменений этой страницы.
Правка может быть отменена. Пожалуйста, просмотрите сравнение версий, чтобы убедиться, что это именно те изменения, которые вас интересуют, и нажмите «Записать страницу», чтобы изменения вступили в силу.
Текущая версия | Ваш текст | ||
Строка 1: | Строка 1: | ||
- | Цель этих | + | Цель этих 4--5 занятий будет рассказать оcновы RSL. |
Практическое задание: Необходимо будет по задаче написать явную-неявную спецификацию, тестовое покрытие, тестовый драйвер и реализацию на С++, удовлетворяющую спецификации. | Практическое задание: Необходимо будет по задаче написать явную-неявную спецификацию, тестовое покрытие, тестовый драйвер и реализацию на С++, удовлетворяющую спецификации. | ||
Строка 132: | Строка 132: | ||
</td></tr></table> | </td></tr></table> | ||
- | Для описания альтернатив | + | Для описания альтернатив исп. if-then-else: |
'''if''' expr1 '''then''' expr2 '''else''' expr3 '''end''' | '''if''' expr1 '''then''' expr2 '''else''' expr3 '''end''' | ||
Строка 236: | Строка 236: | ||
* Явно. описание, как вычисляется, или знач. | * Явно. описание, как вычисляется, или знач. | ||
* Неявно. Накладываются условия на значения. | * Неявно. Накладываются условия на значения. | ||
- | * Аксиоматически. Опис., | + | * Аксиоматически. Опис., ... |
Константы: | Константы: |