Мобильный синтезатор программ
Диссертация
Интенсивное развитие программного обеспечения породило проблемы его накопления и использования. В 70-х годах оформилась концепция пакета прикладных программ (ППП): совокупности совместимых модулей для решения определенного класса задач. Поскольку пакет предназначен для решения не одной, а целого класса задач, его функциональное наполнение разрабатывается как совокупность модулей, которые должны… Читать ещё >
Список литературы
- Тамм Б.Г., Тыугу Э. Х. Пакеты программ. — Известия АН СССР. Техническая кибернетика, 1977, № 5, с. 1. I-I24.
- Кахро М.И., Калья А. П., Тыугу Э. Х. Инструментальная система программирования ЕС ЭВМ (ПРИЗ). М.: Финансы и статистика, 1981. 158 с.
- Бабаев И.О., Новиков Ф. А., Петрушина Г. И. Язык ДЕКАРТ -входной язык системы СПОРА. В кн.: Прикладная информатика. М.: Финансы и статистика, 1981, вып. I, с. 35−72.
- Тыугу Э.Х. Решение задач на вычислительных моделях. -Журн. выч. математики и мат. физики, 1970, т. 10, № 3, с. 38−46.
- Тыугу Э.Х. Решатель вычислительных задач. Журн. выч. математики и мат. физики, 1971, т. II, № 4, с. 992−1004.
- Тыугу Э.Х., Харф М. Я. Алгоритмы структурного синтеза программ. Программирование, 1980, № 4, с. 3−13.
- Gallaire H. A Study of PROLOG. In: Computer Program Synthesis Methodologies / eds. Biermann A.W., Guiho G. — D. Reidel Publishing Company, 1981. — pp. 173−212.
- TK!Solver Program Reference Manual. Software Arts, 1982. 215 p.
- Томберг JI.JI. Решатель вычислительных задач для ми1фо-ЭВМ.-Тезисы конференции «Диалог-83″, 1984, с. 101.
- Кыпп М.Г., Тыугу Э. Х. Объектно-ориентированная система программирования для малых ЭВМ. Микропроцессорные средства и системы, 1984, т. I, № 3, с. 44−47.
- Williams G. Software Art’s TKISolver. BYTE, 1982, v.8,m io, pp. 36−376.
- VisiCalc User’s Guide. Personal Software, 1981. — 190 p.
- LisaCalc Manual. Apple Computer, 1983. — 230 p.
- Griswold R.E. The Macro Implementation of SN0B0L4- A Case Study in Machine-Independent Software Development. San Francisco, W.H. Freeman & Co, 1972.
- Pascal-P Software-Practice and Experience, 1978, v. 8, В 8, pp. 617−627.
- Overgaard M. UCSD Pascal: a portable software environment for small computers. AFIPS Conference proceedings, 1980, v. 49, pp. 747−754.
- Wirth N. bilith: A Personal Computer for Software Engineering. In: Microcomputer System Design. — Lecture Notes in Computer Science, v. 126, pp. 349−397. — Springer, 1982.
- Мацкин М.Б. Средства отладки для системы с автоматическим синтезом программ. Программирование, 1983, № 4, с. 21−26.
- Goldberg A., Robson D. Smalltalk-80: The Language and its Implementation. Reading, MA: Addison-Wesley Publishing Co, 1983. 716 p.
- Шмундак А.Л. Система МИС: Абстрактная машина, Таллин, 1982. — 33 с. (Препринт/АН ЭССР- К-7).
- Шмундак A.JI. Реализация мобильной системы с автоматическим синтезом программ. В кн.: Прикладная информатика, М.: Финансы и статистика, 1984, вып. 2(7), с. II7-I27.
- Шмундак А.Л. МИС мобильная инструментальная системаразработки пакетов программ. В сб.: Пакеты прикладных программ.
- Системное наполнение. М.: Наука, 1984, с. 43−49.
- Ломп А.А., Харф М. Я., Емундак А.Л.Система МИС. В сб.: Автоматизация производства пакетов прикладных программ: Тезисы докладов Всесоюзной конференции, Таллин, 1980, с. 187−188.
- Грис Д. Конструирование компиляторов для цифровых вычислительных машин. М.:Мир, 1975. — 544 с.
- Браун П. Макропроцессоры и мобильность программного обеспечения. М.: Мир, 1977. — 253 с.
- Waite W.M. The mobile programming system: SIAGE2. Comm. ACM, 1970, v. 13, Ю 7, pp. 415−421.
- Overgaard M. Implementing the UCSD p-system. Mini-Micro Systems, 1982, v. XV, № 9, pp. 183−190.
- Ibsen L. A Portable Virtual Machine for Ada. Software-Practice and Experience, 1984, v. 14, A3 1, pp. 17−29.
- Tanenbaum A.S. Implications of structured programming for machine architecture. Comm. ACM, 1978, v. 21, KS, pp. 237−246.
- Wilk A», Silverman W. OPTIMA A Portable PCODE Optimizer. — Software — Practice and Experience, 1983, v. 13, N2 4, pp.323−354.
- Браун П.Дж. Основные принципы реализации. В сб.: Мобильность программного обеспечения. — М.: Мир, 1980, с. 29−41.
- Йенсен К., Вирт Н. ПАСКАЛЬ: руководство для пользователя и описание языка. М.: Финансы и статистика, 1982. — 151 с.
- Kernighan B.W., Ritchie D.M. The С Programming Language. -Englewood Cliffs: Prentice Hall, 1978. 228 p.
- Richards M. The Portability of the BCPL Compiler. Software — Practice and Experience, 1971, v. 1, Ш 3, pp. 135−141.
- Coster C.H.A. Using the CDL Compiler-Compiler. In: Compiler Construction: Lecture Notes in Computer Science, v. 21. -Springer, 1976, pp. 366−426.
- Грисуолд P.E. Практические вопросы переноса. В сб.: Мобильность программного обеспечения. М.: Мир, 1980, с. I3I-I43.
- Ричарде М. Реализация языка BCPL. В сб.: Мобильность программного обеспечения. М.: Мир, 1980, с. 211−222.
- Сборник научных программ на Фортране. М.: Статистика, 1974, вып. I, 224 е., вып. 2, 316 с.
- Мазный Г. Л. Программирование на БЭСМ-6 в системе «Дубна». М.: Наука, 1978.
- Волож Б.Б., Мацкин М. Б., Минц Г. Е., Тыугу Э. Х. Система ПРИЗ и исчисление высказываний. Кибернетика, 1982, № 6, с. 63−70.
- Камынин С.С., Любимский Э. З. Алгоритмический машинно-ориентированный язык АЛМО. — В сб.: Алгоритмы и алгоритмические языки. — М.: ВЦ АН СССР, 1967, вып. I, с. 5−58.
- Веселов Е.Н., Евтушенко Ю. Г., Мазурик В. П. Содержательные возможности диалоговой системы оптимизации (ДИСО). Проблемы вычислительной техники. — М.: МНТИЦ, 1981, специальный выпуск.