Графо-аналитический подход к анализу и контролю потоков работ в автоматизированном проектировании сложных компьютеризованных систем тема диссертации и автореферата по ВАК РФ 05.13.12, доктор технических наук Афанасьев, Александр Николаевич

• Афанасьев, Александр Николаевич
• доктор технических наук
• 2011

Оглавление диссертации доктор технических наук Афанасьев, Александр Николаевич

Принятые сокращения и обозначения.

Введение.

Глава 1. Концептуальные основы графо-аналитического подхода.

1.1. Место и роль диаграммных рассуждений в коллективной разработке сложных компьютеризованных систем.

1.2. Методы и средства проектирования и реализации потоков работ.

1.3. Основные принципы графо-аналитического подхода.

1.4. Вопросно-ответный анализ концепций графо-аналитического подхода.

Выводы.

Глава 2. Разработка и анализ моделей управления потоками проектных работ.

2.1. Разработка ассоциативно-ориентированной модели управления потоками работ.

2.2. Построение и доказательство корректности параллельных сетевых схем работ.

2.3. Разработка лингвистического представления модели управления потоками проектных работ и метода его анализа.

Введение диссертации (часть автореферата) на тему «Графо-аналитический подход к анализу и контролю потоков работ в автоматизированном проектировании сложных компьютеризованных систем»

Актуальность проблемы. В настоящее время проектирование, производство, внедрение и реинжиниринг сложных систем, использующих программное обеспечение, сталкивается с рядом принципиальных проблем, оказывающих негативное влияние на их успешность. В зарубежной теории и практике такой класс систем получил название систем, интенсивно использующих программное обеспечение (Software Intensive Systems - SIS). Выделение таких систем в отдельный класс (около 20 лет назад) было вызвано проблемой успешности их создания (непозволительно высокий выход разработок за рамки запланированных временных, финансовых и функциональных параметров). В российской нормативной базе классу SIS близок класс автоматизированных систем (АС), который подчинен классу SIS.

Для снижения негативных влияний на разработку SIS за последние годы в теорию и практику системной инженерии введены такие парадигмы, как жизненный цикл программных систем, линейки программных продуктов, потоки работ, организационно-профессиональная зрелость, коллективная обработка и проектирование, система компетенций, а также множество стандартов (например, ISO/IEC 12207, IEEE Std 1471, ISO/IEC 9126), в частности введен и активно используется стандарт «ГОСТ Р ИСО 9004-2010 МЕНЕДЖМЕНТ ДЛЯ ДОСТИЖЕНИЯ УСТОЙЧИВОГО УСПЕХА ОРГАНИЗАЦИИ».

Значительный вклад в теорию и практику разработки SIS внесли российские и зарубежные ученые Васильев С. Н., Емельянов С. В., Иванников В. П., Камаев В. А., Курейчик В. М., Липаев В. В., Норенков И. П., Советов Б. Я., Hall A., Sage A., Booch G., Rumbaugh D., Jacobson I., Boem R., Kruchten Ph. и др.

Особое место в достижении успешности разработки SIS отведено диа-грамматике в визуальных формах артефактов, сопровождающих проектную деятельность (UML, IDEF, ER, DFD, еЕРС, SDL-диаграммы, параллельные граф-схемы - ПГС и др.).

Акцент на диаграмматику обусловлен рядом причин: 5

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

- требованиями нормативной диаграммной регистрации процесса разработки, его составляющих, а также продуктов проектных действий;

- попытками автоматической и/или автоматизированной трансформации диаграммных схем в их материальное воплощение.

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

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

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

Модельное представление бизнес-процессов и их систем оказалось настолько полезным, что оно широко применяется в различных предметных областях и с различными целями. Потоки работ являются базовым модельным представлением динамики практически во всех технологиях разработки SIS, в частности в технологии RUP. Анализ существующих технологий демонстрирует, что типичными формами контроля диаграмматики потоков работ являются:

- их конструктивное создание с использованием специализированных декларативных языков без автоматических и/или автоматизированных проверок синтаксиса;

- многократный преднамеренный или ситуационный визуальный просмотр диаграмм разработчиками SIS и другими заинтересованными лицами.

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

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

В управлении потоками работ широко применяются специализированные процессоры (workflow engines), подобные компьютерным процессорам, использующим алгоритмические программы. Этот факт подсказывает идею аналогового наследования методов и средств контроля из опыта алгоритмических процессов. Одной из подсказок для такого наследования является использование паттернов потоков работ, схемы которых подобны алгоритмическим схемам.

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

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

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

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

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

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

1. Анализ технологий проектирования SIS и автоматизированных систем.

2. Анализ подходов, методов и средств обработки потоков проектных работ.

3. Разработка основ прикладной теории ассоциативного управления потоками работ.

4. Развитие теории анализа, перевода и компиляции графических языков потоков проектных работ.

5. Разработка методов и средств обработки лингвистических моделей 8 потоков проектных работ.

6. Разработка интеллектуальной автоматизированной обучающей системы проектированию, моделированию и анализу потоков проектных работ СКС.

7. Разработка программно-структурных средств обработки моделей потоков проектных работ.

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

Направление исследований связано с использованием аналогий из компьютерного программирования для развития теории и практических средств управления, создания, контроля, анализа и моделирования ППР при проектировании СКС.

Объектом исследований является применение диаграмматики ППР при создании СКС, нацеленное на снижение ошибок проектирования и, тем самым, на повышение успешности проектов.

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

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

Научная новизна результатов исследования. В диссертации получены следующие основные результаты, характеризующиеся научной новизной.

1. Разработан графо-аналитический подход, система принципов, теоре9 тических составляющих, моделей, методов и средств которого представляет собой методолого-технологическую основу для анализа и контроля диаграммных схем на концептуальном этапе проектирования СКС, нацеленных на снижение ошибок проектирования за счет использования грамматических формализмов, моделирующих по образцам программирования статику и динамику потоков проектных работ.

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

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

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

10 вать опыт проектных решений, уменьшая риски совершения проектных ошибок. Разработана модель классификации объектов проектных работ на базе карт Кохонена.

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

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

Разработана архитектура и программно-информационное обеспечение системы обработки лингвистических моделей потоков проектных работ.

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

Разработаны структурные решения процессоров контроля диаграмм потоков проектных работ на основе автоматных графических грамматик.

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

11

Результаты работы внедрены на следующих промышленных предприятиях: ФНПЦ ОАО НПО «Марс» (г. Ульяновск), ОАО «Ульяновский механический завод» (г. Ульяновск). Результаты исследования использованы в рамках ФЦП «Научные и научно-педагогические кадры инновационной России» на 2009-2013 годы (госконтракт № 02.741.11.2135), при выполнении х/д НИР № Д286 с УВАУГА, г/б НИР № 13-02.03.06 «Методы и средства проектирования интеллектуальных САПР (№ гос. per. 01200706629, отчет за 2006- 2010 гг. инв. № 02201150531). Результаты диссертационной работы используются также в учебном процессе кафедры Вычислительной техники Ульяновского государственного технического университета при обучении студентов направления «Информатика и вычислительная техника». Под руководством автора защищены 4 кандидатских и 22 магистерских диссертации по тематике исследования.

Апробация работы. Основные положения диссертационной работы докладывались и обсуждались на Всесоюзной конференции «Микропроцессорные системы» (Челябинск, 1984), Всесоюзных школах-семинарах «Распараллеливание обработки информации» (Львов, 1985, 1987), Российской научно-технической конференции «Системный анализ и принятие решений в задачах автоматизированного обеспечения качества и надежности изделий приборостроения и РЭА» (Махачкала, 1991), Российской научно-технической конференции «Интерактивные системы» (Ульяновск, 1993), международных НТК «Интерактивные системы: проблемы человеко-компьютерного взаимодействия», (Ульяновск, 1995, 1997, 1999, 2001, 2003, 2005, 2007, 2009, 2011), международной НТК «Непрерывнологические и нейронные сети и модели» (Ульяновск, 1995), Всероссийской НПК «Современные проблемы создания и эксплуатации радиотехнических систем» (Ульяновск, 1998), Третьей всероссийской научно-практической конференции (с участием стран СНГ) «Современные проблемы создания и эксплуатации радиотехнических систем» (Ульяновск, 2001), международной конференции «Континуальные логико-алгебраические исчисления и нейроматематика в науке, технике и экономике» (Ульяновск, 2001), международной конферен

