Рекуррентное метамоделирование в системных средах САПР тема диссертации и автореферата по ВАК РФ 05.13.12, доктор технических наук Черткова, Елена Александровна

• Черткова, Елена Александровна
• доктор технических наук
• 2008

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

ВВЕДЕНИЕ.

ГЛАВА 1. АНАЛИЗ МЕТОДОВ И ТЕХНОЛОГИЙ РАЗРАБОТКИ

ОБСЛУЖИВАЮЩИХ ПОДСИСТЕМ САПР.

1 Л. Формализация структуры обслуживающих подсистем САПР.

1Л Л. Структурная схема процесса управления для обслуживающих подсистем САПР.

1 Л.2. Высокоуровневая модель потоков данных.

1.2. Методы и технологии разработки обучающих подсистем.

1.2.1. Авторские системы разработки.

1.2.2. Методы и языки программирования обслуживающих подсистем САПР.

1.3. Анализ факторов качества обслуживающих подсистем САПР.

1.3.1. Классификация факторов качества.

1.3.2. Анализ ключевых факторов качества.

1.4. Принципы проектирования обслуживающих подсистем САПР.

1.5. Определение проблематики и задач исследования.

Выводы по главе 1.

ГЛАВА 2. СТРАТЕГИИ И РЕГЛАМЕНТ ПРОЦЕССА ПРОЕКТИРОВАНИЯ ОБСЛУЖИВАЮЩИХ ПОДСИСТЕМ САПР.

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

2.1.1. Методы программной инженерии.

2.1.2. Унифицированный язык визуального моделирования.

2.1.3. CASE-средства автоматизации процесса разработки обслуживающих подсистем САПР.

2.2. Базовая модель процесса проектирования обслуживающих подсистем САПР.

2.2.1. Сравнительный анализ моделей процессов разработки.

2.2.2. Экспертно-статистический метод выбора модели процесса разработки обслуживающих подсистем САПР.

2.2.3. Требования к процессу проектирования. Ключевые рекомендации.

2.3. Регламентация процесса проектирования обслуживающих подсистем САПР.

2.3.1. Процессное проектирование.

2.3.2. Рецензирование проекта по контрольным точкам фаз.

Выводы по главе 2.

ГЛАВА 3. ВИЗУАЛИЗАЦИЯ МОДЕЛЕЙ АНАЛИЗА И ПРОЕКТИРОВАНИЯ ОБСЛУЖИВАЮЩИХ ПОДСИСТЕМ САПР.

3.1. Принципы визуализации проектных решений для семейства обслуживающих подсистем САПР.

3.2. Визуализация моделей анализа предметной области.

3.2.1. Сущность типовой модели предметной области.

3.2.2. Визуализация понятий предметной области.

3.3. Методика идентификации классов и объектов.

3.3.1. Подходы к декомпозиции системы.

3.3.2. Синтез методов декомпозиции системы.

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

3.4.1. Особенности визуализации моделей анализа.

3.4.2. Артефакты проектирования обслуживающих подсистем САПР.

3.4.3. Визуальное моделирование обслуживающих подсистем САПР на завершающих фазах разработки.

Выводы по главе 3.

ГЛАВА 4. МЕТОДЫ СОВЕРШЕНСТВОВАНИЯ АРХИТЕКТУРНЫХ РЕШЕНИЙ ДЛЯ ОБСЛУЖИВАЮЩИХ ПОДСИСТЕМ САПР.

4.1. Стратегии и образцы визуальных моделей с элементами повторного использования.

4.1.1. Стратегия повторного использования проектных элементов

4.1.2. Образцы объектных моделей для проектирования обслуживающих подсистем САПР.

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

4.2.1. Визуальный образец объектной метамодели подсистемы управления интерфейсом.

4.2.2. Архитектурное проектирование подсистемы управления интерфейсом с применением модельных каркасов.

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

4.3.1. Оценка эффективности стратегий и визуальных образцов.

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

Выводы по главе 4.

ГЛАВА 5. РЕЗУЛЬТАТЫ ПРАКТИЧЕСКОГО ПРИМЕНЕНИЯ МЕТОДОВ РЕКУРРЕНТНОГО МЕТАМОДЕЛИРОВАНИЯ ОБСЛУЖИВАЮЩИХ ПОДСИСТЕМ САПР.

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

5.1.1. Состав рабочих продуктов пакета визуальных моделей.

5.1.2. Описание прецедентов интегрированной обучающей подсистемы.

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

5.2.1. Интегрированный пакет спецификации требований.

5.2.2. Модельное специфицирование.

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

5.3.1. Применение навигационных образцов в проектных моделях интерфейса.

5.3.2. Применение в экранных формах интерфейсов образцов визуального представления.

Выводы по главе 5.

Введение диссертации (часть автореферата) на тему «Рекуррентное метамоделирование в системных средах САПР»

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

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

Значимость процессов автоматизации проектирования и интенсификация работ в сфере внедрения CAD/CAM/CAE в различных отраслях промышленности предопределили появление новых технологий для создания САПР и подготовки производства. Важной задачей при внедрении новых технологий САПР является не только ускорение конструкторско-технологической подготовки производства, но и повышение квалификации и переподготовка персонала для эффективной эксплуатации новых технологий.

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

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

