Дипломы, курсовые, рефераты, контрольные...
Срочная помощь в учёбе

Графический пользовательский интерфейс для автоматизированных систем раскроя изделий сложной формы

Диссертация: Графический пользовательский интерфейс для автоматизированных систем раскроя изделий сложной формы
ДиссертацияПомощь в написанииУзнать стоимостьмоей работы

Автоматизированные системы раскроя в целом, и АСР лекал в частности, носят прикладной характер. Поэтому исследование проблем ГПИ, разработка подходов к проектированию высококачественных ГПИ, обоснование полученных результатов будет показано на примере подготовки к раскрою швейных изделий. Предприятия швейной промышленности тесно связаны с потребностями рынка, а сами швейные изделия являются… Читать ещё >

Содержание

  • Введение ^
  • 1. Анализ методов и инструментальных средств разработки графического пользовательского интерфейса для автоматизированных систем раскроя швейных изделий
    • 1. 1. Анализ требований к графическому пользовательскому интерфейсу автоматизированных систем раскроя швейных изделий
    • 1. 2. Методы анализа требований к графическому пользовательскому интерфейсу автоматизированных систем раскроя
    • 1. 3. Языки спецификаций графического пользовательского интерфейса для автоматизированных систем раскроя
      • 1. 3. 1. Унифицированный язык моделирования UML
      • 1. 3. 2. Нотация действий пользователя UAN
      • 1. 3. 3. Нотация взаимодействующих последовательных процессов Хоара
    • 1. 4. Анализ систем управления интерфейсом пользователя для автоматизированных систем раскроя
      • 1. 4. 1. Классификация инструментальных средств разработки пользовательского интерфейса
      • 1. 4. 2. Модели систем управления интерфейсом пользователя
        • 1. 4. 2. 1. Модели, лежащие в основе пользовательского интерфейса
        • 1. 4. 2. 2. Фазы диалога, реализованные системой управления интерфейсом пользователя
        • 1. 4. 2. 3. Модель системы управления интерфейсом пользователя, основанная на знаниях
      • 1. 4. 3. Модель системы управления интерфейсом пользователя для разработки пользовательского интерфейса для графических редакторов
    • 1. 5. Выводы по первой главе ^
  • 2. Система разработки графического пользовательского интерфейса для автоматизированных систем раскроя швейных изделий
    • 2. 1. Требования к инструментальной системе разработки графического пользовательского интерфейса для автоматизированных систем раскроя швейных изделий
    • 2. 2. Оценка качества графического пользовательского интерфейса для автоматизированных систем раскроя швейных изделий
    • 2. 3. Структура системы разработки графического интерфейса пользователя для автоматизированных систем раскроя швейных изделий
    • 2. 4. Система анализа требований
      • 2. 4. 1. Синтаксис языка анализа задач
      • 2. 4. 2. Семантические правила перехода
    • 2. 5. Система проектирования графического пользовательского интерфейса
      • 2. 5. 1. Синтаксис языка спецификации графического пользовательского интерфейса
      • 2. 5. 2. Семантика язык спецификации графического пользовательского интерфейса
    • 2. 6. Система управления графическим пользовательским интерфейсом
    • 2. 7. Методика проектирования графического пользовательского интерфейса
    • 2. 8. Выводы по второй главе ^
  • 3. Реализация инструментальных средств разработки графического пользовательского интерфейса
    • 3. 1. Разработка транслятора с языка анализа задач
      • 3. 1. 1. Лексические конструкции языка анализа задач
      • 3. 1. 2. Синтаксические конструкции языка анализа задач
      • 3. 1. 3. Промежуточное представление
    • 3. 2. Трансляция с языка действий пользователя на язык взаимодействующих последовательных процессов Хоара
      • 3. 2. 1. Структура добавляемой в абстрактное синтаксическое дерево информации для получения описания графического пользовательского интерфейса на языке действий пользователя
      • 3. 2. 2. Структуры данных для хранения информации о процессах и событиях
    • 3. 3. Реализация исполняющей системы (системы времени прогона)
      • 3. 3. 1. Реализация взаимодействующих последовательных процессов в виде функций расширенного лямбда-исчисления
      • 3. 3. 2. Абстрактная SECD-машина
    • 3. 4. Выводы по третьей главе ^
  • 4. Разработка графического пользовательского интерфейса автоматизированной системы раскладки лекал швейных изделий
    • 4. 1. Построение дерева целей для раскладки лекал в автоматизированной системе раскладки лекал «Конструктор»
    • 4. 2. Описание задач на языке действий пользователя
    • 4. 3. Оценка эффективности разработки графического пользовательского интерфейса
    • 4. 4. Направления дальнейших исследований
    • 4. 5. Выводы по четвертой главе ^

