Специализированная система гиперпрограммирования для языка ПЛ/1 тема диссертации и автореферата по ВАК РФ 05.13.11, кандидат физико-математических наук Табаков, Владимир Михайлович

• Табаков, Владимир Михайлович
• кандидат физико-математических наук
• 1984

Оглавление диссертации кандидат физико-математических наук Табаков, Владимир Михайлович

ВВЕДЕНИЕ.

ГЛАВА I. ОБОСНОВАНИЕ ПОДХОДА К ПОСТРОЕНИЮ

СИСТЕШ КОНСТРУИРОВАНИЯ. Ю

1.1. Определение требований, приншемых в качестве критериев ценности фдств системы конструирования. . Ю

1.2. Анализ метода пошагового уточвния и структурного программирована.

1.3. Определение концепции построеия системы конструирования.

1.3.1. Выбор теоретической модпи системы поддержки метода шагового уточнения.

1.3.2. Определение принципов оздания системы конструировании.

1.4. Сравнительный анализ существукцих систем поддержки метода пошагшого уточнения

ГЛАВА 2. ТЕХНОЛОГИЧЕСКОЕ РАСШИРЕНИЕ ЯЗЫКА Ш/1.

2.1. Язык конструирования программы методом пошагового уточнения

2.1.1. Структура реализации понятия.

2.1.2. Синтаксис и семантика инструкции

2.2. Язык аннотирования реализаций понятий.

2.2.1. Требования к языку аннотирования.

2.2.2. Типы конструкций языка аннотирования

2.2.3. Синтаксис языка аннотирования

2.3. Инструментальное средство поддержки

2.3.1. Входная информация

2.3.2. Правила получения терминального модуля.

2.3.3. Выходная информация

ГЛАВА. 3. ВАРИАНТ РЕАЛИЗАЦИИ СИСТЕМЫ КОНСТРУИРОВАНИЯ.

3.1. Функциональные возможности СМО "Расширенный ШГ

3.2. Практическое применение СМО "Расширенный

Введение диссертации (часть автореферата) на тему «Специализированная система гиперпрограммирования для языка ПЛ/1»

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

Практически все системы программного обеспечения (ПО), находящиеся в регулярной эксплуатации, требуют непрерывного сопровождения: возникают новые потребности - в связи с этим ПО необходимо усовершенствовать, изменяются условия работы системы-ПО нужно адаптировать к ним, обнаруживаются ошибки в ПО-требуется его корректировка . Опыт сопровождения ПО АСУ в НПО "Центрпрограммсистем" £82^ показывает, что особенно сложны и трудоемки работы по:

- корректировке пакета прикладных программ (ППП) в случае обнаружения ошибок;

- привязке ППП к условиям пользователя;

- включению дополнительных компонентов в ППП в случае отсутствия у них необходимых пользователям функций;

- комплексированию всей необходимой пользователю системы программного обеспечения из компонентов ЦФАП АСУ;

- модификации и развитию программных средств ЦФАП АСУ.

Затраты на сопровождение растут и в настоящее время составляют около 50% от общих затрат на всем цикле жизни ПО . Одним из условий действенной разработки ПО в соответствии с постоянно возрастающими потребностями является решение проблемы повышения эффективности сопровождения.

Важной проблемой в производстве программного обеспечения является крайне медленный рост производительности труда программистов. По данным, приведенным в в США с 1958 по

1978 г.г. годовой объем производства программ возрос в 17 раз, а производительность труда - лишь в Z раза. Недостаточно высокая производительность труда при увеличении номенклатуры разрабатываемых программ и расширении их разнообразия из-за внедрения вычислительной техники в новые сферы человеческой деятельности привели к резкому увеличению численности программистов во многих странах мира» Однако проблема дефицита специалистов в области ПО остается. Ввиду того, что потребности в программистах растут быстрее возможностей их подготовки, проблема дефицита не может быть решена только за счет расширения подготовки программистских кадров. Необходимо искать действенные источники повышения производительности труда.

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