12 ции «Континуальные алгебраические логики, исчисления и нейроинформа-тика в науке, технике и экономике» (Ульяновск, 2003), международной научной конференции «Компьютерное моделирование и информационные технологии в науке, инженерии и образовании» (Пенза, 2003), международной конференции «Новые информационные технологии и системы» (Пенза, 2006), Всероссийской конференции с элементами научной школы для молодежи «Проведение научных исследований в области обработки, хранения, передачи и защиты информации» (Ульяновск, 2009), VII международной конференции «Математическое моделирование физических, экономических, технических, социальных систем и процессов» (Ульяновск, 2009), конгрессах по интеллектуальным системам и информационным технологиям «А18-1Т'9,10» и «18&ГГ11» (Дивноморское, 2009-2011), Первой всероссийской конференции с международным участием «Системный анализ и семиотическое моделирование» (8А8М-2011) (Казань, 2011), Российских научно-технических конференциях «Информатика и вычислительная техника» (Ульяновск, 2009- 2011), Российских научно-технических конференциях «Информатика, моделирование, автоматизация проектирования» (Ульяновск, 2009, 2010), профессорско-преподавательских конференциях ЛЭТИ им. В. И. Ульянова (Ленина) (Ленинград, 1984-1986), профессорско-преподавательских конференциях Ульяновского политехнического института и Ульяновского государственного технического университета (Ульяновск, 1980-1983, 1987-2011).

Публикации. По теме диссертации опубликовано 98 научных работ, в том числе 12 - в изданиях, рекомендованных ВАК РФ, 4 монографии, 26 свидетельств о государственной регистрации программ для ЭВМ, 3 авторских свидетельств на изобретения.

Структура и объем работы. Диссертация состоит из введения, шести глав, заключения, приложений и списка литературы из 356 наименований. Основная часть работы изложена на 315 страницах и содержит 144 рисунка и 67 таблиц.

Заключение диссертации по теме «Системы автоматизации проектирования (по отраслям)», Афанасьев, Александр Николаевич

Выводы и рекомендации

1. Разработанный комплекс программных средств контроля, анализа, трансляции, классификации, повторного использования и обучения рекомендуется применять в инструментальных средах автоматизированного проектирования СКС, таких как RUP, ARIS и др. , а также для автономных средств MS Visio, Dia> BPWin, ERWin и др. Использование разработанных программных средств позволит контролировать и исправлять ошибки в практике проектирования СКС, а также предотвратить их появление.

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

Заключение

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

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

Получены новые научные результаты:

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

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

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

4. Разработан нейро-семантический метод обработки лингвистических моделей ППР, позволяющий настраивать среду проектирования и накапливать опыт проектных решений, уменьшая риски совершения проектных ошибок. Разработана модель классификации объектов проектных работ на базе карт Кохонена.

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

6. Разработано программно-информационное обеспечение связной совокупности систем контроля, анализа и трансляции, классификации, повторного использования и обучения.

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

Список литературы диссертационного исследования доктор технических наук Афанасьев, Александр Николаевич, 2011 год

1. Айвазян С. А., Бухштабер В. М., Енюков И. С., Мешалкин J1. Д. Прикладная статистика: классификация и снижение размерности. — М.: Финансы и статистика, 1989.

2. Алиев, Р. А. Теория интеллектуальных систем / Р. А. Алиев, Р. Р. Алиев. Баку : Чашигоглу, 2001. - 720 с.

3. Алферова, 3. В. Теория алгоритмов / 3. В. Алферова. М. : Статистика, 1973.- 164 с.

4. Анишев, П. А. Методы параллельного микропрограммирования / П. А. Анишев, С. М. Ачасова, О. J1. Бандман и др. Новосибирск :1. Т—То1 ОЙ 1 1 R4 г

5. J. iu^ uu^ 1 у О А . 1 О « VI

6. Арефьев, А. А. Язык граф-схем параллельных алгоритмов и его расширения / А. А. Арефьев, Ю. П. Кораблин, В. П. Кутепов // Программирование. 1981. -№4. - С. 14-25.

7. Архангельский, А. Я. Программирование в С++ Builder 5 / А. Я. Архангельский. М. : Бином Пресс, 2000.

8. Аткинсон, JI. MySQL. Библиотека профессионала / JI. Аткинсон. -M. : Вильяме, 2002. 624 с.

9. Афанасьев, А. Н. Использование нейросемантических сетей для автоматизированного проектирования вычислительной техники / А. Н. Афанасьев, А. Г. Игонин, Т. В. Афанасьева, H. Н. Войт // Автоматизация и современные технологии. 2008. - №1. - С. 21-24.

10. Афанасьев, А. Н. Применение параллельных сетевых схем алгоритмов при построении модели транслятора / А. Н. Афанасьев, О. Г. Кокаев, Т. В. Афанасьева // Межвузовский сб. «Проблемы системотехники и АСУ».-Л., 1986.-С. 133-140.

11. Афанасьев, A. H. Interactive designing of computing devices / A. H. Афанасьев, M. В. Егунов // Сб. статей «Interactive systems: the problems of human computer interaction». - Ульяновск,2001.-С. 75-76.

12. Афанасьев, А. Н. Mathematical support for designing of algorithmic processors / A. H. Афанасьев // Сб. статей «Interactive systems: the problems of human computer interaction». - Ульяновск, 2001. - С. 76-78.

13. Афанасьев, A. H. Автоматная графическая грамматика / А. Н. Афанасьев, О. Г. Шаров // Вестник УлГТУ. 2005. - №1. - С. 54-56.

14. Афанасьев, А. Н. Анализ графических спецификаций потоков проектных работ на примере языка UML / А. Н. Афанасьев, Р. Ф. Гайнуллин // Вестник УлГТУ. 2010. - №4. - С. 42-45.

15. Афанасьев, А. Н. Ассоциативное микропрограммирование / А. Н. Афанасьев, А. А. Гужавин, О. Г. Кокаев. Саратов : СГУ, 1991. -116с.

16. Афанасьев, А. Н. Ассоциативные вычисления и структуры в САПР / А. Н. Афанасьев // Международная НТК «Интерактивные системы: проблемы человеко-компьютерного взаимодействия». Ульяновск : УлГТУ, 1995. - 4.1. - С. 32-33.

17. Афанасьев, А. Н. Вопросы технологии параллельного ассоциативного микропрограммирования / А. Н. Афанасьев, А. А. Гужавин // Межвузовский сб. науч. трудов «Проектирование, контроль и диагностика МПС». Ульяновск, 1989. - С. 30-36.

18. Афанасьев, А. Н. Графо-аналитический подход к анализу и контролю потоков работ / А. Н. Афанасьев // Информатика и вычислительная техника: сборник научных трудов. Ульяновск : УлГТУ, 2010. - С. 616623.

19. Афанасьев, А. Н. Интеллектуальная обучающая система концептуальному проектированию автоматизированных систем / А. Н. Афанасьев, Н. Н. Войт // Известия Самарского научного центра Российской академии наук. 2010. - №4 (2). - Т. 12. - С. 465-468.

20. Афанасьев, А. Н. Интерпретация алгоритмов трансляции параллельными сетевыми схемами / А. Н. Афанасьев, О. Г. Кокаев, Т. В. Афанасьева // Всесоюзная школа-семинар «Распараллеливание обработки информации». Львов, 1985. - С. 36-37.

21. Афанасьев, А. Н. Интерпретация нечетных операторных схем алгоритмов в микропроцессорных системах / А. Н. Афанасьев // Межвузовский сб. «Проектирование, контроль и диагностика МПС». -Ульяновск, 1986. С. 53-58.

22. Афанасьев, А. Н. Контроль информации в системах автоматизации проектирования / А. Н. Афанасьев, А. А. Гужавин, О. Г. Кокаев и др. -Саратов : СГУ, 1985.- 136 с.

23. Афанасьев, А. Н. Контроль языков параллельных схем алгоритмов / А.

24. Н. Афанасьев, А. А. Гужавин // Межвузовский сб. «Архитектура, схемотехника и математическое обеспечение микропроцессорных систем управления». М., 1986. - С. 74-82.

