Помощь в написании студенческих работ
Антистрессовый сервис

Специализированная система гиперпрограммирования для языка ПЛ/1

Диссертация: Специализированная система гиперпрограммирования для языка ПЛ/1
ДиссертацияПомощь в написанииУзнать стоимостьмоей работы

Г. г. годовой объем производства программ возрос в 17 раз, а производительность труда — лишь в Z раза. Недостаточно высокая производительность труда при увеличении номенклатуры разрабатываемых программ и расширении их разнообразия из-за внедрения вычислительной техники в новые сферы человеческой деятельности привели к резкому увеличению численности программистов во многих странах мира" Однако… Читать ещё >

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

Содержание

  • ГЛАВА I. ОБОСНОВАНИЕ ПОДХОДА К ПОСТРОЕНИЮ СИСТЕШ КОНСТРУИРОВАНИЯ. Ю
    • 1. 1. Определение требований, приншемых в качестве критериев ценности фдств системы конструирования.. Ю
    • 1. 2. Анализ метода пошагового уточвния и структурного программирована
    • 1. 3. Определение концепции построеия системы конструирования
      • 1. 3. 1. Выбор теоретической модпи системы поддержки метода шагового уточнения
      • 1. 3. 2. Определение принципов оздания системы конструировании
    • 1. 4. Сравнительный анализ существукцих систем поддержки метода пошагшого уточнения
  • ГЛАВА 2. ТЕХНОЛОГИЧЕСКОЕ РАСШИРЕНИЕ ЯЗЫКА Ш/
    • 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. Практическое применение СМО «Расширенный

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

Практически все системы программного обеспечения (ПО), находящиеся в регулярной эксплуатации, требуют непрерывного сопровождения: возникают новые потребности — в связи с этим ПО необходимо усовершенствовать, изменяются условия работы системы-ПО нужно адаптировать к ним, обнаруживаются ошибки в ПО-требуется его корректировка. Опыт сопровождения ПО АСУ в НПО «Центрпрограммсистем» ?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 ЕС ЭВМ базовых языках программирования!

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

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

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

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

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

Показать весь текст

Список литературы

  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.
Заполнить форму текущей работой

Сессия? Спокойно!