Низкая надежность систем программного обеспечения-еще одна проблема в производстве программного обеспечения, заслуживающая особого внимания. Эксплуатация ненадежных программных средств ведет к большим затратам, довольно часто пользователи отказываются от их дальнейшего применения. Опыт сопровождения ПО АСУ в НПО "Дентрпрограммсистем" показывает, что из-за низкой надежности ежегодно из фонда преждевременно исключаются 11-15 программных средств. Возникла необходимость в методах и средствах, повышающих надежность программного обеспечения. *

Все это привело к появлению новой дисциплины, получившей название "технология программирования" и призванной сократить стоимость и время разработки ПО, гарантировать его надежность, , упростить сопровождение £31].Как отмечено в [бб] , совершенствование технологии программирования является важнейшей народнохозяйственной задачей. Наблюдается резкое расширение работ по технологии программирования и привлечение к ним больших трудовых ресурсов. В целевой комплексной программе работ ГКНТ на 1981- 1985 г.г. по решению научно-технической проблемы 0.80.21 выделен целый раздел (05), предусматривающий развитие средств и методов технологии программирования. Важным направлением в технологии программирования является разработка инструментальных средств, поддерживающих тот или иной метод разработки. В отмечалось что необходимо обеспечить опережающее развитие средств производства, в качестве которых выступают программно-технические и организационные средства, повышающие производительность труда программистов и качество программ.

Одним из значительных методов разработки ПО является метод пошагового уточнения (МПУ), предложенный Н.Виртом [118, 120] . В основе МПУ лежит пошаговое раскрытие деталей разрабатываемой программы от исходной постановки задачи, сформулированной на самом высоком уровне абстракции, к объектам, выражаемым в терминах используемого языка программирования. Уровень абстракции постепенно понижается до тех пор, пока не совпадет с уровнем используемого языка программирования, после чего разработка программы заканчивается. Процесс разработки программы сводится к пошагово> му введению и реализации понятий.

Современные языки программирования имеют довольно слабые возможности для разработки программ МПУ, Существующие инстумен-тальные средства не предоставляют адекватных средств поддержки МПУ. На практике в качестве средства, поддерживающего МПУ, используют лишь полуформальную нотацию, называемую псевдокодом или языком проектирования программ 46, 5б]] . Следовательно, создание программной поддержки МПУ, доступной широкому кругу пользователей, является важной и актуальной задачей.

Целью данной работы являются теоретическое исследование, разработка и практическое применение системы, включающей языковую и программную поддержку метода пошагового уточнения, и обеспечивающей возможность повышения производительности труда программистов, качества программ, сокращения стоимости разработки ПО,

В соответствии с намеченной целью исследования были поставлены и решены следующие задачи:

- исследовать технологические проблемы применения МПУ;

- осуществить выбор и обоснование подхода к построению системы поддержки МПУ;

- провести сравнительный анализ существующих систем поддержки МПУ;.

- разработать на основе выбранного подхода языковое средство для поддержки программирования МПУ;

- разработать процессор для этого языкового средства;

- реализовать и апробировать систему поддержки МПУ,

Отличительная особенность данной диссертационной работы в построении системы поддержки МПУ определяется следующими аспектами :

- в системе в концептуально единообразной форме воплощены различные механизмы реализации понятий; механизм, принятый в гиперпрограммировании ¡^44] , механизм макросов и процедурный механизм;

- исследована структура спецификаций понятий, вводимых в процессе программирования МПУ, обоснована необходимость аннотирования реализаций понятий, определен язык аннотирования;

- предложен метод эффективной реализации памяти системы, где хранятся реализации понятий.

Практический результат проведенных исследований заключается в реализации системы поддержки МПУ, Реализованная система сдана в ЦФАЛ АСУ [^Зо] (в каталоге ЦФАП АСУ она фигурирует под названием СМО "Расширенный ПЛ"). СМО внедрена на ряде объектов. В настоящее время ШО "Расширенный ПЯП включена в число экспортируемых программ из Ц§АП АСУ.

Принципы построения и проектные решения системы поддержки ВШУ могут быть применены при разработке других систем поддержки МПУ, использующих отличные от ПЛ/1 ЕС ЭВМ базовые языки программирования.

Диссертационная работа состоит из трех глав, введения, заключения и списка литературы.

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

