Совершенствование методов проектирования прикладного программного обеспечения АСУ с использованием средств СУБД
Диссертация
Научная новизна диссертационного исследования заключается в том, что впервые разработаны основные положения методики применения средств реляционных-БД для автоматизации проектирования прикладного программного обеспечения АСУ. Построена реляционная модель БД проектирования программных средств, дано теоретическое обоснование применимости операций исчисления отношений для загрузки и обновления… Читать ещё >
Список литературы
- Алгоритмизация в автоматизированных системах управления.-Киев, Техника, 1972.-233 с.
- АНДОН §-.И., ЯШУНИН А. Г. Об одной концепции построения системы управления реляционными базами данных.- В кн.: Банки дан -ных и информационно-поисковые системы.- Киев, ИК АН УССР, 1979, с. 3−24.
- АРИУС автоматизация разработки информационно-управляю -щих систем (Научно-инженерная концепция, модели, языковые средства).- М.: Институт проблем управления, 1975.- 66 с.
- АТРЕ Ш. Структурный подход к организации баз данных.-М.: §-инансн. и с та тш тика1983.- 317 с.
- ВЕНИАМИНОВ Е. М. Алгебраический подход к моделям баз данных реляционного типа.- В кн.: Семиотика и информатика. М.: ВИНИТИ АН СССР, вып. 12, с. 154−160.
- БОГЕМСКИЙ В. А. Структура программного комплекса для ведения банка данных на основе СУБД Пальма.- В кн.: Банки данных вавтоматизированных системах обработки данных.- Киев, ИК АН УССР, 1981, с. III-I2I.
- БОРЩЕВ В. Б. Логический подход к описанию реляционных баз данных.- В кн.: Семиотика и информатика.- М.: ВИНИТИ АН УССР, 1981, К 16, с. 78−122.
- БРУДНО В. А. Реляционные модели базы данных: вывод ответа на запрос.- Программрование, 1977, № 2, с. 60−63.
- БРУКС ТС. Как проектируются и создаются программные комп -лексы.- М.: Мир, 1979.- 218 с.
- ВЕЙНЕРОВ О.М., КАЗАРОВ М.С., ЛАТИШЕВ М. И. Методы и сред -ства автоматизации проектирования логических структур баз дан -ных.- Зарубежная радиоэлектроника, 1980, № 9, с. 33−49. •
- ВЕЛЬБИЦКИЙ И. В. Безбумажная технология программирования в диалоговой среде.- УСиМ, 1982, 18 6, с. 29−38.
- ВЕЛЬБИЦКИЙ И.В. Р-технология-80.- УСиМ, 1980, К 6, с. 4955.
- ВЕЛЬБИЦКИЙ И.В., ХОДАКОВСКИЙ В.Н., ШОЖОВ Л. И. Техноло -гический комплекс производства программ на машинах ЕС ЭВМ, БЭСМ-6.- М.: Статистика, 1980.- 263 с.
- ВОЛИН В.Г., ГРУЗЫАН В.А., СЕНЕЛКШ В.И., ЭПШТЕЙН В. Л. Структура инструментального комплекса АРИУС.- В кн.: Автомати -зация проектирования систем управления.- М.: Финансы и статис -тика, 1981, с. I0I-II2.
- ВОЛИН В.Г., ГРУЗМАН В.А. Программно-математическое обеспечение экспериментального комплекса АРИУС.- В кн.: Автоматизация проектирования систем управления.- М.: Статистика, 1973, с. II0-I2I.
- ВОЛЬФЕНГАГЕН В.Э., КОКОРЕВА Л. В. Реляционный подход к решению задач на сетевых моделях.- В кн.: Инженерно-математические методы в физике и кибернетике, — М.: Атомиздат, вып. 8, 1979, с. 48−55.
- ВОЛЬФЕНГАГЕН В.Э., КУЗИН Л.Т., САРКИСЯН В. Д. Реляционные методы проектирования баз данных.- Киев: Вища школа, 1979. 192 с.
- ГЛАСС Р., НУАЗО Р. Сопровождение программного обеспечения.- Ы.: Мир, 1983.- 158 с.
- ГЛУШКОВ В. М. Фундаментальные исследования и технология программирования.- Программирование, 1980, № 2, с. 3.
- ГОЛОЩУК И.А., КРАМАРЕНКО Р.П., СКЛЯРОВ А. В. Управление мультидоступом к базе данных в системе Пальме.- В кн.: Банки данных в автоматизированных системах обработки данных.- Киев: ЙК АН УССР, 1981, с. 85−94.
- ГОРЧИНСКАЯ О.Ю., ПЕТРОВ С.В., ТЕНЕНБАУМ Л. А. Разложе -ние отношений и логическое проектирование реляционных баз данных. 4.1, Автоматика и телемеханика.- М.: Наука, 1983, К 2, с. 159−166.
- ГОРЧИНСКАЯ О.Ю., ПЕТРОВ С.В., ТЕНЕНБАУМ Л. А. Разложе -ние отношений и логическое проектирование реляционных баз данных. 4.2. Автоматика и телемеханика.- М.: Наука, 1983, К 3. с. 152−160.
- ГОРЧИНСКАЯ 0.10. Теоретический аспект построения ре ля -ционных баз данных (обзор).- Автоматика и телемеханика.- М.: Наука, 1983, К I, с. 5−25.
- ГРЕБЕННИКОВ Л.И., ЛЕБЕДЕВ В. Н. Решение задач на ПЛ/I в ОС ЕС.- М.: Финансы и статистика, 1981.- 302 с.
- ГУДМАН С., ХИДЕТНИЕМИ С. Введение в разработку и ана -лиз алгоритмов.- М.: Мир, 1981.- 366 с.
- ДАЙТБЕГОВ Л.М., ДУБРОВО И. Г. Организация наборов данныхв ОС ЕС ЭВМ.- М.: Финансы и статистика, 1982.- 277 с.
- ДАНИЛОЧКИН В.П., МИТРОФАНОВ В.В., ОДИНЦОВ Б.В., ПЕЛЕДОВ Г. В. Операционная система ОС ЕС.- М.: Статистика, 1980.- 480с.
- ДЕЙТ К. Введение в системы баз данных.- М.: Наука, 1980, 450 с.
- ДЕМЬЯНЕНКО В. Ю. Программные средства создания и ведения баз данных.- М.: Финансы и статистика, 1984.- 127 с.
- ДРИБАС В.П., КУРСАКОВА Г. Л., СТОЛЯРОВ Г. К. Введение в реляционные модели базы данных.- Минск: ИМ АН БССР, 1977.- 54с. (АН БССР, Институт математики, препринт, К 4 (20)).
- ДРИБАС В. П. Реляционные модели баз данных.- Минск, БГУ им. В. И. Ленина, 1982.- 192 с.
- ЕВДОКИМОВ В. В. Методология разработки систем автомати -зации проектирования АСУП.- В кн.: Автоматизация проектирования систем управления.- М.: Финансы и статистика, 1981, с. 5−17.
- ЕВДОКИМОВ В.В., РЕЙНЕР В. А. Машинный синтез АСУП.- М.: Статистика, 1980.- 222 с.
- Единая система электронных вычислительных маиин. Операционная система. Язык управления заданиями. Описание языка.
- Ц 51. 804.001−01. Д2, 1973.- 327 с.
- ЕРОФЕЕВ В.И., МЕРКУШОВ Ю.П., ПЕРШИКОВ В.И., СОКОЛОВ А. П. Средства отладки программ в ОС ЕС ЭВМ.- М.: Статистика, 1979.245 с.
- ЗАДЫХАЩЮ И.б., СОЛОВЬЕВ В. В. Вопросы создания специа -лизированного процессора для реляционных баз данных.- М.: ИПМ АН СССР, 1979, — 31 с. (АН СССР, ИЛИ, препринт 79−187).
- ЗАИКИН О.Н., КРИВЕЦ И.П., РЕЙНЕР В.А., СОВЕТ^(Б.Я. Математическая модель оптимальной информационной базы АСУ.- Л.: ЛГУ, 1979.- 134 с.
- ЗАЙЦЕВ Н. Г. Принципы информационного обеспечения в системах переработки информации и управления, — Киев: Наукова дум -ка, 1976.- 184 с.
- ЗЕЛКОВЕЦ М., ШОУ А., ГЭННОН Дж. Принципы разработки программного обеспечения.- М.: Мир, 1982.- 368 с.
- ЗЕМЛЯНСКИЙ А.А., ПЕРСИЦ. Основы операционной системы ЕС ЭВМ.- М.: Сов. радио, 1980.- 144 с.
- КАЛИНИЧЕНКО Л. А. Метод построения коммутативных отображений моделей данных при интеграции неоднородных баз данных.-Программирование^ 1978, № 6, с. 14−19.
- КАЛЬИИНШ А.А., БИЧЕВСКИЙ Я.Я., БАРЗДИНЬ Я. М. Разрешимые и неразрешимые случаи проблем построения полных систем приме -ров.- Уч. записки ЛГУ им. Стучки, т. 210. Теория алгоритмов и программ, вып. I.- Рига: 1974.- 188 с.
- КАРАСЕВ О.И., МАКШАК Ф.Ф., РЕЙНЕР В.А. и др. АСУП начбазе пакетов прикладных программ.- М.: Статистика, 1978.- 158с.
- КАРАСЕВ О.Н., РЕЙНЕР В.А. К вопросу о построении математической модели системы управления промышленными предприятиямии ее декомпозиция.- В кн.: Автоматизированные системы управления. Л.: ЛГУ, — 1979, с. 86−94.
- КАХРО М.И., КАЛЬЯ А.П., ТЫУГУ Э. Х. Инструментальная система программирования ЕС ЭВМ (ПРИЗ).- М.: Финансы и статистика 1981.- 157 с.
- КОЗЛОВ Д. Н. Интерфейс путей доступа СУБД Пальма.- В кн.: Банки данных в автоматизированных систем обработки данных.-Киев: ИК АН УССР, 1981, с. ЮЗ-Ы2.
- КОКОРЕВА Л.В., МАЛАШИНИН И. М. Проектирование банков данных.- М.: Наука, 1984.- 256 с.
- КОПЕЙКИН М.В., ОСМОЛОВСКИЙ Л.Г., ПЕТУХОВ О. А. Обобщениереляционного подхода к организации логической модели базы данных.- В кн.: Первая всесоюзная конференция «Банки данных», секция I, теоретические проблемы. Тезисы докладов, Тбилиси, 1980, с. 24−36.
- КОПЕЙКИН М.В., ОСМОЛОВСКИЙ Л.Г., ПЕТУХОВ О. А. Обобщения модель базы данных.- В кн.: Проблемы системотехники и АСУ. Издательство СЗЗ ПИ, Лениград, 1980, — с. 38−52.
- КОССО В.П., КУЗНЕЦОВ И.Е., ОСАДЧИЙ Н.И., СУМАРОКОВ Т. Н. Системы управления базами данных семейства «Банк».- М.: Финансы и статистика, 1983.- 158 с.
- КРАМАРЕНКО Р. П. Архитектура и функциональная структура СУБД Пальма ОС, — В кн.: Банки данных: Тезисы докладов второй всесоюзной конференции. Программное обеспечение банков данных, Киев, 1983, с. 27−30.
- КРИНИЦКИЙ Н. А. Алгоритмы вокруг нас.- М.: Наука, 1977.-224с.
- КРИНИЦКИЙ Н. А. Анализ математического обеспечения ЗВМ,-Программироваиие, 1978, $ 4.- 89 с.
- КРИНИЦКИЙ Н.А., МИРОНОВ Г. А., ФРОЛОВ Г. Д. Автоматизированные информационные системы.- М.: Наука, 1982.- 381 с.
- КРИНИЦКИЙ Н. А. Широкое формальное определение алгорит -ма.- В кн.: Проблемы кибернетики, вып. 32, М.: Наука, 1977, с. 12−18.
- КУЗИН Л.Г., Вальфенгаген В. Э. Функциональная модель реляционного банка данных.- В кн.: Инженерно-математические методы в физике и кибернетике.- М.: Атомиздат, вып. 8, 1979, с.70−76.
- ЛЕБЕДЕВ В.Н., СОКОЛОВ А. П. Введение в систему программирования ОС ЕС.- М.: Статистика, 1978.- 144 с.
- ЛИПАЕВ В.В. и др. Отладка систем управления алгоритмов ЦВМ реального Бремени.- М.: Оов. радио, 1974.- 326с.
- ЛИПАЕВ В.В., МАКАРОВ В.Н., ПОТАПОВ А. Н. Расчет и анализ технико-экономических показателей разработки программного обеспечения.- УС ДО, 1982, II I, с. 3−7. !
- ЛИПАЕВ В. В. Проектирование математического обеспечения АСУ.- М.: Сов. радио, 1977.- 400 с.
- ЛИПАЕВ В. В. Состояние и проблемы производства програм -много обеспечения для систем управления и обработки информации.-УСиМ, 1980, № I, с. 9−15.
- МАКЛАКОВ А.В. К вопросу опреде ления функциональной за -висимости между атриьутами отношения в реляционных базах дан -ных.- Программирование, 1978, К I, с. 60−64.
- МАРКОВ А. А. Теория алгоритмов.- Труды мат. ин-та им. С тек лов, а АН СССР, т. ШП, 1954, с. 86−154.
- МАРТИН Дж. Организация баз данных в вычислительных сис- -темах.- М.: Мир., 1978.- 6Гб с.
- МАРТИН Дж. Организация баз данных в вычислительных системах.- 2-е'изд. доп.- М.: Мир, 1980.- 662 с.
- МИТРОФАНОВ В.В., ОДИНЦОВ Б. В. Программы обслуживания ОС ЕС ЭВМ.- М.: Статистика, 1977.- 136 с.
- МЮШОВСКИЙ С.Д., СТОГНИЙ А. А. Вопросы автоматизации проектирования баз данных.- УС ДО, 1979, II 6, с. 29−35.
- МИТГОМ Дж., ХЬЮЗ Дж. Структурный подход к программированию.- М.: Мир, 1980.- 278 с.
- МОДИН А.А., ЯКОВЕНКО Е.Г., ПОГРЕБНОЙ Е. П. Справочник разработчика АСУ.- 2-е изд.- перераб. и доп. М.: Экономика, 1978.- 583 с.
- НЕКЛЮДОВА Е.А., ЦАЛЕНКО М. Ш. Синтез логической схемы реляционной базы данных.- Программирование, 1979, гё б, с.58−68.
- ОВЧАРОВ Л.А., СЕЛЕТКОВ С. Н. Автоматизированные банки данных.- М.: Финансы и статистика, 1982.- 262 с.
- ОЛЛЕ Т. В. Предложения КОДАСИЛ по управлению базами данных (пер.с англ.).- М.: Финансы и статистика, 1981.- 286 с.
- Основные характеристики отечественных СУБД и ИПС./ Под ред. Стогния А. А/ ИК АН УОСР, Киев, 1980.- 118 с.
- Пасичник В.В. Некоторые вопросы анализа реляционных моделей баз данных.- Контрольно-измерительная техника, Львов, Вища школа, № 30, 1981, с. 142−149.
- ПЕЛЕДОВ Г. В., РАЙКОВ Л. Д. Введение в ОЕ ЕО ЭВМ.- М.: Статистика, 1977.- 120 с.
- ПОДОЛЬСКИЙ В.И., ПЕТРОВА С.Е., ДАНЕЛЯН Е. И. Организация банка данных в АСУП.- М.: Машиностроение, 1978.- 88 с.
- Программирование на ПЛ/I ОС ЕС М. И. Аугустон, Р.П.Еаль-дис, Я. М. Барздинь и др.- 2-е изд. доп.- М.: Финансы и статис -тика, 1984.- 327 с.
- РАДИОНОВ С. Т. Основные концепции модульности и анализ некоторых направлений развития общей технологии программирования.- Программирование, 1980, 15 2, с. 33−39.
- Реляционные СУБД РЕЛЬБАЗ.- УСиМ: 1984, № 7, с. 98−102.
- РИППА С. П. Вопросы моделирования технологии и выбор методов автоматизированного проектирования программного обес -печения АСУ. Машин, обраб.информ., вып. 38, Киев: Вища школа, 1984, с. 97−105.
- РИППА С. П. Использование реляционных структур данныхпроектирования программного обеспечения экономических задач.-Машин, обраб. информ. вып. 39, Киев: Вища школа, 1984, с. 5864.
- РИППА С. П. Комплексное программирование функциональных задач среде СУБД. ВИНИТИ, 1982, Ш 512 81, Деп. 24 с.
- РИППА С.П., ОЛЕКСШ А. С. Использование банков данных для систем автоматизированного контроля. Материалы респ. научн. техн. семинара «Системы контроля параметров электронных устройств и приборов», Киев, 1984, с. 129.
- РОЗАН Б. А. Метод структурного построения тестов для отладки управляющих программ.- Программирование, 1980, № 2, с. 62−67.
- Реляционные системы (История развития и примеры реализации).- Вычислительные системы, 1980, Ji5 I, с. 98−107.
- САВИНКОВ В Л!., ВЕЙНЕРОВ О.М., КАЗАРОВ М.С., АЛЕКСАНД -РОВ А. А. Обобщенные процедуры логического проектирования баз данных и уточнение инфологической модели: формальный подход.
- В кн.: Информационные системы и банки.- НИВТиА, АН ВНР, 1982, с. 22−36.
- САВИНКОВ В.М., НАЗАРОВ М.С., РЫСЕВИЧ Ю. К. Использование системы управления базами данных в АСУ. Краткий обзор.- В кн.: Алгоритмы и организация решения экономических задач. И.: Статистика, 1979, вып. 13, с. 29−38.
- Система математического обеспечения ЕС ЭВМ / Под общ. ред. А.М.ЛарионоваМ.: Статистика, 1974.- 216 с.
- Система управления базами данных Пальма ОС (Версия 4.2). Описание применения.- ЯЩ. 10 006−01 31 01. ИК АН УССР,-Киев, 1982.- 88 с.
- Система управления базами данных Пальма ОС (Версия4.2). Описание языка. Язык данных реляционного интерфейса, — ЯЩ. 10 006−01 35 OI-I. ИН АН УССР, Киев, 1982.- 55 с.
- Система управоения базами данных Пальма ОС (Версия 4.2). Руководство оператора.- ЯЩ. 10 006−01 34 01. ИК АН УССР, Киев, 1982.- 14 с.
- Система управления базами данных Пальма ОС (Версия 4.2). Руководство программиста. Программы обслуживания.- ЯЩ. 10 006−01 33 01−2. ИК АН УССР. Киев, 1982.- 50 с.
- Система управления базами данных, Пальма ОС (Версия 4.2). Руководство программиста. Разработка прикладных программ.-ЯЩ. 10 006−01 33 OI-I, ИК АН УСОР, Киев, 1982.- 77 с.
- Система управления базами данных Пальма ОС (Версия 4.2).Руководство системного программиста.- ЯЩ. 10 006−01 32 01, ИК АН УССР. Киев, 1982.- 46 с.
- СКОТТ Р., СОНДАК Н. ПЛ/l для программистов.- М.: Статистика, 1977.- 244 с.
- СТОГНИЙ А. А. Методы и процедуры проектирования схем баз данных.- Сб. научн. трудов. Киев, 1982.- 72 с.
- СТОГНИЙ А.А. О сферах применения банков данных.- В кн.: Применение вычислительной техники в научных исследованиях. Тезисы докладов Международной конференции (ЧССР, Либлице, май 1980 г.), Прага, 1980, с. 9−10.
- СТОГНИЙ А. А. Проблемы использования систем управления базами данных.- Киев, 1979.- 119 с.
- СТОГНИЙ А.А., ПАСШИК В. В. Реляционные модели баз данных.- Киев: ИК АН УССР, 1983.- 285 с.
- СТОЛЯРОВ Г. К. Обзор предложений рабочей группыCODASYL по базам данных.- В кн.: Алгоритмы и организация решения экономи -ческих задач. М.: Статистика, 1974, вып. 4, с. 51−58.
- Создание и использование банков данных в АСУП.- М.: Статистика, 1977.- 175 с.
- ТЕЙЕР Т., ЛИЛОВ М., НЕЛЬСОН Э. Надежность программного обеспечения.- М.: Мир, 1981.- 325 с.
- ТЕРЕЩЕНКО А.А., КАЮРОВ В.Ю., КИРСАНОВ В.Ф., КОВАЛЕВ
- А.Л., КОСЯК А. С. Организация процесса проектирования в безбумажной Р-технологии программирования.- УСиМ, 1982, № 6, с.38−43.
- Технологический комплекс программиста. Аппарат управления базой данных проектирования. Руководство программиста. 34/56.6−02 33 01, ЦСУ СССР, ВГПТИ МУВР, Воронеж, 1981,118 с.
- ТУРСКИЙ В. Методология программирования.- М.: Мир, 1981.-164 с.
- УЛЬМАН Дж. Основы систем баз данных.- М.: Финансы и статистика, 1983.- 334 с.
- ФЕРРАРИ Д. Оценка производительности вычислительных систем.- М.: Мир, 1981.- 278 с.
- ХОЛСТЕД М. Х. Начало науки о программах.- М.: Финансы и статистика, 1982.- 128 с.
- ХОТЯШОВ Э. Н. Концепция системы машинной разработки АСУ Марс.- В кн.: Автоматизация проектирования систем управления. М.: Финансы и статистика, 1981, с. II2-I26.
- ИЗ. ЦАЛЕНКО М. Ш. Реляционные модели баз данных (обзор).- В кн.: Алгоритмы и организация решения экономических задач.- М.: Статистика, 1977, вып. 9 (с. 18−36), вып. 10 (с. 16−29).
- ШОЛМОВ Л.И., ХОДАКОВСКИЙ В.Н., МАКАРОВ В.В., ПРИХОДЬКО О.М., ПРОЦЕНКО С.С., Графическое представление алгоритмов в безбумажной Р-технологии программирования.- УСиМ, 1982, № 6, с. 43−47.
- ЦЕРБША Д., САВИНОВ 13.А. Сродства математического обеспечения ЭВН: проблемы развития.- Идеология, политика, зпо-поиика. СПА, 1983, Г- 8, с. 98−106.
- ЭППТЕЙП В.Л. ДЕТо?-птизация проектирования.- В кп.: Автоматизация проектирования систем управления. Под обцоп ред. акад. В. А. Трапезникова. Вип. П.: Фнвапсн и статистикаД982, с. 3.
- ЗППТЕЙН В.Л., СЕИЕЛКШ В. П. Языковые сродства архитектора АСУ.- П.: Эноргопздат, 1982.- 200 с.