25. Афанасьев, А. Н. Математическое обеспечение интеллектуальных обучающих систем САПР / А. Н. Афанасьев, Н. Н. Войт // Труды конгресса по интеллектуальным системам и информационным технологиям «AIS-IT'10». В 4 т. Т.1. М. : Физматлит, 2010. - С. 94-95.

26. Афанасьев, А. Н. Метод предельной структуризации программ для микропроцессорных систем / А. Н. Афанасьев, О. Г. Кокаев, О. В. Панов // Всесоюзная конференция «Микропроцессорные системы». -Челябинск, 1984.-С. 175-176.

27. Афанасьев, А. Н. Методы и средства моделирования вычислительных устройств и систем : учебное пособие / А. Н. Афанасьев, В. В. Шишкин. Ульяновск: УлГТУ, 1996. - 88 с.

28. Афанасьев, А. Н. Методы и средства обработки диаграммных языков / А. Н. Афанасьев // Сборник научных трудов Российской школы-семинара аспирантов, студентов и молодых ученых ИМАП-2009. -Ульяновск : УлГТУ, 2009. С. 16-30.

29. Афанасьев, А. Н. Методы и средства обработки лингвистических структурно-функциональных моделей на основе нейросемантических сетей / А. Н. Афанасьев, А. Г. Игонин. Ульяновск : УлГТУ, 2007. - 227 с.

30. Афанасьев, А. Н. Методы и средства параллельного ассоциативного микропрограммирования / А. Н. Афанасьев, О. Г. Кокаев // VI Всесоюзная школа-семинар «Распараллеливание обработки информации». Львов, 1987. - С. 6-7.

31. Афанасьев, А. Н. Методы и средства трансляции графических диаграмм / О. Г. Шаров ,А. Н. Афанасьев // Программирование. 2011. - №3. - С. 65-76.

32. Афанасьев, А. Н. Методы параллельного ассоциативного микропрограммирования / А. Н. Афанасьев, О. Г. Кокаев // Межвузовский сб. науч. трудов «Вычислительная техника в автоматизированных системах контроля и управления». Пенза, 1987. - С. 51-56.

33. Афанасьев, А. Н. Нейро-семантический подход к обработке функциональных моделей вычислительной техники / А. Н. Афанасьев, А. Г. Игонин // Известия высших учебных заведений. Поволжский регион. Серия «Технические науки». 2006. - №6. - С. 93-100.

34. Афанасьев, А. Н. Нейтрализация ошибок в диаграммных графических языках САПР / А. Н. Афанасьев, В. В. Сычев // Информационные технологии: межвузовский сб. науч. трудов. Ульяновск : УлГТУ, 2008. -С. 187-192.

35. Афанасьев, А. Н. Нейтрализация синтаксических ошибок в графических языках / О. Г. Шаров, А. Н. Афанасьев // Программирование. 2008. -№1. - С. 61-66.

36. Афанасьев, А. Н. Обработка лингвистической информации в микропроцессорных системах / А. Н. Афанасьев, А. А. Гужавин, Т. В. Афанасьева // Всесоюзная конференция «Микропроцессорные системы». -Челябинск, 1984,- С. 177-178.

37. Афанасьев, А. Н. Организация когнитивной автоматизированной обучающей системы (КАОС) промышленных пакетов САПР / А. Н. Афанасьев, Н. Н. Войт // Обозрение прикладной и промышленной математики. 2009. - № 5, том 16. - С. 804.

38. Афанасьев, А. Н. Пакет программ контроля корректности исходных описаний вычислительных устройств / А. Н. Афанасьев, А. А. Гужавин // Программирование. 1983. - №5. - С. 92-93.

39. Афанасьев, А. Н. Построение и интерпретация сетевых схем алгоритмов / А. Н. Афанасьев, О. Г. Кокаев // Межвузовский сб. науч. трудов «Вычислительная техника в автоматизированных системах контроля и управления». Пенза, 1987.-С. 16-19.

40. Афанасьев, А. Н. Применение нейро-семантических сетей для анализа и синтеза структурно-функциональных моделей в системах проектирования / А. Н. Афанасьев, А. Г. Игонин // Системы управления и информационные технологии. 2006. - №4 (26). - С. 1215.

41. Афанасьев, А. Н. Применение нейро-семантических сетей для обработки функциональных моделей проектных решений / А. Н. Афанасьев, А. Г. Игонин // Вестник УлГТУ. 2006. - №2. - С. 69-73.

42. Афанасьев, А. Н. Применение нейросемантического подхода для анализа и синтеза функциональных моделей в системах проектирования / А. Н. Афанасьев, А. Г. Игонин // Вестник Ижевского государственного технического университета. 2007. - №1. - С. 66-69.

43. Афанасьев, А. Н. Программная реализация адаптивной компонентной автоматизированной обучающей системы САПР / А. Н. Афанасьев, H. Н. Войт // Программные продукты и системы. 2008. - №4. - С. 73-75.

44. Афанасьев, А. Н. Программные средства автоматизации инженерного труда. Интегрированная система FRAMEWORK : учебное пособие / А. Н. Афанасьев. Ульяновск : УлГТУ, 1996. - 124 с.

45. Афанасьев, A. H. Процессоры обработки нечеткой информации / А. H. Афанасьев, П. И. Соснин, О. Г. Кокаев. Саратов : СГУ, 1988. -124 с.

46. Афанасьев, А. Н. Разработка алгоритмического, методического и информационного обеспечения АОС для САПР КОМПАС-ЗБ / А. Н. Афанасьев, H. Н. Войт // Вестник Ул-ГТУ. 2005. - №3. - С. 50-56.

47. Афанасьев, А. Н. Разработка анализатора IDEF-диаграмм / А. Н. Афанасьев, Д. Г. Брагин // Вестник УлГТУ. 2011. - №2 (54). - С. 41-49.

48. Афанасьев, А. Н. Разработка графо-алгебраических методов и средств обучения проектной деятельности в САПР / А. Н. Афанасьев, А. В. Максимов // Вестник УлГТУ. 2004. - №3. - С. 49-52.

49. Афанасьев, А. Н. Разработка и исследование моделей автоматизированной обучающей системы САПР / А. Н. Афанасьев, H. Н. Войт // Автоматизация процессов управления. 2009. - №4. - С. 77-84.

50. Афанасьев, А. Н. Разработка и реализация компонентной модели представления учебного материала / А. Н. Афанасьев, H. Н. Войт // Труды международной конференции «Новые информационные технологии и системы». Пенза : ПГУ, 2006. - Т. 2. - С. 174.

51. Афанасьев, А. Н. Разработка компонентной автоматизированнойобучающей системы САПР на основе гибридной нейронной сети / А. Н. Афанасьев, Н. Н. Войт // Автоматизация и современные технологии.-2009.-№3.-С. 14-18.

52. Афанасьев, А. Н. Разработка метода синтеза проектных решений на основе нейросетевого подхода / А. Н. Афанасьев, А. Г. Игонин //

53. Interactive Systems: The Problems of Human-Computer Interaction 2005: Proceedings of the International Conference. Ulyanovsk : U1STU, 2005. -P. 44-46.

54. Афанасьев, А. Н. Формальные языки и грамматики : учебное пособие / А. Н. Афанасьев. Ульяновск : УлГТУ, 1997. - 82 с.

55. Ахо, А. Компиляторы. Принципы, технологии, инструменты / А. Ахо, Р. Сети, Д. Ульман. М. : Издательский дом «Вильяме», 2003. - 768 с.

56. Ахо, А. Теория синтаксического анализа, перевода и компиляции / А. Ахо, Д. Ульман. -М. : Мир, 1978. Т. 1. -612 с.

57. Ахо, А. Теория синтаксического анализа, перевода и компиляции: В 2-х томах. Т. 1. Синтаксический анализ / А. Ахо, Д. Ульман. М. : Мир, 1978.-612 с.

58. Баранов, С. И. Синтез микропрограммных автоматов / С. И. Баранов. -М. : Энергия, 1979. 232 с.

59. Башмаков, А. И. Разработка компьютерных учебников и обучающих систем / А. И. Башмаков, И. А. Башмаков. М. : Информационно-издательский дом.

60. Башмаков, И. А. Модель семантической сети для представленя учебного материла в компьютерных обучающих средствах / И. А. Башмаков, П. Д. Рабинович // Master's thesis. 2002. - Режим доступа : http://www.rabinovitch.ru/public/art02 2002 04 10.pdf.

