Page 84 - ЭВМ

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

использования языки Си, Паскаль и Модула-2, которые заменили
языки ПЛ/1, Кобол, Фортран. Расширяется применение языка АДА
как наиболее универсального языка высокого уровня, а также его усе-
ченных вариантов.
Для решения существующих проблем программирования совре-
менная теория языков программирования предлагает расширение ста-
тического и динамического контроля правильности программ, реали-

зацию концепций модульности и АТД, повышение уровня абстрактно-
сти ПО с помощью развития средств параметризации программных
единиц [12].
В соответствии с концепциями программной инженерии реали-
зация языка АДА предполагает разработку не системы программирова-
ния, а комплекса средств поддержки программных проектов – среды

поддержки АДА-программ (Ada Program Support Environment – APSE).
Отличительной чертой APSE является ориентация на коллек-
тивную реализацию больших программных проектов. При этом на
первый план выходит организация совместного использования мате-
риалов разработки, отслеживание истории и прогнозирование разви-
тия проекта, контроль качества результатов работы и выполнения
многочисленных ограничений, без которых немыслима разработка

больших систем. Здесь без уникальных свойств языка АДА не обой-
тись. Конечно, можно и в программе на Ассемблере в комментариях
записать спецификации модуля, но как проверить их соответствие
реальным свойствам программы? Наряду с языком АДА в проектах
APSE используются также специализированные языки. Например,

в одном из проектов дополнительные описания программ строятся
с использованием языка ANNA (аннотированная АДА), основанного
на расширенном исчислении предикатов.

4.2. ЖИЗНЕННЫЙ ЦИКЛ ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ
УПРАВЛЯЮЩЕЙ ЭВМ

Жизненный цикл ПО управляющей ЭВМ является основным
понятием в технологии его создания. В индустрии программного

обеспечения можно и необходимо (для обеспечения возможности
управления) более четкое разграничение фаз жизненного цикла ПО,

82