Графический пользовательский интерфейс для автоматизированных систем раскроя изделий сложной формы (реферат, курсовая, диплом, контрольная)

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

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

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

Технологические условия укладки лекал сложной конфигурации в АСР определяются раскладчиком в интерактивном режиме. Успешное применение и функционирование АСР лекал сложной конфигурации во многом зависит от восприятия ее пользователями. Неудобства работы пользователей с АСР, связанные со сбоями в ее поведении в ответ на их действия, а также с различиями в представлениях о выполняемой задаче, делают такую АСР нежизнеспособной.

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

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

Как отмечается в работах /6, 7/ сложность разработки высококачественных ГПИ заключается в том, что, с одной стороны, ГПИ должен удовлетворять требованиям конечных пользователей (быть простым в изучении и легким в использовании), с другой стороны, ГПИ является сложной многозадачной системой, которую трудно проектировать и отлаживать.

Проведенные исследования в области разработки ПИ позволили установить следующее:

1) Разработка высококачественного ГПИ является сложной задачей: половина всего затраченного на создание компьютерной системы отводится на разработку ГПИ.

2) Применение формальных спецификаций позволяет повысить качество ГПИ.

3) ГПИ должен удовлетворять требованиям конечных пользователей.

4) Для снижения затрат, связанных с проектированием ГПИ, необходимы специальные инструментальные средства быстрого прототипирования ПИ, использующие язык формальных спецификаций.

Основные концепции по применению инструментальных средств разработки ПИ изложены в работах Б. Майерса /12, 15, 38/, Д. Касика /40/, С. Хадсона /43/, П. Таннера и В. Бакстона /51/, Е. Эдмондса и Е. МакДейда /52/- по применению методов разработки ПИ — в работах Дж. Бонни и Д. Киераса /18,19/, Д. Карра /28/, Александера /31/, А. П. Гордиенко /7, 20,42, 102/ и других авторов.

На данный момент не существует общепринятых методов и инструментальных средств разработки ГПИ на основе требований пользователей и особенностей предметной области, использующих языки формальных спецификаций, что определяет актуальность темы диссертационного исследования.

Объект исследования — автоматизированная система раскладки (АСР) лекал сложной конфигурации (на примере швейных изделий).

Предмет исследования — методы и инструментальные средства проектирования ГПИ для АСР лекал сложной конфигурации.

Цель диссертационной работы — повышение эффективности использования АСР лекал сложной конфигурации за счет применения инструментальных средств и методики проектирования ГПИ.

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

1) Исследовать методы и инструментальные средства разработки ГПИ для решения задачи проектирования высококачественного ГПИ для АСР лекал сложной конфигурации.

2) Разработать методику проектирования ГПИ для АСР лекал сложной конфигурации, позволяющую на основе требований пользователей и особенностей прикладной задачи построить программную модель ГПИ.

3) Разработать инструментальную систему проектирования ГПИ для АСР лекал сложной конфигурации.

4) Провести экспериментальные исследования по применению методики и инструментальной системы проектирования ГПИ для АСР лекал сложной конфигурации (на примере АСР лекал швейных изделий).

Научная новизна работы.

1) Разработана комплексная методика проектирования ГПИ для АСР лекал сложной конфигурации, основанная на последовательном применении метода анализа задач CMN-GOMS, нотации действий пользователя, языка взаимодействующих последовательных процессов Хоара, объединяющая их путем трансляции с языка анализа задач на язык действий пользователя и с языка действий пользователя на язык последовательных взаимодействующих последовательных процессов.