За четыре десятилетия обучающие системы эволюционировали от автоматизированных учебных курсов, представлявших собой системы селективного типа, до интеллектуальных и экспертных систем с применением мультимедия и сценарных моделей. В этот период были заложены дидактические, методические и системотехнические основы создания компьютерных обучающих систем, в развитие которых значительный вклад внесли многие отечественные ученые: Тихомиров В.П., Гузеев В.В., Домрачев В.Г., Иван-ников А.Д., Кривицкий Б.Х., Кривошеев А.О., Радченко С.В., Ретинская И.В., Романов А.Н., Норенков И.П., Петрушин В. А., Филатова Н.Н. и др.

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

С 1990-х годов проявляется тенденция создания обучающих программ, объединяющих с общих позиций компьютерной технологии информационные, тренинговые, контролирующие, игровые и обучающие системы, а также их применение в глобальных и корпоративных сетях [10, 33, 46, 48, 61, 65, 69, 76, 98].

Особое значение приобретают исследования в области разработки тренажерных комплексов, обладающих рядом интеллектуальных функций и основанных на моделях поведения и восприятия пользователя (тренажеры 5-го поколения). Следует отметить работы Софиева А.Э. по технологии разработки тренажеров [27, 34, 83], Дозорцева В.М. по методам функционально-информационного структурирования тренажеров [30, 31], Чистяковой Т.Б. по моделям и системам представления знаний [141], Большакова А.А. по учету психофизических характеристик обучаемых и интеллектуализации управления процессом обучения [14-16].

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

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

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

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

В то же время эволюция программной инженерии привела к созданию технологий автоматизированного проектирования программного обеспечения - CASE-технологий (Computer Aided Software Engineering) — с соответствующими инструментальными средами разработки - CASE-системами. Инновационные CASE-технологии являются альтернативой традиционным методам разработки программных систем и направлены на снижение трудозатрат при возрастающей сложности программного обеспечения, а также придания системам свойств адаптации и гибкости в условиях платформенных и функциональных изменений. Следует отметить, что в соответствии с современными тенденциями мировой программной индустрии особое значение имеет перенос основного акцента в разработке систем с программирования на объектно-ориентированное проектирование для снижения рисков.

Весомый вклад в развитие теории анализа и практики автоматизированного проектирования программных систем внесли многие отечественные и зарубежные ученые: Вендров A.M., Калянов Г.Н., Колесов Ю.Б., Костогы-зов А.И., Липаев В.В., Новоженов Ю.В., Силич М.П., Терехов А.Н., Буч Г., Гамма Э., Грэхем И., Йордан Э., Константайн Л., Ларман К., Рамбо Дж., Якобсон А. и другие. Однако в настоящее время принципы автоматизированного проектирования программных систем в CASE-средах не нашли своего полномасштабного отражения в сфере разработки обслуживающих подсистем в оболочке САПР (подсистем разработки и сопровождения программного обеспечения, обучающих подсистем и т.д.) в силу ряда организационных, технических и социальных причин.

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

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

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

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

• разработать процедуры принятия решения по выбору типа процесса разработки подсистем САПР в условиях доступности экспертной информации;

• разработать технологическую модель проектирования подсистем САПР и процедуры реализации подпроцессов;

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

• выполнить системный анализ методов идентификации ключевых абстракций и механизмов области приложения и разработать на этой основе принципы концептуализации предметной области для проектных метамоделей;

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

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

• разработать процедурные и структурные метрики для оценки качества (практичности) визуальных прототипов графического пользовательского интерфейса подсистем, направленные на выявление проблемных элементов модельной конструкции;

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

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

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

На защиту выносятся:

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

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

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

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

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

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

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

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

• разработана оригинальная процедура многокритериальной оптимизации на основе метода анализа иерархий и полных парных сравнений для принятия решения по выбору процесса разработки подсистем САПР в условиях доступности экспертной информации;

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

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

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

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

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

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

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

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

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

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

• многофункциональная тестовая оболочка «Модуль-Тест»;

• мультимедийный программно-методический комплекс «Автоматизация делопроизводства»;

• пакет тестирующих программ по дисциплинам «Делопроизводство» и «Автоматизация делопроизводства»;

• мультимедийный программно-методический комплекс «Системы управления химико-технологическими процессами»;

• мультимедийный программно-методический комплекс «Интегрированные системы управления делопроизводством»;

• программный тренажер «Администрирование операционной системы Windows ХР».

Методические материалы по разработанным в диссертации методам проектирования программных систем используются в учебном процессе подготовки студентов по специальностям: 220400 «Программное обеспечение вычислительной техники и автоматизированных систем», 220200 «Автоматизированные системы обработки информации и управления», 210200 «Автоматизация технологических процессов и производств», 351400 «Прикладная информатика в сфере сервиса» в Московском государственном университете инженерной экологии, Саратовском государственном техническом университете, в Московском государственном университете сервиса, Астраханском государственном техническом университете, Тамбовском государственном техническом университете.