Система конструирования построена во второй главе. Определены синтаксис и семантика входного языка системы конструирования. Построена функциональная схема системы. Определены параметры, с помощью которых пользователь может управлять работой системы. Разработаны организация памяти системы и структура листинга, выдаваемого системой. Определены правила сборки исходных реализаций понятий.

В третьей главе описывается реализованный вариант системы конструирования. Рассматриваются функциональные возможности СМО "Расширенный ПЛ", описывается опыт промышленной эксплуатации (МО "Расширенный ПЛ".

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

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

Заключение диссертации по теме «Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей», Табаков, Владимир Михайлович

107 ЗАКЛЮЧЕНИЕ

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

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

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

- представление спецификации понятия, вводимого в процессе разработки МПУ, в виде пары (название понятия, постусловие или аннотация реализации понятия);

- эффективная реализация памяти системы, где хранятся реализации понятий.

Построена система конструирования программ методом пошагового уточнения.

Языковая часть системы конструирования включает два типа языков: язык конструирования программ методом пошагового уточнения и язык аннотирования реализаций понятий. Определены синтаксис и семантика этих языков.

Особенностью программной части системы конструирования является то,' что в качестве подпрограммы используется компилятор с языка ПЛ/1. Построена схема функционирования программной части. Разработан метод эффективной реализации памяти системы. Определены параметры, с помощью которых пользователь может управлять режимами функционирования программной части системы конструирования. Даны правила получения терминального модуля, передаваемого в качестве входной информации компилятору с языка ПЛ/1. Разработана структура листинга, выдаваемого программной частью, позволяющая достаточно эффективно осуществлять отладку и сопровождение программ.

Реализован вариант системы конструирования, имеющий несколько небольших ограничений по сравнению с построенной системой конструирования. Реализованный вариант сдан в ЦФАП АСУ (в каталоге ЦФАП АСУ он фигурирует под названием СМО "Расширенный ПЛ"). СМО "Расширенный ПЛ" внедрена на ряде объектов, в частности, использована при разработке программных систем, выполненных в соответствии с тематическим планом НПО "Центрпрограммсистем".

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

Научная новизна данного исследования заключается в построении системы конструирования на основе указанных выше принципов.

Практическая ценность проведенного научного исследования состоит в следующем:

- принципы и проектные решения, заложенные в систему конструирования, могут быть применены при разработке систем поддержки МПУ, основанных на отличных от ПЛ/I ЕС ЭВМ базовых языках программирования!

- как показывает достаточно большой опыт применения СМО "Расширенный ПЛ", она обеспечивает возможность повышения производительности труда программистов и качества ПО, сокращения стоимости разработки ПО.

Дальнейшие разработки и исследования могут идти по следующим направлениям:

- реализация системы конструирования в полном объеме, имея ввиду как пакетный, так и диалоговый режимы эксплуатации;

- исследование вопроса применения идей гиперпрограммирования при проектировании модульной структуры программной системы;

- развитие языка аннотирования до языка функциональных спецификаций модулей, выделяемых в процессе проектирования модульной структуры. но,

Список литературы диссертационного исследования кандидат физико-математических наук Табаков, Владимир Михайлович, 1984 год

1. Агафонов В.Н. О принципах практического универсального языка спецификаций. - В кн: Синтез, тестирование, верификация и отладка программ. Тезисы докладов Всесоюзной научной конференции. Рига, ЛГУ им. П.Стучки, 1981, с. 4-5.

2. Андерсон Р. Доказательство правильности программ. М.:Мир, 1982. - 168 с.

3. Арефьева H.A., Пушкина И.П., Родионов С.Т. HIPO-технология--метод разработки и сквозного документирования программ по принципу "сверху вниз". УСиМ, № 3, 1978, с. 35-39.

4. Ахо А., Хопкрофт Дж., Ульман Дж. Построение и анализ вычислительных алгоритмов. М.: Мир, 1979. - 536 с.

5. Баррон Д. Введение в языки программирования. М.: Мир, 1980. - 192 с.

6. Билкун С.Н., Маслюк Г.Ф. 0 структурном программировании. -Программирование, № 5, 1976, с.21-27.

7. Биллиг В.А. Проектирование правильных программ. В кн.: Синтез, тестирование, верификация и отладка программ. Тезисы докладов Всесоюзной научной конференции, Рига, ЛГУ им. П.Стучки, 1981, с. 40.

8. Боэм Б., Браун Дне., Каспар X. и др. Характеристики качества программного обеспечения. М.: Мир, 1981. -208 с.

9. Брукс Ф.П. Как проектируются и создаются программные комплексы. М.: Наука, 1979. - 152 с.

10. В.П. Быкова и др. Кобол ЕС ЭВМ. М.: Статистика, 1978.-280с.

11. Ван Тассел Д. Стиль, разработка, эффективность, отладка и испытание программ. М.: Мир, 1981. - 320 с.

12. Вельбицкий И.В. Безбумажная технология программирования в диалоговой среде. УСиМ, № 6, 1982, с. 29-37.

13. Вельбицкий И.В. Р-технология и структурное программирование.- В кн.: Р-технология. Средства автоматизации. Тезисы докладов I Всесоюзной конференции. Киев, ИК АН УССР, 1983, с.3-8.

14. Вирт Н. Систематическое программирование. Введение. -М.:Мир, 1977. 184 с.

15. Вычислительная техника и обработка данных. Терминологический толковый словарь фирмы 1ВМ. М.: Статистика, 1978. -231с.

16. Гласс Р. Руководство по надежному программированию. -М.: Финансы и статистика, 1982. 256 с.

17. Гласс Р., Нуазо Р. Сопровождение программного обеспечения.- М.: Мир, 1983-, 156 с.

18. Глушков В.М. Фундаментальные исследования и технология программирования.- Программирование, № 2, 1980, с.3-13.

19. Глушков В.М. Цейтлин Г.Е., Юценко Е.Л. Многоуровневое структурное проектирование программ: формализация метода-сфера приложений. Кибернетика, № 4, 1981, с.42-65.

20. Григас Г.К. Кластероподобный стиль программирования на языке ПЛ/1. Алгоритмы и организация решения экономических задач, Вып. 14, М.: Статистика, 1979, с.96-102.

21. Грицай В.П., Цейтлин Г.Е. Некоторые вопросы автоматизации структурного параллельного программирования.-Кибернетика, I- I, 1979, с. 106-111.

22. Грицай В.П., Тальянская О.И. Терзян Т.К. О разработке структурированных программ в системе МУЛЬТИПРОЦЕССИСТ. В кн.: Прикладное программирование. Киев, ИК АН УСССР, 1982,с.50-56.

23. Грицай В.П. О реализации инструментария структурного программирования МУЛЬТШРОЦЕССИСТ.-Кибернетика, № 3, 1983,с.118-123.

24. Гришман Р. Критерии для языка отладки.-В кн.: Средства отладки больших систем. М.: Статистика, 1977, с.57-72.

25. Дал. У.-, Дейкстра Э., Хоор К. Структурное программирование.- М.: Мир, 1975. 248 с.

26. Дейкстра Э. Дисциплина программирования. М.: Мир, 1978. - 275 с.

27. Дзержинский Ф.Я., Тер-Сааков А.П. Технология программирования-структурный подход. Учебно-методическое пособие. М.: ЦНИИатоминформ, 1978, 88 с.

28. Дзержинский Ф.Я. Язык для проектирования структуризованных программ. Алгоритмы и организация решения экономических задач, Вып. 14, М.: Статистика, 1980, с.83-95.

29. Диалоговая система коллективного доступа гамиз 2.з. Техническая документация, М., МИФИ, 1983.

30. Ершов А.П. Введение в теоретическое программирование (беседы о методе). М.: Наука, 1977. - 288 с.

31. Ершов А.П. Некоторые субъективные замечания к актуальным-проблемам программирования. В кн.: Перспективы системного и теоретического программирования. Труды Всесоюзного симпозиума. Новосибирск, 1979, с. II3-I27.

32. ЕС ЭВМ. ПЛ/1: Описание языка, Ц51.804.002.Д53.

33. Жоголев Е.А. 0 синтаксически управляемом конструированиитекстов. В кн.: Перспективы развития в системном и теоретическом программировании. Труды Всесоюзного симпозиума. Новосибирск, 1978, с. 154-158.

34. Жоголев Е.А. Система синтаксически управляемого конструи- . рования программ.- В кн.: Вопросы системного программирования. М.: Изд-во МГУ, 1978, с.26-47.

35. Жоголев Е.А. Синтаксически управляемое конструирование программ.-Программирование, № 6, 1979, с.20-25.

36. Жоголев Е.А., Пилипец Е.А. Программирование в метасинтаксических обозначениях. УСим, № I, 1980, с. 61-65.

37. Жоголев Е.А. Технологические основы модульного программирования. Программирование, № 2, 1980-, с. 44-49.

38. Жоголев Е.А. Система синтаксически управляемого конструирования СИНУК. Вычислительные методы и программирование. Вып. 33. - М.: Изд-во Моск. ун-та, 1980, с.28-46.

39. Жоголев Е.А. Гиперпрограммирование и базы прикладных программ. Программирование, № 6,1982, с. 24-31.

40. Жоголев Е.А. Многоязычная система модульного программирования. Дисс. доктора физ-мат.наук в форме научного доклада, МГУ. - М.: 1982. - 30 с.

41. Зелковиц М., Шоу А., Гэннон Дж. Принципы разработки программного обеспечения. М.: Мир, 1982. - 368с.

42. Йодан Э. Структурное проектирование и конструирование программ. М.: Мир, 1979. - 416 с.

43. Кальниш Г.И., Корсакова О.И. Соколов С.Н., Третьяков В.В. СП0 ПРОЗА: концепции и возможности. Прикладная информатика, Вып. I- М*.: Финансы и статистика, 1983, с. 126-135.

44. Кнут Д. Исскуство программирования для ЭВМ. т.1 М.: Мир, 1976. - 735 с.

45. Крюков В.А., Молчанова Г.Ю. Полипова Г.А., Шура-Бура М.Р.

46. К проблеме автоматизации программирования.-Ордена Ленина институт прикладной математики имени Келдыша. Академия наукV

47. СССР. Предпринт № 86 за 1982 г. М.,-29 с.

48. Куприянов В.П. и др. Технологическая система ТКП-З. Приборы и системы управления. F> 4, 1983, с. 21-23.

49. Лебедев В.Н., Соколов А.П. Введение в систему программирования ОС ЕС. М.: Статистика, 1978. - 144 с.

50. Лингер' Р., Миллс X., Уитт Б. Теория и практика структурного программирования. М.: Мир, 1982. - 406 с.

51. Липаев В.В. Надежность программного обеспечения АСУ.-М.: Энергоиздат, 1981. 240 с.

52. Лисков Б., Зиллес С. Методы спецификации, используемые для абстракции данных. В кн.: Данные в языках.программирования. Абстракция и типология. - М.: Мир, 1982 с. 91-122.

53. Майерс Г. Надежность программного обеспечения. -М.: Мир, 1980. 360 с.

54. Массарский Л.В., Щуб Л.Л. Моделирующий стенд-многоцелевая проблемно-ориентированная система имитации. -Электронная техника, сер. Экономика и системы управления. Вып. I (38),1981, с. 30-35.

55. Мейер Б., Бодуэн К. Методы программирования: В 2-х томах. T.I. М.: Мир, 1982- - 356 с.

56. Мейер Б., Бодуэн К. Методы программирования: В 2-х томах. Т.2. М.: Мир, 1982. - 368 с.

57. Мертенс Л. Текст и структура программ. В кн.: Создание качественного программного обеспечения. Труды рабочей конференции Международной федерации по обработке информации, т.2, Новосибирск, 1978, с.7-20.

58. Месарович М., Мако Д., Такахара И. Теория иерархических многоуровневых систем. М.: Мир, 1973. - 344 с.

59. Миллс X. Программирование больших систем по принципу сверху вниз. В кн.i Средства отладки больших систем. - М.: Статистика, 1977, с.41-56.

60. Мясников В.А. Совершенствование технологии программирования--важнейшая народно-хозяйственная задача. УСиМ, № I, i960, с. 6-8.

61. Новикова Н.В. Система проектирования программ. В сб. "Методы исследования сложных систем". Труды конференции аспирантов и молодых специалистов, ВНИИ системных исследований, М., 1981, с.11-13.

62. О научно-технической комиссии по языкам и системам программирования ЭВМ. УСиМ, № 6, 1982, с III-II2.

63. Пейган Ф. Практическое руководство по Алголу 68. М.: Мир, 1979. - 240 с.

64. Пилипец Е.А. Первый этап реализации синтаксически управляемого конструктора текстов. В кн.: Вопросы системного программирования. М.: Изд-во МГУ, 1979, с.44-54.

65. Кузьменкова (Пилипец) Е.А# Программирование в метасинтакси-ческих обозначениях. Дисс.канд. физ^лат.наук, МГУ»- М.: 1982, 122 с.

66. Руководство по освоению и использованию ППП иСПЕКТР"» Методический материал« НПО "Центрпрограммсистем*. Калинин, 1983* 64 с.

67. Система разделения времени ЕС ЭВМ: Справочное пособие /В.Ф.Бо-рисевич, П«Б. Варапай, Э.В»Ковалевич и др. -М,: Финансы и статистика, 1982-239 с*

68. Табаков В.М. Средство автоматизации программирования методом пошаговых уточнений. -В кн.: Лингвистическое обеспечение программных средств АСУ и ИПС. Пермь: НИИУМС, 1982, с.92-98.

69. Табаков В.М. Спецификация понятий при программировании методом пошаговых уточнений. В кн.: Методы и средства разработки программного обеспечения. ч.1* Тезисы докладов Всесоюзной научно-технической конференции, Калинин ,1983, с, 71-72.

70. Табаков В.М. Система программирования для поддержки метода пошаговых уточнений. Программирование, № 4, 1984,С. 18-22,

71. Табаков В.М., Эльферт Л.П. СМО "Расширенный ПЛ".-Алгоритмы и программы. Информационный бюллетень ГосФАП, М.:ВНТИЦ, № 2 (53), 1983, с.6-7.

72. Тараненко A.A. и др. Организация процесса проектирования в безбумажной Р-технологии программирования. -УСиМ, № б, 1982, с. 38-43.

73. Тихомиров В.П. Перспективы и концепции создания специального программного обеспечения управления. Прикладная информатика. Вып. I. М.: Финансы и статистика, 1983, с. 26-35.

74. Турский В. Методология программирования. М.: Мир, 1981. 264 с.

75. Фридман Ф., Коффман Э. Решение задач и структурное программирование на ФОРТРАНЕ. М.: Машиностроение, 1983,-485 с.

76. Фуксман А.Л. Технологические аспекты создания программных систем. М.: Статистика, 1979. --184 с.

77. Хендерсон П. Функциональное программирование. Применение и реализация. М.: Мир, 1983. - 349 с.

78. Хусаинов B.C. Макросредства в языке Ассемблера ЕС ЭВМ. М.: Статистика, 1978. - 94 с.

79. Хьюз Дж., Мичтом Дж. Структурный подход к программированию.- М.: Мир, 1980. 280 с.

80. Цейтин Г.С. Нематематическое мышление ь программировании.- В кн.: Перспективы системного и теоретического программирования. Труды Всесоюзного симпозиума, Новосибирск, 1979,с. 128-132.

81. Язык программирования Ада (предварительное описание). М.: Финансы и статистика, 1981. - 190 с.

82. Burstall R.M., Darlington J. A transformation system for developing recursive programs. J. АСЫ, V.24,№1,1977,pp.44-67.

83. Caine S.H., Gordon E.K. PDL-a tool for software design.--"AFIPS Conf. Proc. V.44" Montvale, IT.J., 1975,pp.271-276.

84. Cheatham Т.Е., Holloway G.H.,Townley J.A. Program refinement by transformation. Proc.5th Int. Conf. on Software Engineering, 1981,pp.430-437.

85. Cheatham Т.Е., Townley J.A., Holloway G.H. A system for program refinement. Proc. 4th Int. Conf. on software engineering, 1979,pp.53-63.

86. De Remer F., Kron H. Programming-in-the-large "Versus Programming-in-the-small. IEEE Trans. Soft. Eng. V.SE-2, №2, 1976,pp.80-86.

87. Dijkstra E. GO TO Statement Considered Harmful. СACM, Y. 11, №3,1968, pp.147-148.

88. Feiler P.H., Medina-Mora R. An incremental programming environment. Proc. 5th Int. Conf. on Software Engineering, 1981,pp.44-53.

89. Ferstal O.K., Sinz E.J. Designing Structured Cobol Programs. "Software-pract. and exper.", V.12, №7,1982,pp.641-654.

90. Gehani N. Program Development by Stepwise Refinement and Related Topics. "Bell Syst. Techn. J.", v'.60, №7, 1981, pp.347-378.

91. Howden W.E. Contemporary Software Development Environments. -CACM, V.25, №5, 1982, pp.318-329.

92. Jones M.N. HIPO for Developing Specifications. Datamation, V.22, №3, 1976, pp.112,114,121.

93. Krieg-Briickner B., Luckham D.L. AfflA: Towards a Language for Annotating Ada Programs. "SIGPLAN Notic.", V.15» №11, 1980, pp.128-138.

94. Leighton R. Scott, Johns Hopkins. An Engineering Methodology for presenting Software functional architecture. Proceeding of the 3rd Int. Conf. on Software Engineering,Atlanta,1978, pp. 222-229.

95. Lewis J.W. Beyond ALBE/P: Language Neutral Form. Proc. 5th INT. Conf. on Software Engineering, 1981, pp.422-429.

96. Liskov B.H. A design methodology for reliable software systems. in 1972 Pall Joint Computer Conf., APIPS Conf. Proc., 1972, pp. 191-199.

97. Mills H.D. How to write correct program and know it. Sig-plan Notes, V.10, N°6, 1975, pp. 363-370.

98. Myers E.W., Osterweil l.J. BIGMAC II: A FORTRAN language augmentation tool. Proc. 5th Int. Conf. on Software Engineering, 1981, pp. 410-421.

99. Nassi P., Shneiderman B. Plow Chart Techniques for Structured Programming. Sigplan Notices, V.8, Dec., 1973.

100. Parnas D.L. On the Criteria to be Used in Decomposing Systerns into Modules. CACM, №12, 1972, pp. 1053-1058.

101. Parnas D.L. On the Design and Development of Program Families. Program Methodol. Collect. Artie. Memt>. IFIP,

102. WG 2.3, New York e.a., 1978, ppV"34-3-361.

103. Pomberger G. Ein Werkzug zur interaktiven Programmentwicklung und-dokumentation. Elektron. Rechenanlag., V.24, №5, 1982, pp. 218-224.

104. Shinozawa S., Ikeda H., Nakashima A., Watanabe M. Pseudo-languages and their pre-processors. Inform. Process. 77. Proc. IFIP Congr. Toronto, 1977, pp. 583-587.

105. Tsurutani Т., Shigo 0., Maejima T. SPOT: A Structured System Development System. Nee. Res. and Develop., 40, 1976,pp. 63-71.

106. Watanabe Т., Yamamoto F. EXTRAN a top-down programming system. - Proc. IFIP Congress 74, North-Holland, 1974, pp. 213-217.

107. Weinberg G.M., Wright S.E., Kauffman R., Goetz M.A. High Level COBOL Programming. Winthrep Publishers Institut Cambridge. Massachusetts, 1977.

108. Wirth N. Program Development by Step-Wise Refinement.- CACM, V. 14, №4, 1971, pp.221-227.

109. Wirth N. On the design of programming language. Information Processing 74 (IFIP Congress), part 2, pp. 386-392.

110. Wirth N. On the composition of well-structured programs. -- Computing Serveys, V.6, №4, 1974, pp. 247-259.

111. Witt Jan. The COLUMBUS approach. "IEEE Trans. Software Eng.", V.1, №4, 1975, pp. 358-363.

112. Wulf W.A., Russell D.B., Habermann A.N. BLISS: A Language for Systems Programming.-CACM, V.14? №12, 1971, pp.780-790.