2) На основе созданной автором методики разработана программная модель ГПИ для раскладки лекал швейных изделий, базирующаяся на алгебре взаимодействующих последовательных процессов Хоара, реализующая необходимый набор функций для решения задачи раскладки лекал, независящая от аппаратных и программных средств реализации АСР.

3) Разработана на базе созданной автором методики инструментальная система проектирования ГПИ для АСР лекал сложной конфигурации, позволяющая сформулировать спецификации ГПИ на языке анализа задач, на языке действий пользователя с последующим получением программной модели, осуществить ее реализацию и отладку (на примере программной модели ГПИ для раскладки лекал швейных изделий).

4) Предложены язык анализа задач и язык действий пользователя, с разработанными для них синтаксисом и семантикой.

Практическая ценность работы.

1) Разработанные методика проектирования ГПИ и программная модель ГПИ для раскладки лекал, позволяют строить и формально анализировать логику поведения человеко-машинного взаимодействия.

2) Инструментальная система проектирования ГПИ АСР позволяет получить спецификацию требований пользователей, реализовать методику проектирования ГПИ, формализованную модель и произвести ее отладку с целью получения высококачественного программного продукта.

Использование результатов диссертационного исследования для раскладки лекал швейных изделий позволило снизить затраты на проектирование моделей изделий на 15−19%, что подтверждается соответствующими актами о внедрении.

Положения, выносимые на защиту.

1) Методика проектирования ГПИ для АСР лекал сложной конфигурации с учетом требований пользователей и особенностей прикладной задачи, включающая три этапа: анализ требований, анализ задач и построение программной модели ГПИ.

2) Программная модель ГПИ для раскладки лекал швейных изделий, имеющая оптимальный набор задач, достаточный для реализации всех необходимых функций при раскладке лекал, логика диалога которой сводится к формальному описанию на языке алгебры процессов Хоара.

3) Инструментальная система проектирования ГПИ для АСР лекал сложной конфигурации, реализующая методику проектирования ГПИ и программную модель ГПИ для раскладки лекал (на примере швейных изделий).

4) Языки анализа задач и действий пользователя с разработанными синтаксисом и семантикой для спецификаций ГПИ.

Апробация работы.

Основные положения и результаты работы были представлены на следующих научных конференциях: Международная научнотехническая конференция «Информационные технологии в науке, образовании и производстве» (ИТНОП), Орел (2004 г.) — Межвузовская научно-практическая конференция, посвященная 25-летию Камского государственного политехнического института «ВУЗОВСКАЯ НАУКАРОССИИ», Набережные Челны (2005 г.) — Международная научно-практическая Интернетконференция «НАУЧЫЕ ИССЛЕДОВАНИЯ И ИХ ПРАКТИЧЕСКОЕ ПРИМЕНЕНИЕ», Одесса (2005 г.).

Исследование проводилось в рамках гранта Российского Фонда фундаментальных исследований (РФФИ) «Разработка формальных методов проектирования графического пользовательского интерфейса в форме иерархии интеракторов», № 05−01−96 404.

По результатам исследований опубликовано 8 работ.

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

Реализация и внедрение результатов работы.

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

Публикации.

По теме диссертации опубликовано 7 статей.

Структура и объем работы.

Диссертационная работа состоит из введения, четырех глав, заключения, списка использованных источников и изложена на 156 страницах. В рукописи имеется 38 рисунков, 8 таблиц, 22 формулы, список использованных источников, содержащий 121 наименование.