Апробация работы. Результаты работы докладывались на 19-ти международных, 10-ти всероссийских, а также межрегиональных, межвузовских, научно-практических конференциях и семинарах, в том числе: VIII, XI—XVIII Международных конференциях «Информационные технологии в образовании» (Москва, 1998, 2001-2008 гг.); II Международной выставке-конференции «Наука и образование» (Москва, 2000); XIII-XV Международных научных конференциях «Математические методы в технике и технологиях» (Казань, 2005; Воронеж, 2006; Ярославль, 2007); XII—XV Всероссийских научно-методических конференциях «Телематика» (Санкт-Петербург, 2005—2008 гг.); VI и VII Всероссийских научно-методических конференциях

Теоретические и прикладные вопросы современных информационных технологий» (Улан-Удэ, 2005, 2006 гг.); XV и XVI Международных конференциях «Применение новых технологий в образовании» (Троицк, 2005, 2006 гг.); IV и V Всероссийских научно-практических конференциях «Технологии Интернет - на службу обществу» (Саратов, 2005, 2006 гг.); VI и VII межвузовских научно-практических конференциях «Информационные технологии XXI века» (Москва, 2004, 2005 гг.); X Международной научно-практической конференции «Наука - сервису» (Москва, 2005 г.); I и II Всероссийских научно-практических конференциях «Информационные технологии в образовании и науке» (Москва, 2006, 2007 гг.).

Публикации. Основные положения диссертации отражены в 75 публикациях, в том числе в 2 монографиях, 16-ти статьях в изданиях, включенных в список ВАК РФ, и 7 свидетельствах на программные продукты отраслевого фонда алгоритмов и программ Государственного координационного центра информационных технологий Федерального агентства по образованию.

Связь диссертационной работы с научными программами. Межвузовская комплексная программа «Наукоемкие технологии образования» Министерства образования и науки РФ (2001 - 2005 гг.).

Структура и объем диссертации. Диссертационная работа включает: введение, пять глав, заключение, библиографический список из 204 наименований, 4 приложения. Основная часть диссертации изложена на 271 странице, содержит 94 рисунка и 18 таблиц.

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

ВЫВОДЫ ПО ГЛАВЕ 5

1. На основе предложенного метода проектирования обслуживающих подсистем САПР с использованием CASE-средства IBM Rational Rose созданы пакеты расширяемых визуальных метамоделей анализа и проектирования обучающей подсистемы и модуля генерации учебно-тренировочных заданий.

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

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

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

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

ЗАКЛЮЧЕНИЕ

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

В диссертационной работе получены следующие результаты.

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

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

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

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

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

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

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

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

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

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

Список литературы диссертационного исследования доктор технических наук Черткова, Елена Александровна, 2008 год

1. Ален Э. Типичные ошибки проектирования. Пер. с англ. — СПб.: Питер,2003. —224 с.

2. Амблер С. Гибкие технологии: экстремальное программирование и унифицированный процесс разработки. Пер. с англ. — СПб.: Питер, 2005. — 412 с.

3. Амриш К., Ахмед Х.З. Разработка корпоративных Java-приложений с использованием J2EE и UML. Пер. с англ. М.: Издательский дом «Вильяме». 2002. - 277 с.

4. Ананьева Т.Н., Черткова Е.А. Концепция разработки компьютерных обучающих систем для сферы образовательных услуг // Наука — сервису: сб. трудов X Междунар. научно-практич. конференции / Московский гос. ун-т сервиса. Москва, 2005. — С. 10-14.

5. Ананьева Т.Н., Черткова Е.А. Методология разработки компьютерных обучающих систем для сферы образовательных услуг // Теоретические и прикладные проблемы сервиса. 2007. № 2. С. 48-51.

6. Ауэр К., Миллер Р. Экстремальное программирование: постановка процесса. С первых шагов и до победного конца. Пер. с англ. — СПб.: Питер,2004. —368 с.

7. Ахен Д., Клауз А., Тернер P. CMMI: Комплексный подход к совершенствованию процессов. Практическое введение в модель. Пер. с англ. — М.: «МФК», 2005.—330 с.

8. Басс Л., Клементе П., Кацман Р. Архитектура программного обеспечения на практике / Пер. с англ. — СПб.: Питер, 2006. — 575 с.

9. Башмаков А.И., Башмаков И.А. Технология и инструментальные средства проектирования тренажерно-обучающих комплексов для профессиональной подготовки и повышения квалификации // Информационные технологии. 1999. №6, 7.

10. Бейзер Б. Тестирование черного ящика. Технология функционального тестирования программного обеспечения и систем. Пер. с англ. — СПб.: Питер, 2004. —318 с.

11. Бобровский С.И. Программная инженерия. Технологии Пентагона на службе российских программистов. -— СПб.: Питер, 2003. — 222 с.

12. Боггс У., Боггс М. UML и Rational Rose 2002. Пер. с англ. М.: Изд. «Лори». 2004. - 510 с.

13. Большаков А.А. Автоматизированное обучение операторов // Вестник Тамбов, гос. ун-та. — 1999. -Т.5. № 2. - С.213-217.

14. Большаков А.А., Шатохин В.В. Идентификация психофизиологических характеристик операторов // Вестник Тамбов, гос. ун-та. — 1999. Т.5. - № 3. - С.359-363.

15. Большаков А.А., Шатохин В.В. Синтез автоматизированных комбинированных обучающих систем //Системы управления и информационные технологии. — 2004. №4(16). - С. 73-777.