61. Безруков, Н. С. Выделение информативных признаков для системы поддержки принятия решения на основе нейро-нечеткой сети / Н. С. Безруков, Е. JI. Еремин // Нейрокомпьютеры. 2007. - №1-2.

62. Буль Е.Е. Сравнительный анализ моделей обучаемого // Труды X Всероссийской научно-методической конференции "Телематика"2003" -2003. Т2 - с.364-366.

63. Бурбаки, Н. Теория множеств / Н. Бурбаки. М. : Мир, 1965. - 450 с.

64. Буч Г. UML. Классика CS / Г. Буч, А. Якобсон, Дж. Рамбо ; пер. с англ. ; под общей редакцией проф. С. Орлова. 2-е изд. — СПб. : Питер, 2006. — 736 с.

65. Буч, Г. UML. Руководство пользователя / Г. Буч, Д. Рамбо, А. Джекобсон. М. : ДМК Пресс, 2001. - 432 с.

66. Буч, Г. Объектно-ориентированное проектирование с примерами применения / Г. Буч ; пер. с англ. М. : Конкорд, 1992. - 519 с.

67. Буч, Г. Язык UML / Г. Буч, Д. Рамбо, А. Джекобсон. М. : ДМК.

68. Вандевурд, Д. Шаблоны С++ : справочник разработчика = С++ Templates: The Complete Guide / Д. Вандервуд, Н. М. Джосаттис. М. : Вильяме, 2003. - 544 с.

69. Вельбицкий, И. В. Технологический комплекс производства программ на машинах ЕС ЭВМ и БЭСМ-6 / И. В. Вельбицкий, В. Н. Ходаковский, JI. И. Шолмов. М. : Статистика, 1980. - 264 с.

70. Вендров, А. М. CASE-технологии. Современные методы и средства проектирования информационных систем / А. М. Вендров. М. : Финансы и статистика, 1998. - 176 с.

71. Вил ван дер Аалст, Кейс ван Хей. Управление потоками работ: модели, методы и системы. М.: Физматлит, 2007. - 316 с.

72. Вудс, В. А. Сетевые грамматики для анализа естественных языков / В. А. Вудс // Кибернетический сборник. Новая серия. 1976. - №13. - С. 120-158.

73. Гаврилова, Т. А. Базы знаний интеллектуальных систем / Т. А. Гаврилова, В. Ф. Хорошевский. СПб. : Питер, 2001.

74. Галушкин, А. И. Нейрокомпьютеры. Кн. 3 / А. И. Галушкин ; под общ. ред. А. И. Галушкина. М. : ИПРЖР, 2000.

75. Галушкин, А. И. Нейронные сети: основы теории / А. И. Галушкин. М. : Издательство: Горячая линия - Телеком, 2010. - 480 с.

76. Гамма, Э. Приемы объектно-ориентированного проектирования. Паттерны проектирования / Э. Гамма, Р. Хелм, Р. Джонсон. СПб. : Питер, 2008. - 366 с.

77. Гвоздева Т.В., Баллод Б.А. Проектирование информационных систем. -Ростов н/Д: Феникс, 2009. 508 с.

78. Гибридная сеть для реализации нечетких моделей с mimo-структурой // Нейрокомпьютеры. 2007. - №1.

79. Гинзбург, С. Математическая теория контекстно-свободных языков / С. Гинзбург. М. : Мир, 1970. - 328 с.

80. Глушков, В. М. Алгебра. Языки программирования / В. М. Глушков, Г. Е. Цейтлин, Е. J1. Ющенко. Киев : Наукова думка, 1978. - 320 с.

81. Глушков, В. М. Методы символьной мультиобработки / В. М. Глушков, Г. Е. Цейтлин, Е. JT. Ющенко. Киев : Наукова думка, 1980. - 252 с.

82. Горбань, А. Н. Нейроинформатика / А. Н. Горбань, В. JI. Дунин-Барковский, А. Н. Кирдин. Новосибирск : Наука, 1998. - 296 с.

83. Гореткина, Е. Перспективы развития САПР / Е. Гореткина // PCWeek. -2007. №35. - Режим доступа : http://pcweek.ru/themes/detail.php?ID=102768& phraseid=1705.

84. ГОСТ 34.003-90. Автоматизированные системы.1. Термины и определения.

85. ГОСТ 34.601-90. Автоматизированные системы. Стадии создания.

86. Гречин И.В. Новый подход к экспертной системе в технологии обучения науки // Известия Южного федерального университета. Технические. 2001. - Т. 22. - № 4. - С. 343-344. http://elibrary.nl/item.asp7icH12854397.

87. Гречин И.В. Технология работы экспертной системы в сети Internet/Intranet // Известия Южного федерального университета. Технические науки. 2001. - Т. 22. - № 4. - С. 254-256. http://elibrary.ru/item.asp7icH12854377

88. Грин, Д. Математические методы анализа алгоритмов / Д. Грин, Д. Кнут. М. : Мир, 1987.

89. Грофф, Д. P. SQL. Полное руководство / Д. Р. Грофф. Киев : BHV, 2001.-816 с.

90. Дал, У. Структурное программирование / У. Дал, Э. Дейкстра, К. Хоор. М. : Мир, 1975. - 280 с.

91. Джозеф Шмуллер. Освой самостоятельно UML 2 за 24 часа. Практическое руководство / Шмуллер Джозеф. — М.: Вильяме, 2005. — 416 с.

92. Джонс, Дж. К. Методы проектирования / Дж. К. Джонс. М. : Мир, 1986.

93. Добров, А. Д. Применение принципа минимизации при профилировании программ / А. Д. Добров, В. Ю. Гусельников, С. А. Лунев и др. Режим доступа : http://ict.edu.ru/fl/002174/sb4page3843.pdf.

94. Доррер, Г. А. Моделирование процесса интерактивного обучения на базе формализмов раскрашенных сетей Петри / Г. А. Доррер, Г. М. Рудакова // Вестник КрасГУ. 2004.

95. Дударь, 3. В. Семантическая нейронная сеть, как формальный язык описания и обработки смысла текстов на естественном языке / 3. В. Дударь, Д. Е. Шуклин. Режим доступа : http://prof9.narod.ru/library/lib004/doc030.html.

96. Дэвид, А. Марка Методология структурного анализа и проектирования / Марка А. Дэвид, Клемент Мак-Гоуэн ; пер. с англ. М., 1993. - С. 240. : илл.

97. Дюбуа, П. MySQL / П. Дюбуа. М. : Вильяме, 2001. - 816 с.

98. Евгенев, Г. Б. Интеллектуальные системы проектирования : учеб. пособие / Г. Б. Евгенев. М. : Изд-во МГТУ им. Н. Э. Баумана, 2009. -334 с. : ил.

99. Ежов, А. А. Нейрокомпьютинг и его применение в экономике и бизнесе / А. А. Ежов, С. А. Шумский // Нейрокомпьютеры. 1998. - №1-2. -Режим доступа : http://www.neuroproject.ru.

100. Ерофеев, А. А. Интеллектуальные системы управления / А. А. Ерофеев, А. О. Поляков. СПб. : СПбГТУ, 1999. - 68 с.

101. Ершов, А. П. Введение в теоретическое программирование /

102. А. П. Ершов. М. : Наука, 1978. - 287 с.

103. Ершов, А. П. Введение в теоретическое программирование: беседы о методе / А. П. Ершов. М. : Наука, 1981.

104. Ершов, А. П. Теория схем программ: состояние дел. Проблемы кибернетики. Т.27 / А. П. Ершов. М. : Физматгиз, 1973.

105. Жоголев, Е. А. Графические редакторы и графические грамматики / Е. А. Жоголев // Программирование. 2001. - №3. - С. 30-42.

106. Зайцева, JÏ. В. Методы и модели адаптации к учащимся в системах компьютерного обучения / JI. В. Зайцева // Educational Technology & Society. №4.

107. Зайцева, JI. В. Разработка и применение автоматизированных обучающих систем на базе ЭВМ / Л. В. Зайцева, Л. П. Новицкий, В. А. Грибкова. Рига : Зинатне, 1989. - 174 с.

108. Иодан Э. Структурное проектирование и конструирование программ / Э. Иодан. М. : Издательство Мир, 1979.

