Методы реализации графориентированных инструментальных сред и их применение для создания приложений
Диссертация
Предложенная инструментальная графовая среда была использована при разработке электронных учебных пособий по спецкурсам «Применение теории графов в программировании», «Теория формальных языков и грамматик», «№)-алгоритмы на графах», а также в лабораторных работах «Практикум на ЭВМ» с целью изучения динамических типов данных. Кроме того, с помощью ВГС создано приложение, используемое для принятия… Читать ещё >
Список литературы
- Артамонов Г. Т., Тюрин В. Д. Топология сетей ЭВМ и многопроцессорных систем. М.: Радио и связь, 1991.
- Айзерман М. А., Гусев Л. А., Петров С. В., Смирнова И. М., Тененбаум Л. А. Динамический подход к анализу структур, описываемых графами (основы графоди-намики) // АиТ. 1977, № 7, № 9.
- Ахо А., Ульман Дж. Теория синтаксического анализа, перевода и компиляции. Т.1, 2. М.: Мир, 1978.
- Буч Г. Объектно ориентированное проектирование С примерами применения. М.: Конкорд, 1992.
- Вирт Н. Алгоритмы + Структуры данных = программы. М.: Мир, 1985.
- Глушков В. М. Основы безбумажной информатики. М.: Наука, 1987.
- Горбатов В. А. Основы дискретной математики М.: Высшая школа, 1986.
- Гардан И., Люка М. Машинная графика и автоматизация конструирования. М.: Мир, 1987.
- Гэри М., Джонсон Д. Вычислительные машины и труднорешаемые задачи. М.: Мир, 1982.
- Горбатов В. А. Теория частично упорядоченных систем. М.: Сов. радио, 1976.
- Деньдобренко Б. Н., Малика А. С. Автоматизация конструирования РЭА. М.: Высшая школа, 1980.
- Деметрович Я., Кнут Е., Радо П. Автоматизированные методы спецификации. М.: Мир, 1989.
- Зенкин А. А. Когнитивная компьютерная графика. М.: Наука, 1991.
- Зыков А. А. Гиперграфы // УМН. 1974. Т.29, N6.
- Касьянов В. Н., Поттосин И. В. Методы построения трансляторов. Новосибирск: Наука, 1986.
- Кнут Д. Искусство программирования. Т.1. М.: Мир, 1976.
- Кристофидес Р. Теория графов. Алгоритмический подход. М.: Мир, 1976.
- Курьеров Ю. Н. Логические формализмы представления знаний // Кибернетика и системный анализ. 1992, № 2.
- Лекции по теории графов. М.: Наука, 1990.
- Лисков Б, Гатэг Дж. Использование абстракций и спецификаций при разработке программ. М.: Мир, 1989.
- Майника Э. Алгоритмы оптимизации на сетях и графах. М.: Мир, 1981.
- Матчо Д., Фолкнер Р. Д. Delphi. М.: Бином, 1995.
- Мелихов А. Н. Ориентированные графы и конечные автоматы. М.: Наука, 1971.
- Мелихов А. Н., Бернштайн. Гиперграфы в автоматизации проектирования дискретных устройств. Ростов Н/Д., 1981.
- Миков А. И. Язык описания вычислительных систем // Моделирование вычислительных систем и процессов. Пермь, 1983.
- Миков А. И. Автоматизация синтеза микропроцессорных систем. Иркутск: Изд-во Иркут. ун-та, 1987.
- Миков А. И., Залогова Л. А. Методы трансляции языков моделирования: Учеб. пособие. Пермь, 1988.
- Миков А. И., Пономарева Ю. В., Фролова Н. В. Оперирование экранными образами объектов в обучающих системах // Тез. докл. Респ. конф. «Региональные проблемы информатизации образования». Пермь, 1993.
- Миков А. И., Фролова Н. В. Структурный анализ: Учеб. пособие. Пермь, 1991.
- Миков А. И., Фролова Н. В. Инструментальная среда для спецификации моделей распознавания образов // Тез. докл. Междунар. научно технич. конф. «Непрерывно- логические методы и модели в науке, технике и экономике». Пенза, 1995.
- Миков А. И., Фролова Н. В. Визуализация классов графов // Тез. докл. Междунар. научно-методич. конф. «Новые информационные технологии в университетском образовании». Новосибирск, 1996.
- Миков А. И., Фролова Н. В. Графориентированные языки обработки нейросете-вых структур // Тез. докл. Международной конференции «Логико-математические методы в технике, экономике и социологии». Пенза, 1998.
- Минский М. Фреймы для представления знаний. М.: Энергия, 1979.
- Нагао M., Катаяма Т., Уэмура С. Структуры и базы данных. М.: Мир, 1986.
- Пападимитриу X., Стайглиц К. Комбинаторная оптимизация. Алгоритмы и сложность. М.: Мир, 1985.
- Петров С. В. Графовые грамматики и задачи графодинамики // АиТ. 1977, №.10.
- Петров С. В. Нормальная форма графовых грамматик // АиТ. 1977, №.6.
- Рейнгольд Э., Нивергельт Ю., Део Н. Комбинаторные алгоритмы. Теория и практика. М.: Мир, 1980.
- Степин Ю. Г. Параллельный вывод в гиперграфовых грамматиках // Тез. докл. 7-й Всес. школы-семинара «Параллельное программирование и высокопроизводительные системы». Киев, 1986.
- Свами М., Тхуласираман К. Графы, сети и алгоритмы. М.: Мир, 1984.
- Татт У. Теория графов. М.: Мир, 1988.
- Фролова Н. В. Методы реализации математического обеспечения представления и применения грамматик для порождения структур // Математика программных систем. Пермь, 1993.
- Фролова Н. В., Лучников В. Е. Реализация операций над структурами ВС в языке Triad // Моделирование вычислительных систем и процессов. Пермь, 1985.
- Фролова Н. В., Селикова И. Е. Преобразование структур в графические и текстовые объекты // Моделирование вычислительных систем и процессов. Пермь, 1990.
- Фролова Н. В. Генерация решеток с помощью графовых грамматик // Вестник Пермского университета. Пермь, 1997.
- Фу К. СБИС для распознавания образов и обработки изображений. М.: Мир, 1988.
- Харари Ф. Теория графов. М.: Мир, 1973.
- Хорошевский В. Г. Инженерный анализ функционирования вычислительных машин и систем. М.: Радио и связь, 1987.
- Чэн Ш.-К. Принципы проектирования систем визуальной информации. М.: Мир, 1994.
- Abello J., Sudarsky S., Veatch T., Waller J. AGE: An animated graph environment // Computat. Support Discrete Math: DIMACS Workshop. Piscataway (N.Y), 1992.
- Aizawa К., Nakamura A. Path-controlled graph grammars for syntactic approach // Parallel image analysis (ed. by Nakamura A., Nivat M., Saoudi A., Wang P. S. P., Inoue K.). LNCS. V.654. N.Y.: Springer-Verlag, 1992.
- Bailey D. A., Cuny E. ParaGraph: graph editor support for parallel programming environments. Technical Report. Massachusetts, 1989.
- Bailey D. A., Cuny J. E. Visual extensions to parallel programming languages // Languages and Compilers for Parallel Computing. The MIT Press, 1990.
- Bailey D. A., Cuny J. E., Fisher C. D. Programming with Very Large Graphs //Proc. of the 4th International Workshop on Graph Grammars and Their Application to Computer Science. Breman: Springer-Verlag, 1990.
- Bunke H. Sequentielle und parallele programmirte Graph-Grammatiken // Arbeitsberichte des Instituts fur Matematische Maschinen und Daten-verarbeitungen (Informatic). Erlangen, 1979, Band 12, № 3.
- Burnett M., Baker M. A Classification System for Visual Programming Languages // Journal of Visual Languages and Computing 5(3), 1994.
- Computat. Support Discrete Math: DIMACS Workshop. Piscataway (N.Y.), 1994.
- Chang S. K. Visual Languages: A Tutorial and Survey // IEEE Software. 1987, N 4.
- Chang S. K., Costagliola G., Pacini G., Tucci M., Tortora G., Yu B., Yu J.S. Visual-Language System for User Interfaces // IEEE Software, 1995.
- Conklin J., Begeman M. L. GIBIS: A Hypertext tool for Team Design Deliberation // Proc. of conf. Hypertext'87. 1987.
- Courcelle B. An axiomatic definition of context free rewriting and its application to NLC graph grammars. Elsevier Science Publishers B. V., 1987.
- Courcelle B. Graphs as Relational Structures: An Algebraic and Logical Approach // Proc. of the 4th Int. Workshop on Graph Grammars and Their Application to Computer Science. Breman: Springer-Verlag, 1990.
- Cuny J., Ehrig H., Engels G. Proc. of the 5th International Workshop on Graph Grammars and Their Application to Computer Science. Williamsburg, VA, USA: Springer-Verlag, 1994.
- Dillion D. S., Smietana F. R. An interactive graphical, educationally oriented graph analysis package // Proc. of the Computat. Support Discrete Math: DIMACS Workshop, Piscataway (N.Y.), 1992.
- Drewes F., Kreowski H.-J. A Note on Hyperedge Replacement. Proceedings // Proc. of the 4th Int. Workshop Graph Grammars and Their Application to Computer Science. Breman: Springer-Verlag, 1990.
- Ehrig H., Kreowsski H.-J., Rozenberg G. Graph Grammars and Their Application toi. L
- Computer Science. 4 International Workshop. Bremen: Springer-Verlag, 1990.
- Ehrig H. Introduction to the algebraic theory of graph grammars // LNCS, N 73. Berlin: Springer-Verlag, 1979.
- Erwig M. Graph Algorithms = Iteration + Data Structures? // Proc. of the 18th International Workshop «WG'92». Springer-Verlag, 1992.
- Gloor P. A., Lee I., Velez-Sosa A. Animated algorithms: Computer Science Education with algorithm animation // Proc. of The Computat. Support Discrete Math: DIMACS Workshop, Piscataway (N.Y.), 1992.
- Gorlick M., Quilici A. Visual Programming-in-the-Large and Visual Programming-in-Small // Proceedings of the 1994 IEEE symposium on Visual Languages, 1994.
- Habel A. Hyperedge Replacement: Grammars and Languages: Dissertation. University Bremen: FB Math./Informatik, 1989.
- Jones C. An integrated modeling environment based on attributed graphs and graphgrammars. Elsevier Science Publishers B.V. 1993.
- Jacob R. J. K., A State Transition Diagramm Language for Visual Programming. IEEE Computer. 1985, V.18, N8.
- Janssens D., Rozenberg G. Graph grammars with neighbourhood controlled embedding. Theoretical Computer Science. 1982, N 21.
- Janssens D., Rozenberg G. Graph grammars with node label controlled rewriting and embedding // Graph Grammars and Their Application to Computer Science and Biology. Berlin: Springer-Verlag, 1982.
- Janssens D., Rozenberg G. Decision problems for NLC grammars // Comput. System Sci. 1981.
- Kaul M. A Formal Language Approach to Inexact Graph Matching with Precedence Graph Grammars. // Classification and related methods of data analyses, Elsevier Science Publishers B.V., 1988.
- Kremer R. Concept Mapping: Informal to Formal // Proc. of the Third Int. Conf. on Conceptual Structures, Knowledge Representation Workshop. Maryland, 1994.
- Kremer R. The Design of a Concept Mapping Environment for Knowledge Acquisition and Knowledge Representation // Proc. of conf. the Banff Knowledge Acquisition Workshop. Banff, Alberta, 1995.
- Kremer R., Gaines B. R. Embedded Interactive Concept Maps in Web Documents // Proc. of WebNet'96: World Conference of The Web Society. San Francisco, CA, USA, 1996.
- Kremer R., Lukose D., Gaines B. R. Knowledge Modeling using Annotated Flow Chart //Proc. of the Int. Conf. on Conceptual Structures. Seattle, Washington: Springer, 1997.
- Laroche P., Nivat M., Saoudi A. Context-sensitivity of Puzzle Grammars //Proc. of the Int. Conf. Parralel Image Analysis, LNCS N 654, Springer Verlag, 1992.
- Mayr E. W. Graph-Theoretic Concepts in Computer Science //Proc. of the 18th Int. Workshop «WG'92», Springer-Verlag, 1992.
- Montanary U.G. Separable graphs, planar graphs and web grammars // Inform, and Contr. 1970, V.16, N 2.
- Myers, B. A. Taxonomies of Visual Programming and Program Visualization. Journal of Visual Languages and Computing. 1990, N1(1).
- Nagl M. Graph Grammatiken. Theorie. Anwendungen. Implementierung. Wiesbaden: Vieweg, 1979.
- Nagl M., Shurr A. A Specification Environment for Graph Grammars //LNCS, N 532. Springer, 1991.
- Rozenberg G. An Introduction to the NLC Way of Rewriting Graphs. // Graph Grammars and their application to computer science (ed. by Ehrig H., Rozenberg G., Rosenfeld A.), LNCS. V.291. Berlin: Springer-Verlag, 1987.
- Rosenfeld A. Picture Languages: formal model for picture recognition. N.Y.:Academic Press, 1979.
- Rosenfeld A. Image Analysis //Proc. Pat. Ree. Vol.1, 6th Int. Conf., Munich, 1982.
- Schurr A. Introduction to Progress, an Attribute Graph Grammars Based Specification Language//LNCS, N411.1989.
- Schurr A. Programming by Graph Graph Rewriting Systems Theoretical Foundations and the Corresponding Language: Doctoral Dissertation, RWTH Aachen, 1990.
- Schurr A. Progress: A VHL Language Based on Graph Grammars // Proc. of the 4th Int. Workshop on Graph Grammars and Their Application to Computer Science, LNCS, N532. Springer, 1991.
- Shneiderman B. Direct Manipulation: A Step beyond Programming Languages // IEEE Computer, 1983, V.16, N8.
- Stallmann M., Cleaveland R., Hebbar P. GDR: A visualization tool for graph algorithms // Proc. of conf. the Computat. Support Discrete Math: DIMACS Workshop. Piscataway (N. Y.), 1992.
- Sugihara K., Miyao J., Takayama M. Et. Al. A Visual Language for Form Definition and Manipulation, in Visual Languages, edited by Chang S. K. Et. Al., Plenum Pub. Co., 1986.
- Shu N.S. Visual Programming Languages: A Perspective and a Dimensional Analysis, in Visual Languages, edited by S.-K. Chang et al., plenum Pub. Co., 1986.
- Tamassia R., Tollis I.G. Graph Drawing. DIMACS International Workshop. Princeton (N.Y.), 1994, Proceedings. Springer-Verlag, 1994.
- Thalmann D. An Interactive Data Visualization System. // J. Software practice and experience. 1984, Vol. 14, N 3.
- Yau S. S., Tsai J. P. A Graph Description Language for Large Scale Software Specification in a Maintenance Environment // Proc. of the 8th Int. Conf. Computer Software & Application, 1984.
- Zampreroni A. GRIDS Graph — based, Integrated Development of Software: Integrating Different Perspectives of Software Engineering // Proc. of the 18th Int. Conf. on Software Engineering. IEEE Computer Society Press Los Alamitos, California, 1996.