16. Брауде Э. Технология разработки программного обеспечения. Пер. с англ. — СПб,: Питер, 2004. 655 с.

17. Буч Г. Объектно-ориентированный анализ и проектирование с примерами приложений на С++, 2-е изд. Пер. с англ. М.: Бином, СПб: Невский диалект, 1999.-560 с.

18. Буч Г., Рамбо Дж., Джекобсон А. Язык UML. Руководство пользователя. Пер. с англ. — М.: ДМК Пресс; СПб.: Питер, 2004. — 432 с.

19. Буч Г., Якобсон А., Рамбо Дж. UML. Классика CS. Пер. с англ. — СПб.: Питер, 2006. — 736 с.

20. Вендров A.M. CASE-технологии. Современные методы и средства проектирования информационных систем. — М.: Финансы и статистика, 1998.

21. Вендров A.M. Ниша и внедрение CASE-средств. / Директор ИС, №11, 2000 // Изд. «Открытые системы».

22. Вендров A.M. Проектирование программного обеспечения экономических информационных систем. М.: Финансы и статистика. 2005. — 544 с.

23. Вендров A.M. Современные технологии создания программного обеспечения. // Изд-во Джет Инфо Паблишер. Информационный бюллетень Jet Info Online, № 4. 2004. 32 с.

24. Вигерс К. Разработка требований к программному обеспечению: Пер. с англ. М.: Русская редакция. 2004. - 576 с.

25. Гамма Э., Хельм Р., Джонсон Р., Влиссидес Дж. Приемы объектно-ориентированного проектирования. Паттерны проектирования. — Пер. с англ. — СПб.: Питер, 2006. — 366 с.

26. Горбунов-Посадов М.М. Расширяемые программы. — М.: Полиптих, 1999. —336 с.

27. Грэхем И. Объектно-ориентированные методы. Принципы и практика. Пер. с англ. М.: Издательский дом «Вильяме». 2004. 880 с.

28. Дозорцев В.М. Компьютерные тренажеры для обучения операторов технологических процессов — теория, методология построения и использования: Дисс-ция д-ра техн. наук. Москва. 1999.

29. Дозорцев В.М. Структура человеко-машинного взаимодействия в компьютерных тренажерах операторов технологических процессов // Приборы и системы, управления. 1998. № 5.

30. Домрачев В.Г., Ретинская И.В. О классификации компьютерных образовательных информационных технологий. // Информационные технологии,1996. №2. С. 10-14.

31. Иванников А.Д., Ижванов Ю.Л., Кулагин В.П. Перспективы использования WWW-технологии в высшей школе России // Информационные технологии. 1996. №2.

32. Иванов А.П., Софиев А.Э. Компьютерные тренажеры для технологических объектов, обладающих повышенной взрывопожароопасностью. // Промышленные контроллеры и АСУ. 2001. №9. С. 17-19.

33. Иордан Э., Аргила К. Структурные модели в объектно-ориентированном анализе и проектировании. Пер. с англ. —М.: ЛОРИ. 1999. 264 с.

34. Калянов Г. CASE: все только начинается . / Директор ИС, № 3, 2001 // Изд. «Открытые системы», http://www.osp.ru/cio/2001/03/016.htm

35. Калянов Г.Н. CASE-технологии. Консалтинг при автоматизации бизнес-процессов. 2-е изд. М.: Горячая линия — Телеком, 2000.

36. Кватрани Т. Визуальное моделирование с помощью Rational Rose 2002 и UML. Пер. с англ. М.: Издательский дом «Вильяме». 2003. - 192 с.

37. Кватрани Т., Палистрант Дж. Визуальное моделирование с помощью IBM Rational Software Architect и UML. Пер. с англ. М.: КУДИЦ-ПРЕСС. — 2007.- 192 с.

38. Коберн А. Современные методы описания функциональных требований к системам. Пер. с англ. М.: Изд. «Лори». 2002. - 263 с.

39. Колесов Ю.Б., Сениченков Ю.Б. Моделирование систем. Динамические и гибридные системы. — СПб.: БХВ-Петербург. 2006. — 224 с.

40. Компьютерная технология обучения. Словарь-справочник. / Под ред. В.И. Гриценко, А,М. Довгялло, А.Я. Савельева. Киев. Наукова думка. 1992.

41. Коннален Дж. Разработка Web-приложений с использованием UML.: Пер. с англ. М.: Издательский дом «Вильяме». 2001. - 288 с.

42. Константайн Л., Локвуд Л. Разработка программного обеспечения. Пер. с англ. — СПб.: Питер, 2004.— 592 с.

43. Коплиен Дж. Мультипарадигменное проектирование для С++ / Пер. сангл. — СПб.: Питер, 2005. 235 с.

44. Краснова Г.А., Соловов А.В., Беляев М.И. Технологии создания электронных обучающих средств. — М.: Изд-во МГИУ, 2002. — 304 с.

45. Кривицкий Б.Х. О систематизации учебных компьютерных средств. // Электронный журнал. 2000, №3 (3). Educational Technology & Society. http://ifets.org/russian/depository/v3i3

46. Кривошеев А.О. Разработка и использование компьютерных обучающих программ. //Информационные технологии, 1996. №2. С. 14-18.