109. Ипатова Э.Р., Ипатов Ю.В. Методологии и технологии проектирования информационных систем. Мю: Флинта: МПСИ, 2008. - 256 с.

110. Камма, Э. Приемы ООП / Э. Камма, Р. Хэлм, Р. Джонсон. 2001. - 386 с.

111. Карабегов, А. В. Введение в язык SDL / А. В. Карабегов, Т. М. Тер-Микаэлян. М. : Радио и связь, 1993. - 184 с.

112. Карп, Р. П. Параллельные схемы программ / Р. П. Карп, Р. Е. киллер // Кибернетический сборник. Новая серия. М. : Мир, 1976. - Вып. 13. - С. 5-61.

113. Касьянов, В. Н. Графы в программировании: обработка, визуализация и применение / В. Н. Касьянов, В. А. Евстигнеев. СПб. : БХВ-Петербург, 2003. - 1104 с.

114. Кватрани Т. Rational Rose 2000 и UML. Визуальное моделирование: Пер. с англ. М.: ДМК Пресс, 2001.- 176 с.

115. Клайн, К. Основы CAIIP(CAD/CAM/CAE) / К. Клайн. СПб. : Питер, 2004. - 560 с.

116. Клайн, К. SQL-справочник / К. Клайн. М. : O'Reilly, 2006. - 832 с.

117. Колубай, С. К. Асинхронные параллельные граф-схемы с ИЛИ-вершинами / С. К. Колубай // Проблемы бионики. 1981. - №27. - С. 5161.

118. Комарцова, Л. Г. Нейрокомпьютеры / Л. Г. Комарцова, А. В. Мак-симов. М. : Изд-во МГТУ им. Н. Э. Баумана, 2004. - 400 с.

119. Коробова, И. Л. Методы представления знаний / И. Л. Коробова ; под ред. Федченко Т. М. Тамбов : Издательско-полиграфический центр Тамбовского государственного технического университета, 2003.

120. Котов, В. Е. Введение в теорию схем программ / В. Е. Котов. -Новосибирск : Наука, 1978. 256 с.

121. Котов, В. Е. Сети Петри / В. Е. Котов. М. : Наука, 1984. - 158 с.

122. Кохонен Т. Ассоциативные запоминающие устройства / Т. Кохонен. -М. : Мир, 1982.-384 с.

123. Кролл П., Крачтен Ф. Rational Unified Process это легко. Руководство по RUP для практиков. - М.: КУДИЦ-Образ, 2004. - 427 с.

124. Крэг Ларман. Применение UML 2.0 и шаблонов проектирования / Крэг Ларман. — 3-е изд. — М.: Вильяме, 2006. — 736 с.

125. Кузнецов, О. П. Дискретная математика для инженера / О. П. Кузнецов, Г. М. Адельсон-Вельский. -М. : Энергоатомиздат, 1988. -480 с.

126. Кук, Д. Компьютерная математика / Д. Кук, Г. Бейз. М. : Наука, 1990. -384 с.

127. Курганская, Г. С. Модель представления знаний и система дифференцированного обучения через Интернет на его основе / Г. С. Курганская // Известия Челябинского Научного Центра. 2000. - Вып. 2.

128. Лазарев, В. Г. Синтез управляющих автоматов / В. Г. Лазарев, Е. И. Пийль. М. : Энергия, 1978. - 408 с.

129. Ларман, К. Применение UML и шаблонов проектирования / К. Ларман. М. : Вильяме, 2001. - 496 с.

130. Ленди, М. Borland JBuilder. Руководство разработчика / М. Ленди, С. Сиддикви. М. : Вильяме, 2004. - 864 с.

131. Лингер Р. Теория и практика структурного программирования / Р. Лингер, X. Миллс, Б. Уитт ; пер. с англ. М. : Мир, 1982. - 406 с. : ил.

132. Любарский, Ю. Я. Интеллектуальные информационные системы / Ю. Я. Любарский. М. : Наука, 1990. - 232 с.

133. Майка Кона Scrum: гибкая разработка ПО. М.: «Вильяме», 2011. - С. 576.

134. Макарова, Н. В. Интеллектуальные системы: Модели представления знаний / Н. В. Макарова, Т. А. Юлдашев. Режим доступа: http://synopsis. kubsu.ru/informatic/master/lecture/themes8l4.htm, свободный. - Яз. рус.

135. Маклаев В.А., Соснин П.И. О конструктивных оценках успеха в разработках автоматизированных систем // Сорник научных трудов «Информатика, моделирование, автоматизированное проектирование». -Ульяновск: УлГТУ, 2011. С. 4-11.

136. Мендельсон Э. Введение в математическую логику,- М.: Наука, 1976.

137. Минский, М. Вычисления и автоматы / М. Минский. М. : Мир, 1971. -364 с.

138. Минский, М. Фреймы для представления знаний / М. Минский. М. : Энергия, 1979.- 151 с.

139. Негода, В. Н. Средства автоматизации структурно-функционального проектирования микропроцессорных систем / В. Н. Негода ; под ред. П. И. Соснина ; Ульяновский Государственный университет. Ульяновск, 2001,- 156 с.

140. Непейвода, Н. Н. Прикладная логика / Н. Н. Непейвода. Ижевск : Издательство Удмуртского университета, 1997. - 385 с.

141. Новиков, Ф. А. Дискретная математика для программистов / Ф. А. Новиков. СПб. : Питер, 2000. - 304 с.

142. Норенков И.П. Основы автоматизированного проектирования. М.: Изд-во МГТУ им. Н.Э. Баумана, 2009. - 430 с.

143. Норенков, И. П. Подходы к проектированию автоматизированных систем // Открытые системы. 2005. - №6. - С. 20-32.

144. Нуриев, Н. К. Дидактическое пространство подготовки компетентных специалистов в области программной инженерии / Н. К. Нуриев. -Казань: КГТУ, 2005. 244 с.

145. Осипов, Г. С. Построение моделей предметных областей. Ч. 1. Неоднородные семантические сети / Г. С. Осипов // Известия РАН. Техническая кибернетика. — 1990. — №?5. — С. 32-45.

146. Осипов, Г. С. Приобретение знаний интеллектуальными системами / Г. С. Осипов. М. : Наука, 1997. - 124 с.

147. Осовский, С. Нейронные сети / С. Осовский. М. : Финансы и статистика, 2002. - 344 с.

148. От многоагентных систем к интеллектуальным организациям: Философия, психология, информатика Автор: Тарасов В. Б. Издательство: Едиториал УРСС Год: 2002 . 352 с.

149. Петрушин, В. А. Экспертно-обучающие системы / В. А. Петрушин. -Киев : Наукова Думка, 1992. 180 с.

150. Питерсон, Дж. Теория сетей Петри и моделирование систем / Дж. Питерсон. М. : Мир, 1984. - 264 с.

151. Полис Г., Огастин Л., Лоу К., Мадхар Д. Разработка программных проектов на основе Rational Unified Process (RUP). M.: ООО «Бином-Пресс», 2005.-256 с.

152. Попов Э.В. и др. Искусственный интеллект. -В 3-х кн. Кн. 2. Модели и методы. -М.: Радио и связь, 1990.

153. Поспелов, Д. А. Искусственный интеллект : кн. 2. Модели и методы / Д. А. Поспелов. М. : Радио и связь, 1990.

154. Поспелов, Д. А. Моделирование рассуждений. Опыт анализа мыслительных актов.-/ Поспелов Д. А. Радио и связь, -1989,-184 с.

155. Построение экспертных систем / под ред. Ф. Хейеса-Рота. М. : Мир, 1987.-441 с.

156. Представление и использование знаний / под ред. X. Уэно, М. Исидзука ; пер. с яп. М. : Мир, 1989. - 220 с.

157. Роджерс, С. Теория рекурсивных функций и эффективная вычислимость / С. Роджерс. М. : Мир, 1972. - 624 с.

158. Рузинкевич М., Цикоцки А. Определение и выполнение потоков транзакций. Постоянный адрес статьи: http://www.osp.ru/dbms/1995/02/18.htm

159. Рыбина Г.В. Автоматизированное рабочее место для построения интегрированных экспертных систем: комплекс АТ-ТЕХНОЛОГИЯ // Новости искусственного интеллекта. 2005. №3. С.69-87.

160. Рыбина Г.В. Архитектуры интегрированных экспертных систем: современное состояние и тенденции // Новости искусственного интеллекта. 2002. №4 (52). С. 10-17.

