Презентация lecture last

Скачать презентацию  lecture last Скачать презентацию lecture last

lecture_last.ppt

  • Размер: 143 Кб
  • Количество слайдов: 5

Описание презентации Презентация lecture last по слайдам

  Общее понятие верификации и валидации  Примеры спецификации программ 15. 12. 1 0 Общее понятие верификации и валидации Примеры спецификации программ 15. 12. 1 0 Лекция 11 Предикатное программирование

  Построить спецификации 1. В списке вставить элемент x после элемента y 2. Инвертировать список Построить спецификации 1. В списке вставить элемент x после элемента y 2. Инвертировать список 3. Удалить элемент из списка

  1.  В списке вставить элемент x после элемента y type T; type S 1. В списке вставить элемент x после элемента y type T; type S = list(T); ins(S s, T x, y : ? ? ) pre ? ? ? ? ? post ? ? ? ? ? ;

  1.  В списке вставить элемент x после элемента y type T; type S 1. В списке вставить элемент x после элемента y type T; type S = list(T); ins(S s, T x, y : S s 1) post Ins(S s, T x, y, S s 1) ; formula Ins(S s, T x, y, S s 1) = s=nil ? s 1 = s : s. car=y ? exists S s 2. Ins(s. cdr, x, y, s 2) & s 1= y + x + s 2 : exists S s 2. Ins(s. cdr, x, y, s 2) & s 1=s. car + s 2;




  • Мы удаляем страницу по первому запросу с достаточным набором данных, указывающих на ваше авторство. Мы также можем оставить страницу, явно указав ваше авторство (страницы полезны всем пользователям рунета и не несут цели нарушения авторских прав). Если такой вариант возможен, пожалуйста, укажите об этом.