47. Кролл П., Крачтен Ф. Rational Unified Process — это легко. Руководство по RUP. Пер. с англ. М.: КУДИЦ-ОБРАЗ, 2004. — 432 с.

48. Кручинин В. В. Разработка компьютерных учебных программ. Томск: Изд-во Томского государственного университета, 1998. 211 с.

49. Ларман К. Применение UML и шаблонов проектирования. Пер. с англ. — М.: Издательский дом «Вильяме». 2004. 624 с.

50. Лафоре Р. Объектно-ориентированное программирование в С++. Пер. с англ.— СПб.: Питер, 2005. — 924 с.

51. Леоненков А.В. Самоучитель UML. — 2-е изд. — СПб.: БХВ-Петербург, 2004. — 432 с.

52. Леоненков А.В. Объектно-ориентированный анализ и проектирование с использованием UML и IBM Rational Rose. М.: Интернет-Университет Информационных технологий; БИНОМ, Лаборатория знаний. — 2006. — 320 с.

53. Леффингуэлл Д., Уидриг Д. Принципы работы с требованиями к программному обеспечению. Унифицированный подход. Пер. с англ. — М.: Издательский дом «Вильяме». 2002. — 448 с.

54. Липаев В.В. Анализ и сокращение рисков проектов сложных программных средств. —- М.: СИНТЕГ, 2005. — 224 с.

55. Макконнелл С. Совершенный код. Мастер-класс / Пер. с англ. М.: Из-дательско-торговый дом «Русская редакция», 2005. 896 с.

56. Мандел Т. Разработка пользовательского интерфейса / Пер. с англ. — М.:1. ДМК Пресс, 2001.-416 с.

57. Марка Д.А., Мак-Гоуэн К. Методология структурного анализа и проектирования. Пер. с англ. —М.: МетаТехнология, 1993.

58. Мацяшек JI. Анализ требований и проектирование систем. Разработка информационных систем с использованием UML. Пер. с англ. — М.: Издательский дом «Вильяме», 2002. 432 с.

59. Норенков И.П. Концепция модульного учебника // Информационные технологии. 1996. №2. С. 22-24.

60. Ойхман Е.Г., Новоженов Ю.В. Некоторые существенные дополнения к методологии OOAD и их применение в объектно-ориентированной RAD технологии. — http://www.citforum.ru/seminars/cbd2000/cbdday204.shtml

61. Официальный сайт IBM Rational http://www.ibm.com/software/rational

62. Паулк М., Куртис Б., Хриссис М. и др. Модель зрелости процессов разработки программного обеспечения. Capability maturity model software (CMM). Пер. с англ. — М.: Богородский печатник, 2002. — 256 с.

63. Петрушин В. А. Интеллектуальные обучающие системы: архитектура и методы реализации (обзор) // Изв. РАН. Техническая кибернетика, 1993. № 2. С. 164—189.

64. Петрушин В.А. Экспертно-обучающие системы. — Киев: Наукова думка. 1992.

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

66. Политика в области образования и новые информационные технологии: Национальный доклад РФ на II Международном конгрессе ЮНЕСКО «Образование и информатика» // Информатика и образование. 1996. №5. С. 1-20.

67. Радченко С.В. Обзор программных продуктов для медицинского образования. // Электронный медицинский журнал. — 2001, №2 — http://lgkb.kazan.ru/012l/

68. Разработка и применение экспертно-обучающих систем: Сб. науч. трудов. М.: НИИВШ, 1989. 154 с.

69. Рамбо Дж., Якобсон А., Буч Г. UML: специальный справочник. Пер. с англ. — СПб.: Питер, 2002. — 656 с.

70. Раскин Д. Интерфейс: новые направления в проектировании компьютерных систем. Пер. с англ. — СПб.: Символ-Плюс, 2004. — 272 с.

71. Растригин J1.A., Эренштейн М.Х. Адаптивное обучение с моделью обучаемого— Рига: Зинатне, 1986. 160 с.

72. Розенберг Д., Скотт К. Применение объектного моделирования с использованием UML и анализ прецедентов. Пер. с англ. — М.: ДМК Пресс, 2002. — 160 с.

73. Ройс У. Управление проектами по созданию программного обеспечения. Унифицированный подход. Пер. с англ. — М.: Изд. «Лори». 2002. 424 с.

74. Романов А.Н., Торопцов B.C., Григорович Д.Б. Технология дистанционного обучения в системе заочного экономического образования. — М.: ЮНИТИ-ДАНА, 2000. — 303 с.

75. Самойлов В.Д. и др. Автоматизация построения тренажеров и обучающих систем. — Киев.: Наукова думка, 1989. 200 с.

76. Скотт К. UML. Основные концепции.: Пер. с англ. М.: Издательский дом «Вильяме». 2002. - 144 с.

77. Скотт К. Унифицированный процесс. Основные концепции. Пер. с англ. М.: Издательский дом «Вильяме». 2002. - 160 с.

78. Соммервилл И. Инженерия программного обеспечения.: Пер. с англ. -М.: Изд. дом «Вильяме», 2002. — 624 с.

79. Софиев А.Э., Гончаренко М.В., Савельев A.M., Случ И.И. Компьютерный тренажерный комплекс для производств 1 и 2 категории опасности // Приборы. 2001. № 2. С. 23-24.