161. Рыбина Г.В. Интегрированные экспертные системы: современное состояние, проблемы и тенденции // Известия РАН. Теория и системы управления. 2002. №5. С.111-126.

162. Рыбина, Г. В. Обучающие интегрированные экспертные системы: некоторые итоги и перспективы / Г. В. Рыбина // Искусственный интеллект и принятие решений. 2008. - №1. - С. 22-46.

163. Рэй, Э. Изучаем XML / Э. Рэй. СПб. : Символ-Плюс, 2001. - 408 с.

164. Сафонова, И. Е. Разработка автоматизированных обучающих систем для САПР/САИТ ЭВА / И. Е. Сафонова. Режим доступа : http://nit7. artdesign.ru/secti ons/d/156.html.

165. Сервисно-Ориентированная Архитектура (SOA). http://www.sntru.com/solutionsservices/softwaresolutions/24413.ru.php

166. Сервис-ориентированная архитектура (SOA): с чего начать. http://www-01 .ibm.com/software/ru/soa/entrypoints/index.html

167. Системы дистанционного обучения e-learning suite // Программные продукты и системы. 2008. - №1.

168. Соловов, А. В. Проектирование компьютерных систем учебного назначения / А. В. Соловов. Самара : СГАУ, 1995. - 138 с. - Режим доступа : http://www.informika.ru/text/inftech/edu/design/.

169. Соловов, А. В. Электронное обучение: проблематика, дидактика, технология / А. В. Соловов. Самара : Новая техника, 2006. - 462 с.

170. Соснин П.И. Концептуальное моделирование компьютеризованных систем. Ульяновск: УлГТУ, 2008. - 198 с.

171. Соснин, П. И. Архитектурное моделирование автоматизированных систем / П. И. Соснин. Ульяновск : Венец, 2007. - 146 с.

172. Степанов, П. А. Вычислительная модель визуального языка /П. А. Степанов, М. Ю. Охтилев // Изв. вузов. Приборостроение. 2006. - №11. -С. 28-32.

173. Сухомлин В. А. Разработка системы компетенций для образовательного стандарта нового поколения по направлению «Информационные технологии» / В. А. Сухомлин. Режим доступа :http://www.sukhomlin.ru/ results/dokladJVolgograd.doc.

174. Тараненко, А. А. Некоторые вопросы оптимизации Р-грамматик / А. А. Таранеико // Оптимизация вычислений и технология программирования.- Киев : ИК АН УССР, 1978. С. 99-106.

175. Тарасов В.Б. От многоагентных систем к интеллектуальным организациям: философия, психология, инфор-матика. М.: Эдиториал УРСС, 2002. - 320 с.

176. Тербер, К. Дж. Архитектура высокопроизводительных вычислительных систем / К. Дж. Тербер. М. : Наука, 1985. - 272 с.

177. Тихомиров, В. П. Основы гипертекстовой информационной технологии /

178. B. П. Тихомиров, В. П. Морозов, Е. Ю. Хрусталев. М. : МЭСИ, 1993.1 оо «1. JLZ.Z. V*.

179. Тулупьев, A. J1. Байесовские сети: логико-вероятностный подход / A. JI. Тулупьев, Николенко С. И., Сироткин А. В. М. : Наука, 2006. - 607 с.

180. Уидетт, С. Руководство по компетенциям / С. Уидетт, С. Холифорд ; пер. с англ. М. : Hippo, 2003. - 228 с.

181. Уоссермен, Ф. Нейрокомпьютерная техника: Теория и практика / Ф. Уоссермен. Режим доступа : http://cs.mipt.ru/docs/comp/rus/develop/neuro/ neurocomputing/index.html.

182. Управление Oracle SOA. http://www.oracle.com/ru/products/middleware/soa-governance/index.html

183. Фаулер, М. UML. Основы / М. Фаулер, К. Скотт. СПб. : Символ -Плюс, 2002.- 192 с.

184. Форрестер, Дж. Мировая динамика / Дж. Форрестер. -М. : Наука, 1978.

185. Форсов Г. Л., Пашнев А. Н. Подходы к построению обучающих экспертных систем и их использованию в подготовке специалистов // Известия Института инженерной физики. 2010.-Т. 3.-№ 17.-С. 7881. http://elibrary.ru/item.asp?id=l5190988

186. Фридман, А. Л. Основы объектно-ориентированной разработки программных систем / А. Л. Фридман. М. : Финансы и статистика, 2000. - 192 с.

187. Фу, К. Структурные методы в распознавании образов / К. Фу. М. : Мир, 1977.-319 с.

188. Хомский, Н. Формальные свойства грамматик / Н. Хомский // Кибернетический сборник. Новая серия. М. : Мир, 1968. - Вып. 2. - С. 121-170.

189. Шалыто, A.A. Логическое управление. Методы аппаратной и программной реализации алгоритмов / A.A. Шалыто. СПб: Наука, 2000.- 780 с.

190. Шибалова, С. Н. Обучение САПР как инвестиционный проект. Часть 2/

191. C. Н. Шибалова // САПР и графика. 2006. - №10. - Режим доступа : http://www.sapr.ru/article.aspx?id=16805&iid=778.

192. Шуклин, Д. Е. Модели семантических нейронных сетей их применение в системах искусственного интеллекта / Д. Е. Шуклин. Режим доступа :http://prof9.narod.ru/doc/doc017.html.

193. Экспертные системы. Принципы работы и примеры / под ред. Р. Форсайта. М. : Радио и связь, 1987. - 224 с.

194. Элементы параллельного программирования / В. А. Вальковский, В. Е. Котов, А. Г. Марчук и др. М. : Радио и связь, 1983. - 240 с.

195. Элиенс, А. Принципы объектно-ориентированной разработки программ / А. Элиенс. М. : Вильяме, 2002. - С. 496.

196. Эммерих В. Конструирование распределенных объектов. Методы и средства программирования интероперабельных объектов в архитектурах OMG/CORBA, Microsoft/COM и Java/RMI. М.: Мир, 2002.-510 с.

197. Янов, Ю. И. О Логических схемах алгоритмов / Ю. И. Янов // Проблемы кибернетики. М. : Физматгиз, 1958. - Вып. 1. - С. 75-127.

198. Ярушкина, Н. Г. Основы теории нечетких и гибридных систем / Н. Г. Ярушкина. М. : Финансы и статистика, 2004. - 320 с.

199. Ярушкина, Н. Г. Методы нечетких экспертных систем в интеллектуальных САПР // Ярушкина, Н. Г. Основы теории нечетких и гибридных систем : учеб. пособие. М. : Финансы и статистика, 2004. -320 с. : ил.

200. Яхъяева, Г. Э. Нечеткие множества и нейронные сети / Г. Э. Яхъева. -М. : БИНОМ, 2006.-316 с.

201. A.c. 957272 СССР, М.Кл.3 G 11 С 11/00. Многоканальное запоминающее устройство / А. Н. Афанасьев А.Н., А. А. Гужавин, О. Г. Кокаев. -3250077/18-24; заявл. 21.11.80, опубл. 07.09.82, Бюл. № 33. -3 с.

202. A.c. № 1304078 СССР, М.Кл.4 G 11 С 19/00. Стековое запоминающее устройство / А. Н. Афанасьев, И Ф. Имамутдинов, О. Г. Кокаев, В. Г. Тарасов. 392223/24-24; заявл. 01.07.85, опубл. 15.04.87, Бюл. № и. - 4 с.

203. A.c. № 1363187 СССР, М.Кл.4 G 06 F 17/38. Ассоциативное арифметическое устройство / О. Г. Кокаев, B.C. Кисленко, Л. А. Жигач, А. Н. Афанасьев. 4097649/24-24; заявл. 29.07.86, опубл. 30.12.87, Бюл. №48.-4 с.

204. А. Königs: Model Transformation with Triple Graph Grammars. Model Transformations in Practice Satellite Workshop of MODELS 2005. -Montego Bay, Jamaica.

205. Adamo, J.M. L. P. L. a fuzzy programming language: 1. Syn6tactic aspects / J. M. Adamo // Fuzzy Sets and Systems. 1980. - v. 3. - №2. - P. 151 -179.

