DELPHI 7

vk.com/club152685050 | vk.com/id446425943

Эволюция разработки программного обеспечения

50-е годы. Вычислительные

задачи.

Процедурные языки программирования:

-Алгол;

-Фортран;

-Кобол;

-PL/1 и др.

vk.com/club152685050 | vk.com/id446425943

Эволюция разработки программного обеспечения

50-е годы. Задачи

искусственного интеллекта и обработки текста.

Функциональные языки программирования:

- Лисп и др.

vk.com/club152685050 | vk.com/id446425943

Эволюция разработки программного обеспечения

60-е годы. Проблемы

разработки программ.

Исследования в области:

-тестирования программ;

-организации процесса разработки ПО;

-др.

vk.com/club152685050 | vk.com/id446425943

Эволюция разработки программного обеспечения

Середина 70-х годов.

Заложены основы организации тестирования программ:

-модульное тестирования;

-внешнее тестирование;

-нисходящее и восходящее тестирование;

-принципы проектирования и разработки надежных программных систем и др.

vk.com/club152685050 | vk.com/id446425943

Эволюция разработки программного обеспечения

70-е и 80-е годы. Развитие теории доказательства правильности программ.

Имея формальное описание семантики

всех конструкций языка, можно на основе анализа текста программы строго математически вывести заключение о ее

правильности или неправильности.

vk.com/club152685050 | vk.com/id446425943

Эволюция разработки программного обеспечения

70-е и 80-е годы.

Методы описания семантик:

-W-грамматика;

-аксиоматический метод;

-денотационный метод;

-Венский метод и др.

vk.com/club152685050 | vk.com/id446425943

Языки программирования

Цифровой код

Мнемокод

Ассемблеры

Алгоритмические языки

Процедурно-ориентированные

Объектно-ориентированные

vk.com/club152685050 | vk.com/id446425943

Язык программирования Паскаль

Компактность и удобство первоначального описания

Фундаментальность и отражение наиболее важных концепций

Четкая реализация идеи структурного программирования

vk.com/club152685050 | vk.com/id446425943

Язык программирования Паскаль

Значительная роль в развитии методов аналитического доказательства правильности программ

Высокая планка надежности разрабатываемых программ

Использование простых и гибких структур управления: ветвления, циклы и т.д.

vk.com/club152685050 | vk.com/id446425943

Характеристики языка

Алфавит

Синтаксис

Семантика