80. Софиев А.Э., Черткова Е.А. Компьютерные обучающие системы. Монография: М.: Изд. ДеЛи, 2006. - 296 с.

81. Софиев А.Э., Черткова Е.А. Создание информационной системы тренажерного комплекса средствами динамической визуализации // Наукоемкие технологии образования: межвуз. сб. научно-метод. трудов / 2005. — № 9.

82. Софиев А.Э., Черткова Е.А. Тренажерные комплексы для обучения операторов потенциально опасных химико-технологических производств // Приборы. 2006. № 12. С. 57-59.

83. Софиев А.Э., Черткова Е.А., Карасев Д.И. Анализ и моделирование требований для проектирования информационно-аналитической системы // Технология и автоматизация атомной энергетики: Сборник статей. — Северск:

84. Изд. СГТИ, 2005. С. 154-157.

85. Софиев А.Э., Черткова Е.А. Тренажерные комплексы для обучения операторов потенциально опасных химико-технологических производств. // Приборы. 2006. № 12. С. 57-59.

86. Фаулер М. Архитектура корпоративных программных приложений. Пер. с англ. — М.: Изд. дом «Вильяме», 2004. — 544 с.

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

88. Филатова Н.Н., Вавилова Н.И. Представление мультимедиа тренажеров на основе сценарных моделей представления знаний. // Электронный журнал. 2000, №3 (4). Educational Technology & Society. httpyAfets.oig/russian/depository/v3i4/

89. Филатова Н.Н., Вавилова Н.И., Ахремчик O.JI. Мультимедиа тренажерные комплексы для технического образования. // Электронный журнал. 2000, №6(3). Educational Technology & Society 6(3). http://ifets.org/rassian/deposi-tory/v6i3/

90. Черткова E.A. Автоматизация анализа и проектирования компьютерных обучающих систем // Вестник Саратовского государственного технического университета. 2006. № 1 (11), вып. 2. С. 98-103.

91. Черткова Е.А. Автоматизация моделирования требований для проектирования компьютерных обучающих систем. // Вестник Саратовского государственного технического университета: Саратов. 2006. № 4 (18), вып. 3. С. 103-110.

92. Черткова Е.А. Использование компьютерных презентаций в учебном процессе // Информационные технологии в образовании: сб. трудов VIII Ме-ждунар. конференции / МИФИ. Москва, 1998. - С. 64-65.

93. Черткова Е.А. Концепция спецификации требований для проектирования компьютерных обучающих систем. // Вестник Саратовского государственного технического университета: Саратов. 2005. № 4 (9). С. 90-97.

94. Черткова Е.А. Методы программной инженерии для проектирования компьютерных обучающих систем // Информационные технологии в образовании: сб. трудов XVI Междунар. конференции-выставки/ МИФИ. Москва, 2006.-Ч. V. С.148-150.

95. Черткова Е.А. Моделирование предметной области для проектирования компьютерных обучающих систем // Информационные технологии в образовании: сб. трудов XV Междунар. выставки-конференции / МИФИ. Москва, 2005.-Ч. III. С 287-290.

96. Черткова Е.А. Образовательные порталы в системе дистанционного обучения. // В сб. научн. статей проф.-преподав, состава Всероссийской государственной налоговой академии МНС России. — М.: ВГНА МНС России, 2003, —С. 220-227.

97. Черткова Е.А. Объектно-ориентированное проектирование графического пользовательского интерфейса. // Системы управления и информационные технологии. 2006. № 1 (23). С. 63-67.

98. Черткова Е.А. Применение проектных паттернов для разработки компьютерных обучающих систем // Вестник Тамбовского государственного технического университета. 2007. Т.13. № 1 А. С. 13-19.

99. Черткова Е.А. Разработка компьютерных обучающих систем. Монография: Саратов: Сарат. гос. техн. ун-т, 2005. - 175 с.

100. Черткова Е.А., Ванярх Т.А. Концепция проектирования Web-приложений для электронного обучения // Применение новых технологий в образовании: сб. материалов XVII Международной конференции / Фонд новых технологий в образовании. Троицк, 2006. С. 474-475.

101. Черткова Е.А., Варакин В.П., Легонькова Н.М. Концепция использования Internet /Intranet-технологий в виртуально-тренинговых средствах обуче

102. Черткова Е.А., Карпов B.C. Применение проектных образцов для идентификации алгоритмов в модулях компьютерных обучающих систем // Прочграммные продукты и системы. — 2008. № 3. С. 83-85.

103. Черткова Е.А., Годов А.А. Методологические основы создания мультимедийного образовательного программного комплекса // Информационные технологии в образовании: сб. трудов XI Междунар. выставки-конференции / МИФИ. Москва, 2001. - Ч. III. — С. 148-149.

104. Черткова Е.А., Годов А.А. Многофункциональная тестовая оболочка «Модуль-Тест». / Отраслевой фонд алгоритмов и программ Госкоорцентра информац. технологий Министерства образования РФ. № гос. регистрации 50200300256. — М.: ВНТИЦ, 2003.

105. Черткова Е.А. Годов А.А. Динамическая визуализация информации в программных тренажерах // Информационные технологии в образовании: сб. трудов XIII Междунар. выставки-конференции / МИФИ. Москва, 2003. - Ч. IV.-С. 321-322.