206. Advance, A. L. D. Scorm 2004 3rd edition / A. L. Advance. -(http://www.adlnet.org/scorm/index.cfm).

207. Agerwala, T. A comparasion of semaphore based synchronising mechanisms / T. Agerwala, B. Lint // Proc. of 10-th Ann. Hawaii Int. Conf. on Syst. Scien. -1977, Jan.

208. Andries, M. How to represent a visual specification? / M. Andries, G. Engels, J. Rekers. (http://citeseer.ist.psu.edu/article/andries96how.html).

209. Bardohl, R. Formal relationship between petri nets and graph grammars as basis for animation view in genged / R. Bardohl, et al. -(http://citeseer.ist. psu.edu/bardohl02formal.html).

210. Bardohl, R. Genged: A development environment for visual languages / R. Bardohl, M. Niemann, M. Schwarze // AGTIVE. 1999. - Pp. 233240. (http://citeseer.ist.psu.edu/bardohl99genged.html).

211. Baresi, L. A formal denition of stuctured analysis with programmable graph grammars / L. Baresi, M. Pezz'e ; Ed. by M. Nagl, A. Schurr, M. Munch // AGTIVE . Vol. 1779 of Lecture Notes in Computer Science. - Springer, 1999.-Pp. 193-208.

212. Baresi, L. Formal interpreters for diagram notations / L. Baresi, M. Pezz'e // ACM Trans. Softw. Eng. Methodol. 2005. - Vol. 14, no. 1. - Pp. 42-84.

213. Baresi, L. Petri nets as semantic domain for diagram notations / L. Baresi, M. Pezz'e //Electr. Notes Theor. Comput. Sci. -2005. Vol. 127. - №2.-Pp. 29-44.

214. Baresi, L. Toward formalizing structured analysis / L. Baresi, M. Pezz'e // ACM Trans. Softw. Eng. Methodol. 1998.-Vol. 7. №1.- Pp. 80-107.

215. Baresi, L. A toolbox for automating visual software engineering / L. Baresi, M. Pezz'e ; Ed. by R.-D. Kutsche, H. Weber // FASE. Vol. 2306 of Lecture Notes in Computer Science. - Springer, 2002. - Pp. 189-202.

216. Baresi, L. Extending UML for modeling web applications / L. Baresi, F. Garzotto, P. Paolini ; Ed. by R. H. Sprague, Jr. // Proc. 34th Annual Hawaii International Conference on System Sciences (HICSS-34). IEEE Computer Society, 2001.

217. Baresi, L. Introduction graph transformation and visual modeling techniques - gt-vmt 2001 / L. Baresi, M. Pezz'e, G. Taentzer // Electr. Notes Theor. Comput. Sci. - 2001. - Vol. 50. - №3.

218. Baresi, L. On formalizing UML with high-level Petri Nets / L. Baresi, M. Pezze // Tech. Rep. 09.98: Dipartimento di Elettronica e Informazione. -Politécnico diMilano, 1998.

219. Benford, S. Ceilidh: A course administration and marking system / S. Benford, E. Burke, E. Foxley et al // Proceedings of the International Conference of Computer Based Learning. Master's thesis. 1993.

220. Bonissone, P. A pattern recognition approach to the problem of linguistic approximation in system analysis / P. Bonissone // Proc. Int. Conf. Cybern. And Soc. Denver : Colo, 1979 ; N.Y., 1979. - P. 793-798.

221. Boshernitsan, M. Visual programming languages: A survey / M. Boshernitsan, M. Downes. 1997. - (http://citeseer.ist.psu.edu/ boshernitsan97visual.html).

222. Brumfeld, R. Type systems in visual languages / R. Brumfeld. -(http://citeseer.nj.nec.com/brumfield95type.html).

223. Business Process Execution Language for Web Services version 1.1. http://www.ibm.com/developerworks/library/specification/ws-b pel/

224. C. de la Higuera Grammatical inference: learning automata and grammars / C. de la Higuera. Cambridge University Press, 2010.

225. CADinfo. Электронный ресурс.: база данных содержит сведения о зарубеж. и отечеств, разработках в обл. САПР. Режим доступа : http://www.cadinfo.net/scatalog.htm, свободный. - Яз. англ.

226. Cambel, R. Н. The specification of process synchronization by path expressions / R. H. Cambel, A. N. Habermann // Lecture Notes in Computer Science. Berlin : Springer - Verlag, 1974. - P. 16.

227. Chapman, B. L. Accelerating the Design Process: A Tool for Instructional Designers / B. L. Chapman // CBT Solutions. 1995. - №9.

228. Chapman, B. L. Enchancing Interactivity and Productivity Through Object-Oriented Authoring: An Instructional Designer's Perspective / B. L. Chapman // Journal of Interactive Instruction Development. 1994. - №7(2). - Pp. 311.

229. Chaudhri, R. Java & Databases / R. Chaudhri. London : Hermes Science Publications, 2000. - 139 pp.

230. Chopra, V. Professional Apache Tomcat 6 / V. Chopra, S. Li, J. Genender. -Wrox Press, 2007. 629 pp.

231. Clements, P. Imroving software architecture competence / P. Clements. (www.sei.cmu.edu/architecture).

232. Cockburn, A. Writing effective use cases / A. Cockburn. Addison-wesley pub со.

233. Corradini, A. General theory of graph transformation systems (getgrats) / A. Corradini. (http://citeseer.ist.psu.edu/8097.html).

234. Costagliola, G. A framework of syntactic models for the implementation of visual languages / G. Costagliola, A. D. Lucia, S. Orece, G. Tortora. -(http://www.dmi.unisa.it/people/costagliola/www/home/papers/vl97.ps.gz).

235. Costagliola, G. A parsing methodology for the implementation of visual systems / G. Costagliola, A. D. Lucia, S. Orece, G. Tortora. -(http://www.dmi.unisa.it/people/costagliola/www/home/papers/method.ps.gz).

236. Costagliola, G. Positional grammars: a formalism for LR-like parsing of visual languages / G. Costagliola, A. D. Lucia, S. Orece, G. Tortora. -(http://www.dmi.unisa.it/people/costagliola/www/home/papers/tvl96.ps.gz).

237. Davis, M. Media streams: An iconic visual language for video annotation / M. Davis. (http://www.w3. org/People/howcome/p/telektronikk-4-93/DavisM. html).

238. Delphi и Model Driven Architecture. Разработка приложений баз данных

239. Автор: Константин Грибачев Издательство: Питер Год: 2004

240. Denaro, G. Petri nets and software engineering / G. Denaro, M. Pezz'e ; Ed. by J. Desel, W. Reisig, G. Rozenberg // Lectures on Concurrency and Petri Nets . Vol. 3098 of Lecture Notes in Computer Science. -Springer, 2003. - Pp. 439-466.

241. Deufemia, V. A Grammar-based Approach to Specify and Implement Visual Languages / V. Deufemia // Master's thesis. 2002. -(http://www.dia.unisa.it/dottorato/TESI/tesi-deufemia.pdf).

242. Didier, Caucal Deterministic graph grammars / Didier Caucal // Logic and Automata. 2008. - Pp. 169-250.

243. Feder, J. Plex languages / J. Feder // Information Science. 1971. - №3. -Pp. 225-241.

244. Felder, R. M. Silverman L. K. Learning styles and teaching styles in engineering education / R. M. Felder, L. K. Silverman // Engineering Education. -№78(7). 1988. - Pp. 674-681.

245. Ferrucci, F. Relation grammars: a grammatical model for a high-level specification of visual languages / F. Ferrucci, G.Tortora, M. Tucci, G. Vitiello. 1996. - (http://www.csse.monash.edu.au/ berndm/TVL96/tvl96-papers.html).

246. Formal Methods in Software and Systems Modeling, Essays Dedicated to Hartmut Ehrig, on the Occasion of His 60th Birthday / Ed. by H.- J. Kreowski, U. Montanari, F. Orejas et al. Vol. 3393 of Lecture Notes in Computer Science. - Springer, 2005.

247. Golin, E. Parsing visual languages with picture layout grammars / E. Golin //Journal of Visual Languages and Computing. 1991. - Vol. 2.- №4.-Pp. 371-394.

248. Hack, M. Analysis for Production Schemata by Petri Nets / M. Hack // Computer Structure Group, TR 94, Project MAC, M.I.T. - February, 1972. -119 p

249. Ip, A. What is a learning object, technically? / A. Ip, I. Morrison, M. Currie // Master's thesis. 2001. http://users.tpg.com.au/adslfrcf/lo/ LO( WebNet2001 ).ppt

250. Istwan, Jonyer Concept Formation Using Graph Grammars / Jonyer Istwan, B. Holder Lawrence, Diane J. Cook // Proceedings of the KDD Workshop on Multi-Relational Data Mining. 2002.

251. ITU. Specification and description language (SDL). 1999. -(http://www.itu.int/ITU-T/studygroups/coml0/languages/Z.100l 199.pdf).

252. Jonyer, I. MDL-based context-free graph grammar induction and applications / I. Jonyer, L. Holder, D. Cook // International Journal on Artificial Intelligence Tools 2004. - №13. - Pp. 65-79.

253. Kanban Development Oversimplified. http://www.agileproductdesign.com/blog/2009/kanbanoversimplified.html

254. Kazman, L. B. . P. C. . R. Software Architecture in Practice / L. Kazman. -1st edition. Addison-Wesley Professional, 1997. - 452 pp.

255. Kinshuk & Patel A. A conceptual framework for Internet based intelligent tutoring systems. Knowledge transfer (volume II) (ed. A.Behrooz), pAce, London, pp. 117-124 (ISBN 1-900427-015-X)

256. Koth, O. Structure, abstraction and direct manipulation in diagram editors / O. Koth, M. Minas. (http://citeseer.ist.psu.edu/611548.html).

257. Krista, Lagus Mining massive document collections by the WEBSOM method / Lagus Krista, Kaski Samuel, Teuvo Kohonen // Information Sciences. Vol 163/1-3. - Pp. 135-156. - 2004. -(http://websom.hut.fi/websom/doc/ps/ Lagus04Infosci.pdf).

258. Kukluk, J. Inference of Node Replacement Graph Grammars / J. Kukluk, L. Holder and D. Cook // Intelligent Data Analysis. Vol. 11. - №4. - 2007.

259. Lee, E. T. Application of fuzzy languages to pattern recognition / E. T. Lee // Kybernetes. 1977. - Vol. 6. - №3. - Pp. 167-173

260. Levis, de Graaf A. Lexical scanning for visual languages / de Graaf A. Levis. (http://citeseer.ist.psu.edu/26255.html).

261. Marriott, K. Towards a hierarchy of visual languages / K. Marriott, B. Meyer //VL.- 1996.-Pp. 196-203.

262. Minas, M. Xml-based specification of diagram editors / M. Minas. -(http://citeseer.ist.psu.edu/minas03xmlbased.html).

263. Ming-Hsuan, Yang Detecting Faces in Images: A Survey / Yang Ming-Hsuan, David Kriegman, Narendra Ahuja // IEEE Transactions on Pattern Analysisand Machine Intelligence (PAMI). Vol. 24. - 2002. - №1. - Pp. 34-58.

264. MODAF: Ministry of Defence Architecture Framework. http://www.telelogic.com/standards/modal.cfm

265. Multimodal Human-Computer Communication, Systems, Techniques, and Experiments / Ed. by H. Bunt, R.-J. Beun, T. Borghuis. Vol. 1374 of Lecture Notes in Computer Science. - Springer, 1998.

266. Object-Oriented Technology, ECOOP'97 Workshop Reader, ECOOP'97 Workshops, Jyvaskyla, Finland, June 9-13, 1997 / Ed. By J. Bosch, S. Mitchell. Vol. 1357 of Lecture Notes in Computer Science. - Springer, 1998.

267. Paakki, J. Source-to-source translation of visual languages / J. Paakki, A.-P. Tuovinen // Nordic J. of Computing. 1998. - Vol. 5. - №3. -Pp. 235-264.

268. Pezz e, M. Can graph grammars make formal methods more human? / M.Pezze, L. Baresi //ICALP Satellite Workshops. 2000. - Pp. 387-394.

269. Rekers, J. Defining and parsing visual languages with layered graph grammars / J. Rekers, A. Schurr // Journal of Visual Languages and Computing. 1997. - Vol. 8. - №1. - Pp. 27-55. -http://citeseer.ist.psu.edu/rekers97defining.html.

270. Rekers, J., Schurr A. A parsing algorithm for context sensitive graph grammars / J. Rekers, A. Schurr // Tech. Rep. 95-05: Leiden University, Dept. of Computer Science. the Netherlands, 1995. - (http://citeseer.ist.psu.edu/ rekers95parsing.html).

271. Rensink, A. Graph transformation tool contest 2008 / A. Rensink, P. Van Gorp // International journal on software tools for technology transfer. -2010. -№12 (3-4).-Pp. 171-181.

272. Rover, D. T. Active learning in an electronic design automation course / D. T. Rover, N. G. Santiago, M. M. Tsai // Master's thesis. 1999. -(http://mayaweb.upr.clu.edu/ nayda/Publications/MSE99.pdf).

273. Shoham Yoav. Agent Oriented Programming, (англ.) : Technical Report STAN-CS-90-1335. — Computer Science Department, Stanford University: 1990

274. Siegfried, Nijssen, Hendrik Blockeel Induction of node label controlled graph grammar rules / Nijssen Siegfried, Hendrik Blockeel // International Workshop on Mining and Learning with Graphs, 6 (4-5 July 2008). -Helsinki. Pp. 128-132.

275. Skyttner L. General Systems Theory: Problems, Perspective, Practice / L. Skyttner. World Scientific Publishing Company, 2006. - 328p.

276. SOA Work Group Members Site. http://opengroup.org/projects/soa/doc.tpl?gdid=10632

277. Spohrer, J. C. Putting it all together is hard for novice programmers / J. C. Spohrer, E. Soloway // In Proceeding of the IEEE International Conference on Systems. Man, and Cybernetics, 1985. - Pp. 728-735.

278. Sprunger, S. Metrics-directed analysis of vhdl models / S. Sprunger, R. Zage

279. D., W. Zage. (http://www.serc.net/library/publication/newTR.asp).

280. The New Product Development Game Гарвардский Деловой Обзор, 1986.

281. Tuovinen, A.-P. A framework for processors of visual languages / A.-P. Tuovinen ; Ed. by J. Bosch, S. Mitchell // ECOOP Workshops. Vol. 1357 of Lecture Notes in Computer Science. - Springer, 1997. - Pp. 119-122.

282. Tuovinen, A.-P. Error recovery in parsing relational languages / A.-P. Tuovinen // Visual Languages. 1998. - Pp. 6-13. -(citeseer.ist.psu.edu/tuovinen98error.html).

283. UML 2000 The United Modeling Language, Advancing the Standard, Third International Conference (York, UK, October 2-6, 2000) Proceedings / Ed. by A. Evans, S. Kent, B. Selic. - Vol. 1939 of Lecture Notes in Сomputcr Science» - Springer, 2000.

284. Wittenburg, K. Earley-style parsing for relational grammars / K. Wittenburg // VL. — IEEE Computer Society. 1992. - Pp. 192-199.

285. Wittenburg, K. Relational grammars: Theory and practicein a visual language interface for process modeling / K. Wittenburg, L. Weitzman. -1996. (http://citeseer.ist.psu.edu/wittenburg96relational.html).

286. Wittenburg, K. Visual language parsing: If i had a hammer. / K. Wittenburg ; Ed. by H. Bunt, R.-J. Beun, T. Borghuis // Multimodal Human-Computer Communication. Vol. 1374 of Lecture Notes in Computer Science. - Springer, 1995. - Pp. 231-249.

287. Wittenburg, K. Visual grammars and incremental parsing for interface languages / K. Wittenburg, L. Weitzman // VL. 1990. - Pp. 111-118.351. www.staffware.com

288. Zhang K. Visual language semantics specification in the vispro system / D.-Q. Zhang, M. Orgun, K. Zhang. 2002. - (http://citeseer.ist.psu.edu/ zhang02visual.html).

289. Zhang K.-B. Using graph grammar to implement global layout for a visual programming language generation system / K.-B. Zhang, K. Zhang, M. A. Orgun. (http://citeseer.ist.psu.edu/537427.html).

290. Zhang, D.-Q. Vispro: A visual language generation toolset / D.-Q. Zhang, K. Zhang // Visual Languages. 1998. - Pp. 195-202. -(http://citeseer.ist.psu.edu/199922.html).