Архив рубрики: Домашние задания

Четвёртая домашняя работа блока спецификации

Написать спецификации, отражающие данные требования.

Рубрика: Домашние задания | Добавить комментарий

Третья домашняя работа блока спецификации

Написать спецификацию, отражающую следующие требования.

Рубрика: Домашние задания | Добавить комментарий

Вторая домашняя работа блока спецификации

Написать спецификацию, отражающие следующие требования.

Рубрика: Домашние задания | Добавить комментарий

Первая домашняя работа блока спецификации

Написать контракт ACSL для сигнатуры заданной функции, соответствующий данному требованию.

Рубрика: Домашние задания | Добавить комментарий

Четвёртая домашняя работа блока методов Флойда

Срок сдачи этой домашней работы — семинар 17 марта. Доказать полную корректность блок-схемы относительно заданного контракта. Доменом всех переменных является множество целых чисел.

Рубрика: Домашние задания | Добавить комментарий

Третья домашняя работа блока методов Флойда

Доказать, что заданная блок-схема успешно завершается при заданном предусловии при помощи метода фундированных множеств Флойда. Доменом всех переменных является множество целых чисел.

Рубрика: Домашние задания | Добавить комментарий

Вторая домашняя работа блока методов Флойда

Стоит доделать задание, которое разбиралось на семинаре. Основное задание: доказать методом индуктивных утверждений Флойда частичную корректность следующей блок-схемы относительно заданной спецификации.

Рубрика: Домашние задания | Добавить комментарий

Первая домашняя работа блока методов Флойда

Доменом всех используемых в блок-схемах переменных является множество целых чисел. В блок-схемах разрешается использовать только сложение, вычитание, умножение, целочисленное деление, взятие остатка от деления и все виды арифметических сравнений (равно, не равно, больше, меньше и т.п.).

Рубрика: Домашние задания | Добавить комментарий