106. Черткова Е.А., Карасев Д.И. Объектно-ориентированное проектирование информационно-аналитической системы для обработки технологических параметров // Аспирант и соискатель. 2006.-№4.

107. Черткова Е.А., Карпов B.C. Объектно-ориентированное проектирование компьютерных обучающих систем // Компьютерные учебные программы и инновации. 2005. - № 12. С 62-69.

108. Черткова Е.А., Умеренков Г.М. Опыт использования Intranet-cera в учебном процессе вуза // Информационные технологии и телекоммуникации в образовании: сб. трудов II Междунар. выставки-конференции / ВК ВВЦ «Наука и образование». Москва, 2000.

109. Черткова Е.А. Умеренкова О.П. Конфигурирование и реализация Rational Unified Process для разработки программных систем // Информационные технологии XXI века: сб. материалов VII межвуз. науч.-практ. конф. — Москва, 2005. С. 129-131.

110. Черткова Е.А. Умеренкова О.П. Разработка компьютерных обучающих систем на основе Rational Unified Process // Информационные технологии вобразовании: сб. трудов VI межвуз. науч.-практ. конф. / Московский гос. ун-т сервиса. — Москва, 2004.

111. Черткова Е.А. Шевырин А.Е. Визуальное моделирование интерфейса компьютерной обучающей системы // Информационные технологии в образовании: сб. трудов XIV Междунар. выставки-конференции. / МИФИ. Москва, 2004. - Ч. III. - С 85-86.

112. Черткова Е.А., Шевырин А.Е. Разработка графического пользовательского интерфейса для компьютерных обучающих систем // Компьютерные учебные программы и инновации. 2005. № 12. С. 70-75.

113. Чистякова Т.Б. Интеллектуальные автоматизированные тренажерно-обучающие комплексы в системах управления потенциально-опасными химическими производствами: Дисс-ция д-ра техн. наук. СПб., 1997.

114. Шаллоуей А., Трот Дж.Р. Шаблоны проектирования. Новый подход к объектно-ориентированному анализу и проектированию. Пер. с англ. — М.: Издательский дом «Вильяме». 2002. 288 с.

115. Шафер Д.Ф., Фатрелл Р.Т., Шафер Л.И. Управление программными проектами: достижение оптимального качества при минимуме затрат. Пер. с англ. — М.: Издательский дом «Вильяме». 2004. — 1136 с.

116. Элиенс А. Принципы объектно-ориентированной разработки программ. Пер. с англ. М.: Издательский дом «Вильяме». 2002. - 496 с.

117. Якобсон А., Буч Г., Рамбо Дж. Унифицированный процесс разработки программного обеспечения. Пер. с англ. СПб,: Питер, 2002. - 496 с.

118. Bass L., Clements P. and Kazman R. Software Architecture in Practice. Reading, MA: Addison-Wesley. 1998. (гл.1)

119. Boehm B. A spiral model of software development and enhancement // IEEE Computer. — 1998. — 21(5). — P. 61-133.

120. Boehm B. Anchoring the software process, IEEE Software, July 1996, pp. 7382.

121. Booch G. Describing Software Design in Ada. September 1981. SIGPLAN Notices vol. 16(9).

122. Brooks F.P. No Silver Bullet: Essence and Accidents of Software Engineering, IEEE Software, 4, 1987,pp. 10-19.

123. Buhrer K. From Craft to Science: Searching for First Principles of Software Development. The Rational Edge. Dec. 2000.

124. Chang S. Visual Languages and Visual Programming. New York, New York: Plenum Press. 1990.

125. Checkland P. Rethinking a System Approach. In: Tomlison R., Kiss I. (Eds.) "Rethinking the Process of Operation Research and System Analysis", Pergamon Press, 1984. P. 43-66. (См. 156 и 157 в Грэхеме!)

126. Dahl, О., Dijkstra, Е. and Hoare, Structured Programming. London. England: Academic Press. 1972.

127. Davis A. Achieving Quality in Software Requirements. Software Quality Professional 1,3; June, 1999, pp. 37-44.

128. Dehbonei B. and Mejia F. Formal development of safety-critical software systems in railway signalling. In : Applications of Formal Methods (M. Hincheyand J. P. Bowen, eds). — London: Prentice-Hall, 1995. — P. 227-279.

129. DeMarco T. Structured Analysis and System Specification. — Englewood Cliffs, NJ: Prentice Hall, 1979.

130. Easterbrook S., Lutz R. et al Experiences using lightweight formal methods for requirements modeling // IEEE Trans, on Software Engineering. — 1998. — 24(1).—P. 4-18.

131. Eastman N. Software Engineering and Technology. Technical Directions vol. 10(1): Bethesda, MD: IBM Federal Systems Division, 1984. p.5.

132. Elisa del Galdo, Jakob Nielsen. International User Interfaces. Wiley Computer Publishing, New York, NY, 1996.

133. European Software Process Improvement Training Initiative. User Survey Press, 1995.

134. Fuggetta A. A classification of CASE technology // IEEE Computer. — 1993.26(12). — P.25-63.

135. Hall A. Using formal methods to develop an АТС information system // Ibid.1996. — 13(2). —P. 66-142.

