6. Главная метафора процедурно-ориентированных языков. Стиль программирования.

Главная метафора процедурно-ориентированных языков:

Это соответствие понятий привычным человеку компонентам языка программирования.

Классы ЯП:

- процедурно-ориентированные (действие);

- функциональные (функция);

- объектно-ориентированные (объект);

- логические (логическое выражение);

- графические (графика);

- средоориентированные (экран).

Процедурно-ориентированные языки ближе всего к машинному образу мышления, к таким ЯП относится Pascal

В 70-е годы программирование стало массовым. Брукс «Мифический человекомесяц». Была создана технология разработки структурных программ.

1972г – Дейкстра – Книга о базисе и структурированном программировании.

В Pascal воплощается главная метафора программирования.

Стиль – это метафора, воплощенная в языке программирования:

- рельеф (должен выбираться осознанно, должны быть видны все вложенности и тд и тп, служит для подчеркивания порядка действий)

- выбор меток

- выбор имен переменных (как и метки, должны быть логически обоснованы, нести смысловую нагрузку)

- наличие комментариев (для ускорения работы с исходным текстом кода, часть документации)

7. Внешняя спецификация задачи, ее роль в процессе разработки программы. Состав внешней спецификации, структура документа.

Внешняя спецификация программы - это полное и точное описание задачи.

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

Спецификация имеет следующую структуру:

1. Задача.

2. Входные данные:

состав (имя, смысл, тип, структура); диапазон; точность; объем; форма записи.

3. Выходные данные: состав (имя, смысл, тип, структура) ;диапазон; точность; объем; выходная форма.

4. Метод.

5. Аномалии:

описание аномальных ситуаций; реакция на нее.

6. Функциональные тесты.

Спецификация:

во-первых, служит заданием на разработку программы (из нее разработчик программы должен извлечь все, что ему нужно знать о стоящей перед ним задаче);

во-вторых, является частью соглашения между заказчиком программы и ее разработчиком, описанием задачи, которое приемлемо для заказчика, не обязательно сведущего в программировании;

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

8. Состав языка программирования. Синтаксис и семантика языка. Метаязык для записи синтаксических правил.

Синтаксис – правила построения конструкций языка.

Семантика – правила истолкования синтаксических конструкций языка.

5 уровней языка:

-программа

-предложение

-выражение – правила для вычисления значения (Операнды, соединенные знаком операций):

Целые, вещественные, логические, литерные.

- слова – Константы и переменные

- алфавит – Таблица ASCII – символы языка + ключевые слова

Метаязык - это язык для описания языка, средствами которого описываются и исследуются свойства некоторого другого, предметного (объективного) языка (пример: Backus-Naur form). Язык может являться своим же метаязыком (например, для описания русского языка можно использовать тот же русский язык).

1) Форма Бэкуса-Наура (БНФ) – язык строится с помощью рекурсии;

2) Расширенные БНФ (повторение, циклическое);

3) Синтаксические диаграммы (вложенные в блок-схему РБНФ).