7) Результаты работы используются в учебном процессе кафедры «Информационные системы» Орловского государственного технического университета и в акционерном обществе «Радуга» г. Орла.

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

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

  1. САПР PAD System. — Электронный ресурс.- Способ доступа: URL: http ://www.grafis.ru/sty le/print.shtml?/cads/texts/01 cad. txt
  2. Особенности организации технологического процесса в швейной мастерской. Электронный ресурс.- Способ доступа: URL: http://www.ilimnet.ru/edu/schooll-10/vlmmast/sh/2−2.htm
  3. Современные технологии пошива одежды. Электронный ресурс.-Способ доступа: URL: http://www.ilimnet.ru/edu/schooll-10/vlmmast/sh/2-l.htm
  4. М.В., Холина Т. Ю., Павлов A.M. Раскладка лекал в САПР «Ассоль». Электронный ресурс.- Способ доступа: URL: http://holina.ru/work/sew4-Ql/index.htm
  5. Конструирование и моделирование одежды. САПР «Конструктор». Электронный ресурс.- Способ доступа: URL: http://users.kaluga.ru/dam
  6. Myers В.А. Why are Human- Computer Interfaces Difficult to Design and Implement?// Carnegie Mellon University School of Computer Science Technical Report, no. CMU- CS- 93- 183, July, 1993
  7. А.П. Модели графического пользовательского интерфейса// Вестник МЭИ, — 2003.- № 2.- С. 83 90-
  8. ShihaiDong. Computer User Interface and Tools, Scientific Publishing House, 1994, P. 172−184
  9. Г. Н. Проектирование экономических информационных систем/ Г. Н. Смирнова, А. А. Сорокин, Ю. Ф. Тельнов.- М.: Финансы и статистика, 2003, — 512 с.
  10. A.M. Анализ требований и проектирование систем. Разработка информационных систем с использованием UML.- М.: Вильяме, 2002.432 с.П.Хоар Ч. Взаимодействующие последовательные процессы. М.: Мир, 1989, 264с.
  11. Myers В.А. User Interface Software Tools. Computer Science Department, Carnegie Mellon University, 1994, P. 44-
  12. С., Уразметов В. Графические интерфейсы и средства их разработки// Материалы конференции «Индустрия программирования '96″. Электронный ресурс.- Способ доступа: URL: http://www.citforum.ru / programming /рге96/ indedx. shtml
  13. В.В. Методы и средства разработки пользовательского интерфейса: современное состояние.- Электронный ресурс.- Способ доступа: URL: http://www.iacp.dvo.ru/es/publ/l 11 .rtf
  14. Myers В.А., Rosson M.B. Survey on User Interface Programming. -Scholl of Computer Science, Carnegie Mellon University, 1992, P. 14
  15. ISO 7942- 1985E.- Information Processing System.- Computer Graphics.-Functional Specification of the Graphical Kernel System (GKS)
  16. Card S.K., Moran T.P., Newell A. The Psychology of Human Computer Interaction. — Lawrence Erlbaum, Hillsdale, N.G., 1983
  17. John Bonnie E., David Kieras E. The GOMS Family of User Interface Analysis Techniques: Comparison and Contrast// ACM Transactions on Computer -Human Interaction, Vol. 3, No. 4, December 1996, P. 320−351
  18. John Bonnie E., David Kieras E. Using GOMS for User Interface Design and Evaluation: Which Technique?, 1996, P. 11−30
  19. Bass L., Coutaz J., Unger С. A reference model for interactive system contraction// EWHCI'92.- 1992.- St. Petersburg, P. 23- 30
  20. Specification Methods of Multimodal Interactive Systems. Электронный ресурс.- Способ доступа: URL: http://citeseer.ist.psu.edu/specify.pdf
  21. Clarke D.T., Crum G.P. Dialogue Specification and Control: A Review of Models and Techniques. Электронный ресурс.- Способ доступа: URL: http://www.visualize.uk.com/resources/papers/dialspec.html
  22. Corporation R. Unified Modeling Language (UML). Электронный ресурс.- Способ доступа: URL: http://www.rational.com
  23. UML по-русски. Электронный ресурс.- Способ доступа: URL: http://uinl.ru
  24. Помощь студенту. UML. Электронный ресурс.- Способ доступа: URL: http://uinl.boom.ru
  25. User Action Notation (UAN). Электронный ресурс.- Способ доступа: URL: http://www.it.bton.ac.uk/staff/teaching/notes/UAN.html-
  26. Chen Min Multimodal User Interface Research (MUIR): Model, Specification and Design. Peking University, 1997. — P. 20
  27. Alexander Н. Formaly- based tools and techniques for human- computer dialogues.- New York: John Wiley & Sons, 1987
  28. Plotkin G.D. A structural approach to operational semantics. Technical Report DAIMI FN-19? Computer Science Department, Aarhus University, 1981
  29. Dlodlo N., Bamford C. A Survey of User Interface Management Systems. Liverpool: School of Computing and Mathematical Sciences, 1997, P. 50
  30. Larry Tesler. The Smalltalk Enviroment// Byte Magazine 6, 8 (Aug. 1981), P. 90−147
  31. Warren Taitelman. A Display Oriented Programmers' Assistant// International Journal of Man-Machine Studies 11 (1179), P. 157−187
  32. Joel McCormack, Paul Asente. An Overview of the X Toolkit. ACM SIGGRAPH Symposium on User Interface Software and Technology, Proceeding UIST'88, Banff, Alberta, Canada, Oct. 1988, P. 46−55
  33. Mark A. Linton, John M. Vlissides, Paul R. Calder. Composing User Interfaces with Interviews// IEEE Computer 22, 2 (Feb. 1989), P. 8−22
  34. Brad A. Myers, Dario A. Giuse, Roger B. Dannenberg, Brad V. Zanden and others. Garnet: Comprehensive Support for Graphical Highly-Interactive User Interfaces// IEEE Computer 23, 11 (Nov. 1990), P. 71−85
  35. John K. Ousterhout. An XI1 Toolkit Based on the Tel Language.- Winter, USENIX, 1991, P. 05−115
  36. Kasik D.A. A User Interface Management System. Computer Graphics, 1982, V. 16, № 4, P. 99−106
  37. Implementation Support. Электронный ресурс. Режим доступа: http://www.comp.lancs.ac.uk/computing/users/dixa/teaching/MScHCI/notes-2003/e3-chap-08-extract.pdf
  38. А.П. Анализ подходов к программированию пользовательского интерфейса// Пользовательский интерфейс: исследование, проектирование, реализация. Вып. 1. — Орел, 1991, с. 28−39
  39. Hudson S.E. UIMS Support for Direct Manipulation Interfaces// Computer Graphics. V. 21.- № 2, 1987, P. 120−124
  40. Reynolds C. A Critical Examination of Separable User Interface Management Systems: Constructs for Individualization // SIGCHI, V.29, No. 3, 1997
  41. Goldberg A., Robson D., Smalltalk-80: The Language and its Implementation. Massachusetts: Addison — Wesley, 1983
  42. Krasner G.E., Pope S.T. A Cookbook For Using the Model- View-Controller User Interface Paradigm in The Smalltalk-80 System, Journal of Object Oriented Programming. 1988, Vol.1, P. 26−49
  43. Burbeck S. Applications Programming in Smalltalk-80™: How to use Model View — Controller (MVC). Электронный ресурс.- Способ доступа: URL: http: // www.cosc.canterbury.ac.nz/~wolfgang/cosc205/mvc.html
  44. J. РАС, an Object Oriented Model for Dialog Design. // INTERACTS. 1987, P. 431−436
  45. Coutaz J. PAC-ing the Architecture of Your User Interface. // DSV-IS'97.- 1997, P. 15−32
  46. Shneiderman B. Direct manipulation. A step beyond programming languages // Computer.-1983.- Vol. l6.-N.8.-P.57−69
  47. Tanner P.P., Buxton W. Some Issues in Future User Interface Management System (UIMS) Development. In Pfaff G. (Ed.), User Interface Management Systems, Berlin: Springer Verlag, P. 67−79
  48. Edmonds E.E., McDaid E. An architecture for knowledge-based front-ends//Knowledge-Based Systems, 3 (4), P. 221−224
  49. П. Функциональное программирование: применение и реализация. М.: Мир, 1983, 350 с.
  50. Э., Сепянен И. Мир Лиспа.- М.: Мир, 1990.- 2 т.
  51. Haskell Collection. Электронный ресурс.- Способ доступа: URL: http://isabase.philol.msu.ru/fp/haskell
  52. Haskell Functional Programming Language. Электронный ресурс.-Способ доступа: URL: http://haskell.org
  53. А., Харрисон П. Функциональное программирование. М.: Мир, 1993,640 с.
  54. Bass L., Coutaz J. Requirements for UIMS.- Submitted to the Esprit/ Eurographics Workshop on the User Interface Management Systems and Environments, Lisbon, 4−5 June, 1990, — P. 16
  55. E. Стандартизация пользовательского интерфейса. Электронный ресурс. Способ доступа: URL: http://www.osp.ru/ os/2002/ 04/03 7. htm
  56. ISO 9241−12−1998.- Ergonomic requirements for office work with visual display terminals (VDTs).- P. 12.- Presentation of information
  57. ISO/IEC 11 581- (1999−2000).- Usage and appropriateness of icons of the user interface
  58. ISO/ IEC 10 741−1995.- What happens to the cursor control when users interact with text editors
  59. ISO/ IEC 13 407- 1999.- Designing user interfaces with humans in mind
  60. ISO 9241−14−1997 Ergonomic requirements for office work with visual display terminals (VDTs).- P. 14.- Menu dialogues
  61. ISO 9241−10−96.- Ergonomic requirements for office work with visual display terminals (VDTs).- P. 10, — Dialogue principals
  62. ISO 9241−16−1998 Ergonomic requirements for office work with visual display terminals (VDTs).- P. 16.- Direct manipulation dialogues
  63. Т. Разработка пользовательского интерфейса. М.: ДМК Пресс, 2005.-416 с.
  64. В., Эссинг Г., Маас С. Диалоговые системы „человек ЭВМ“. Адаптация к требованиям пользователя. -М.: Мир, 1984
  65. ISO 9241−10−98.- Ergonomic requirements for office work with visual display terminals.- P. 11.- Guidance on usability specification and measures
  66. Методология функционального моделирования IDEFO.- M.: Госстандарт России, 2000.- 75 с.
  67. Р. Проектирование и конструирование компиляторов. М.: Финансы и статистика, 1984.- 232 с.
  68. Aho A., Sethi R., Ullman J. Compilers: principles, techniques and tools.-Addison-Wesley, Reading, MA, 1986
  69. X. Ламбда исчисление. — M.: Мир, 1985, 606 с.
  70. Дж. Программирование баз данных в Delphi 2.0.- Минск: Попурри, 1997, — 448 е.: ил.
  71. Справочник по SQL. Электронный ресурс.- Способ доступа: URL: http://sql.itsof.ru
  72. Логический подход к искусственному интеллекту: от классической логики к логическому программированию: Пер. с франц./ Тейз А., Грибо-мон П., Луи Ж. И др. М.: Мир, 1990.- 432 е.: ил.
  73. Е.А., Руденко Т. В. Формальные грамматики и языки. Элементы теории трансляции: Учеб. пособие/ Е. А. Волкова, Т. В. Руденко. М.: Московский государственный университет им. Ломоносова, 1996.- 60 с.
  74. MacColl I., Carrington D. Translating UAN into CSP.- Software Verification Research Center, Department of Computer Science & Engineering, The University of Queensland, Brisbane QLD 4072, Australia, 1999.- P.8
  75. Spivey J. M. The Z Notation: A Reference Manual.- Prentice Hall, 2nd edition, 1992
  76. Peterson J. L. Petri Nets. ACM Computing Surneys, 9(3): 223- 252, Sept., 1997
  77. Palanque P., Bastide R., Senges V. Validating interactive system design through the verification of formal task and system models. In EHCI95, pages 189 211. Chapmam & Hall, 1995
  78. E. Основы функционального программирования. Электронный ресурс.- Способ доступа: URL: http://www.luckv.net/
  79. Функциональные языки. Электронный ресурс.- Способ доступа: URL: http://www.ssh.tepcom.ru/msk/
  80. Hughes J. Why Functional Programming Matters // Computer Journal, 32 (2), 1989
  81. Simpson Т., Birtwistle G., Hermann М., Graham В. A compiler For Lisp-Kit Targetted At Henderson’s SECD Machine. Computer Science Technical Report, January 1,1989.- P. 50
  82. Simpson Т., Birtwistle G., Hermann M., Graham B. The Architecture of Henderson’s SECD mashine.- Computer Science Technical Report, January 1, 1989.- P. 76
  83. Graef A. TP Lex and Yacc User Manual. Wonsheim, 1991.- 23 c.
  84. Graef A. TP Lex/ Yacc 3.0 for Delphi. Электронный ресурс.- Способ доступа: URL: http://17slon.com/gp/gp/tplv.htm
  85. Lesk M. E., Schmidt Е. Lex A Lexical Analyzer Generator. Электронный ресурс.- Способ доступа: URL: http://www.cs.utexas.edu/ users/novak/ lexpaper. htm
  86. Johnson S.C. Yacc: Yet Another Compiler-Compiler. Электронный ресурс.- Способ доступа: URL: http://dinosaur.compilertools.net
  87. Andrew W. Appel Modern Compiler Implementation in Java. CAMBRIDGE UNIVERSITY PRESS, 1998.- 548 c.
  88. Рейурод-Смит В. Дж. Теория формальных языков. Вводный курс/ Пер. с англ. -М.: Радио и связь, 1988, 128 с.
  89. Abelson Н., Sussman G.J. Structure and Interpreting of Computer Programs-
  90. Лукин С. Turbo Pascal 7.0. Самоучитель для начинающих, — 2-е издание.» М.: Диалог МИФИ, 2000.- 400 с.
  91. Я. Язык программирования Паскаль без секретов.- М.: Новый издательский дом, 2004, — 319 с.
  92. Ресурсосберегающая HiTech технология раскроя рулонных текстильных материалов. Электронный ресурс.- Способ доступа: URL: http:// www.inno.ru/proj ects/sho w/?id=761
  93. В., Не J. Specification analysis and refinement of interactive processes// Formal Methods in Human Computer Interaction, Cambridge University Press, 1990.- P. 153−200
  94. Duke D.J., Harrison M.D. Abstract Interaction Objects// Computer Graphics Forum, 1993.- Vol. 12.- N 3.- P. 26- 36
  95. Eitan Gurari An Introduction to the Theory of Computation. Ohio State University Computer Science Press, 1989
  96. Автоматизированная система ТПП Диа Ман Диал Инжиниринг. Электронный ресурс.- Способ доступа: URL: www. dial-eng.spb.ru
  97. Организация технологической подготовки производства. Электронный ресурс.- Способ доступа: URL: http://www.5ka.ru/81/18 814/1 .html
  98. Системы автоматизированного проектирования. Электронный ресурс.- Способ доступа: URL: http://www.andreeva-galin.narod.ru
  99. Обзор АСТПП. Электронный ресурс.- Способ доступа: URL: http://www.techno-svs.com/rus/html/
  100. Автоматизация производства. Электронный ресурс.- Способ доступа: URL: http://apxmed.narod.ru/ceni.htm
  101. В. Дизайн пользовательского интерфейса// http://www.uibookl .ги/ПО.Коутс Р., Влеймник И. Интерфейс «Человек компьютер». — М.: Мир, 1990
  102. А.П. Объектно- ориентированный подход к управлению пользовательским интерфейсом в графических редакторах САПР: Автореф. к.т.н.-М., 1995
  103. А.А. Исследование подсистемы ведения графической документации в АСТПП машиностроения с поддержкой геометрических ограничений целостности: Автореф. к.т.н.- Орел, 2004
  104. О.В., Митин А. А. Индуктивный вывод ограничений целостности в графических редакторах САПР // Сборник трудов «Известия ОрелГТУ. Информационные системы и технологии».- Орел: Изд-во Орл. гос. тех. ун-та, 2003.- Выпуск 1.- С. 112−118
  105. О.В. Проектирование графического пользовательского интерфейса: от анализа задач к построению формальной модели// Региональный вестник молодых ученых: Сборник статей молодых ученых и аспиран-тов.-М., 2005.-№ 5.-С. 13−14
Заполнить форму текущей работой

Заказал и сдал!