136. Heumann J. User experience storyboards: Building better UIs with RUP, UML, and Use Cases. /The Rational Edge, nOV.2003. http://www.therationaledge.com/content/.

137. Hodgson R. Finding, Building and Reusing Object / Proceedings of Object Oriented Design, Unicom Seminars, Uxbridge, 1990.

138. Hoffer J., George J. and Valacich J. Modern Systems Analysis and Design, 2nd edn, Addison-Wesley, 1999, 854 pp.

139. IEEE Std 1061-1992: IEEE Standard for a Software Quality Metrics Methodology. Los Alamitos, CA: IEEE Computer Society Press. 1992.

140. IEEE Std 610.12-1990: IEEE Standard Glossary of Software Engineering Terminology. Los Alamitos, CA: IEEE Computer Society Press. 1990.

141. IEEE P1484.1/D9. Draft Standard for Learning Technology Learning Technology Systems Architecture (LTSA) Электронный ресурс. - NY : IEEE, 2001. http://ltsc.ieee.org/wgl/index.html.

142. Jacky J. Specifying a safety-critical control system I I IEEE Trans, on Software Engineering. — 1995.-21(2).-P. 99-205.

143. Jacky J., Unger J. et al. Experience with Z: developing a control program for a radiation therapy machine. — In: Proc. ZUM'97. — Reading: Springer, 1997.

144. Jacobson I. et al. Object-Oriented Software Engineering. Wokingham, England: Addison-Wesley Publishing Company. 1992.

145. Jacobson I. et al., The Object Advantage: Business Process Reengineering with Object Technology. Wokingham, England: Addison-Wesley Publishing Company. 1995.

146. Jones C. Revitalizing Software Project Management. American Programmer 6, 7; June, 1994, pp. 3-12.

147. Kruchten P. The Rational Unified Process: An Introduction, Reading, MA.: Addison-Wesley, 1998.

148. Michalski R. and Steep R. Learning from Observation: Conceptual Clustering, in Machine Learning: An Artificial Intelligence Approach ed. R. Michalski, J. Carbonell, and T. Mitchell. Palo Alto, CA: Tioga. 1983.

149. Mills, H., Linger, R. and Hevner, A Principles of Information System Design and Analysis. Orlando, FL: Academic Press. . 1986.

150. Mostow J. Toward Better Models of the Design Process. Al Magazine vol.6(1), Spring 1985. p.44.

151. Murphy R.T., Appel L.A. Evaluation of the PLATO IV computerbased education system in the community college//ACM SIGCUE Bulletin.-1978, Jan.-v. 12, N1.-p. 12-27.

152. Meyer B. Object-oriented Software Construction. 2nd Edition. Upper Saddle River NY: Prentice Hall, 1997.

153. Nielsen J., Mack R.L. Usability Inspection Methods. New York: Wiley, 1994.

154. Page-Jones M. The Practical Guide to Structured. Systems Design. Englewood Cliffs. NJ: Yourdon Press. 1988.

155. Parnas D.L. On the Design and Development of Program Families. IEEE

156. Transactions on Software Engineering, SE-2: March 1976. pp. 1-9.

157. Parnas, D., Clements, P., Weiss, D. The Modular Structure of Complex Systems. Proceedings of the Seventh International Conference on Software Engineering. IEEE Transactions of Software Engineering SE-11, 1985.

158. Royce W. Managing the development of large scale software system. Proc. JEEE WESCON, 1970, p. 1-9.

159. Rumbaugh J. Relational Database Design Using an Object-oriented Methodology. Communications of the A CM. April 1991. vol.31(4).

160. Rumbaugh J., Blaha M. et al. Object-oriented Modeling and Design. — Englewood Cliffs, NJ: Prentice-Hall, 1991.

161. Rumbaugh J., Jacobson I. et al. The Unified Modeling Language Reference Manual. —Reading, MA: Addison Wesley, 1999.

162. Scott G. and Bierman J. Reported effects of rapid prototyping on industrial. Software Quality Journal 2, 1993, p. 93-108.

163. Siegel S., Castellar N.J. Non-parametric statistics for the behavioral sciences — 2d ed. — NY: McGraw-Hill, 1988. 312 pp.

164. Sowa J. Conceptual Structures: Information Processing in Mind and Machine. Reading, MA: Addison-Wesley. 1984.

165. Stein, J. Object-oriented Programming and Database Design. Dr. Dobb's Journal of Software Tools for the Professional Programmer, March 1988. No. 137, p.18.

166. Stillings N. et al. Cognitive Science: An Introduction. Cambridge, MA: The MIT Press. 1987.

167. Szyperski C. Component Software. Beyond Object-Oriented Programming. Addison-Wesley. 1998, 412 pp.

168. The Standish Group. Charting the Seas of Information Technology — Chaos. The Standish Group International, 1994.

169. The Unified Method. Draft Edition (0.8). Rational Software Corporation, October, 1995.

170. Weiss D., Lay C. Family Based Domain Engineering. Reading, MA: Addison-Wesley Longman. 1999. (гл 1)

171. Wirth, N. January Program Development by Stepwise Refinement. Communications of the ACM vol.26(l). 1983.

172. Yourdon, E. and Constantine, L. Structured Design. Englewood Cliffs, NJ: Prentice-Hall, 1979.