Добавил:
Upload
Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз:
Предмет:
Файл:Архив WinRAR / лекции / Programmirovanie_3.ppt
X
- •Языки и системы программирования
- •Постановка задачи
- •Этап 1. Постановка задачи
- •Вопросы на которые необходимо ответить
- •Вопросы на которые необходимо ответить
- •Этап 2. Проектирование
- •необходимо ответить на
- •Спецификация модуля
- •Спецификация модуля
- •Спецификация модуля
- •Пример
- •Sort(A,N)
- •Sort(A,N)
- •Пересмотренная
- •В предусловии описываются входные аргументы функции, указываются все глобальные именованные константы, использующиеся в
- •Этап 3. Верификация
- •Этап 3. Верификация
- •Этап 3. Верификация
- •использование инварианта цикла для
- •Инвариант данного цикла:
- •Инвариант должен быть истинным изначально
- •Кодирование
Инвариант данного цикла:
//вычисляет сумму элементов //A[0],A[1], … A[n-1] для любого n>0 int j=0, sum=0;
***
while (j<n) { ***
sum+=A[j];
++j;
***
} // конец оператора while
***
Инвариант должен быть истинным изначально
Выполнение цикла должно сохранять инвариант
Из выполнения инварианта должна следовать правильность алгоритма
Цикл должен завершиться
Кодирование
Кодирование – это относительно небольшая часть жизненного цикла программного обеспечения
Кодирование заключается в переводе алгоритма на конкретный язык программирования с последующим исправлением синтаксических ошибок
Было бы неверным считать, кодирование и есть, собственно говоря, программирование.
Соседние файлы в папке лекции