Меню
Главная
Авторизация/Регистрация
 
Главная arrow Информатика arrow ПРОГРАММНАЯ ИНЖЕНЕРИЯ И ТЕХНОЛОГИИ ПРОГРАММИРОВАНИЯ СЛОЖНЫХ СИСТЕМ

ПРОГРАММНАЯ ИНЖЕНЕРИЯ И ТЕХНОЛОГИИ ПРОГРАММИРОВАНИЯ СЛОЖНЫХ СИСТЕМ

ТЕХНОЛОГИЯ ПРОГРАММИРОВАНИЯ ПРОГРАММНЫХ СИСТЕМ Технология программирования сложных систем Создание систем программированияОсновные элементы отечественной ТПСистемы программированияВедение новых СП в эксплуатацию Системы синтеза, композиции и сборки программ Технология программирования систем для ЭВМОпределение программной системы и методы ее построенияТП специализированных ЭВМ Развитие технологии сборочного программирования Интерфейс и метод сборки в технологии программирования Технология модульного проектирования систем Интерфейсы модулей и их функции Определение модульной структуры ПС Матричное представление графов из модулей Отношение достижимости модулей графов Операции построения модульных структур Процесс построения модульных структур Отладка и тестирование модулейОтладка модульной структурыПроверка правильности построения модульной структуры. Тестирование модулей и сложных структур Сборочное программирование и перспективы развития Отечественные линии продуктов в АИС Перспективы развития ТП (но А. П. Ершову)Контрольные вопросы и задания ПРОГРАММНАЯ ИНЖЕНЕРИЯ / SOFTWARE ENGINEERING (SE) ПРОГРАММНЫХ ПРОДУКТОВ Инженерия компьютерных систем Области знаний ядра SWEB0K Программные требования Проектирование ПО Конструирование ПО Тестирование ПО Сопровождение ПО Управление конфигурацией ПО Управление инженерией ПО Процесс SE Инструменты и методы ПО Качество ПО Модели ЖЦ ПС Каскадные моделиКаскадная модель с прототипированием Итерационные моделиИтерационные модели с приращениямиЭволюционные модели Парадигмы программирования SE Парадигма событийно-управляемого программирования Согласованное программирование и параллельные вычисленияПрограммирование «на классах»Программирование по прототипу Agile-технологииКонтрольные вопросы и задания НОВЫЕ ПОДХОДЫ К РАЗРАБОТКЕ ИЗМЕНЯЕМЫХ ПП ИЗ КПИ Инженерия изготовления ПП в Product Line Вариабельность продуктов и семейств на линиях SPLE Процессы разработки ПП в SPLE Процессы инженерии доменов Инженерия повторного использования КПИ/Reuse Разновидности КПИ Спецификация КПИ Подходы к созданию вариантов ПП Моделирование изменяемых систем по К. Чернецки Основы метода генерации ПП Метод генерации доменов и приложений Инженерия предметной области (доменов) включает: Применение инженерии SPLE в системе Grid Средства разработки ПС в ETICS Grid Сборка, тестирование и конфигурация систем в ETICS Фабрики программ и AppFab Системные AppFab Фабрики интеграции разнородных компонентов и данныхКонтрольные вопросы и задания МОДЕЛИ И МЕТОДЫ ПРОЕКТИРОВАНИЯ ВАРИАНТОВ СИСТЕМ Определение вариантов КПИ в ПС и СПС Определение КПИ и модели вариантности ПС и СПС Введение вариантных характеристик в архитектуру ПС Связь варианта с точками вариации Модель КПИ с вариантами и механизмами вариации Описания внешних и внутренних связей вариантовВнешние связи вариантовВнутренние связи вариантов Базовые модели проектирования систем Модели MDD, MDA Модель MDDМодель MDA Модели систем для разных платформ PIM и PSM Моделирование систем в языке UML Стратегия использования UML Описание в UML веб-сайта оплаты услуг Аспекты управления вариабельностью ПС Функции управления вариабельностью Подход к разработке вариабельной СПС из КПИ Процесс сборки КПП в современных средахКонтрольные вопросы и задания ОПРЕДЕЛЕНИЯ ХАРАКТЕРИСТИК СИСТЕМ МЕТОДАМИ АНАЛИЗА И ИЗВЛЕЧЕНИЯ ЗНАНИЙ Моделирование функциональных и нефункциональных характеристик ПП Метод анализа иерархий Моделирование характеристик качества байесовской сетью Неиерархические модели качества Подход к оценке качества процессов линий Модели представления знаний Продукционные системы Логические модели Фреймы Семантические сети Методы многомерного анализа данных Инструменты извлечения (добывания) знаний Система Scenario Data Mining Suite Darwin Data Mining Suite Personalization — система поиска логических правил Методы поиска и извлечения знаний Методы машинного обучения Методы извлечения знанийКатегоризация текстовМетод нахождения подобногоВероятностный подходМетоды кластеризацииМетод локализации аномалий Применение технологии Mining к системамБанковское делоТелекоммуникацияСтрахованиеАвтомобильная и авиационная промышленностьМедицинаМолекулярная генетика и генная инженерияПрикладная химияКонтрольные вопросы и задания ФОРМАЛЬНЫЕ МЕТОДЫ СПЕЦИФИКАЦИИ, ВЕРИФИКАЦИИ И ДОКАЗАТЕЛЬСТВА ПРАВИЛЬНОСТИ СИСТЕМ Методы и языки формальной спецификации Классификация методов и языков спецификации программных системСпецификации абстрактной моделиТрадиционные системыАксиоматические спецификации Темпоральные и параллельные спецификации Формальные методы спецификации моделей систем Формальное описание моделей систем в языке Z Описание базовых конструкций языка VDM Описание динамических систем концепторным языкомСредства спецификации сложных задачФормализация КЯЛогико-алгебраические спецификацииДоказательное проектирование КЯ Формальные методы доказательства программ Подходы к доказательству правильности спецификаций Языки формальной спецификации Характеристика базовых методов доказательства Модель доказательства корректности перестановки данных в векторе Верификация и валидация программ Подходы к верификации моделей систем и характеристик Логическое описание свойств моделей и их анализаФормальная проверка моделей объектов Инструменты верификации модели FM в Product Family Корректность диаграмм характеристик онтологии OWLКонтрольные вопросы и задания ТЕОРИЯ И МЕТОДЫ ПРОЕКТИРОВАНИЯ МОДЕЛЕЙ ДОМЕНОВ И СИСТЕМ Теория моделирования систем из объектов на уровняхМатематическое моделирование объектной моделиУровни логико-математического моделирования ПрО Обобщающий уровень проектирования Структурный уровень моделирования Характеристический уровень проектирования Поведенческий уровень проектирования Операции над классами объектов Формальные основы объектного анализа Определение моделей ОМ, ПС, MX Теория моделирования ПС из компонентов Компонентная модель системы Формальные модели компонентного проектирования Операции над компонентами в компонентной среде Компонентная алгебра Связь компонентной и объектной моделей Технология конфигурационной сборки Реализация технологии сборки в ИТККонтрольные вопросы и задания ПРИМЕНЕНИЕ ТЕОРЕТИЧЕСКОГО АППАРАТА ФУНДАМЕНТАЛЬНЫХ И ОБЩИХ ТИПОВ К НЕСТРУКТУРНЫМ ДАННЫМ BIG DATA Фундаментальные ТД в ЯППростые ТДСтруктурные ТДСложные ТД ТД стандарта GDT Формальный синтаксис GDTПримитивные ТД GDTСгенерированные ТД Генератор сложных ТД GDTАгрегатные ТДОбъявленные ТДХарактеристические операции Преобразование ТД ISO/IEC 11404—96 Преобразование данных для связи компонентов в ЯП Неструктурированные ТДНеструктурированные ТД GDTСпособы хранения неструктурированных данных Подход к решению проблемы обмена разными ТД Операции преобразования ТД Подход к генерации FDT GDT Практика реализации разнородных ТД Средства поддержки приложений с Big Data Характеристика стандартов ISOСтандарт ISO/IEC U404-GDTКонтрольные вопросы и задания ОНТОЛОГИЧЕСКИЙ МЕТОД КОНЦЕПТУАЛЬНОГО МОДЕЛИРОВАНИЯ ДОМЕНОВ Описание доменов средствами онтологии Основные понятия онтологии представления ПрО Средства проектирования доменов в DSL Структура описания домена в DSL Трансформация модели домена в DSL к ЯП Онтология домена «Вычислительная геометрия» Процессы домена ЖЦ ISO/IEC 12207 Формализация онтологической модели ЖЦ Описание процессов ЖЦ средствами DSL и Protege Средства Protege для представления онтологии Разработка онтологии процесса тестирования Онтология тестирования в Protege Плагины для графического представления онтологии Онтология КПИКонтрольные вопросы и задания Экспертирование компонентов и систем Модель экспертизы процессов Оценка процессов Задачи экспертной оценки объектов Технология экспертного оценивания объектов ПрО Подходы к процессу тестирования ПС и СПС Тестирование видов систем в SWEBOK Задачи процесса управления тестированием Инженерия процесса тестирования ПрО Модели тестирования СПС-профиль тестирования-модель тестирования Задача определения оптимального времени тестирования ПС Оценивание качества ПС и СПС Моделирование характеристик качества ПС Задачи управления качеством ПС Модель требований для обеспечения качества ПС Система прогнозирования безотказной работы ПС Анализ достижения уровня качества Задачи оценки показателей качества сложных системКонтрольные вопросы и задания МЕТОДЫ РАЗРАБОТКИ ВЕБ-СИСТЕМ В SEMANTIC WEB Структура Semantic Web Задание информации в Semantic Web Базовые элементы Semantic Web Представление онтологии в Semantic Web Стандарты консорциума W3C Веб-технологииПредставление форматных данных пользователяПредставление структурированных данныхПротоколы удаленного выполнения сервисов Язык BPMN для спецификации бизнес-процессов Процессы и операции бизнес-процессов Типы объектов, событий и задач в BPMN Моделирование семантики бизнес-процессов ЖЦ бизнес-процессовВРМО Based Semantic Business Process Modelling Environment. Веб-сервисы Базовые модели сервисов SO А и SCA Вычисление задач в Cloud computing Язык WSDL Языки RDF и OWL Языки описания систем и протоколов ИнтернетаОбъект в ООПИнтернет-протоколыКонтрольные вопросы и задания ОСНОВЫ SOFTWARE ENGINEERING METHOD AND THEORYСовременные подходы к внесению изменений в функциональность Основные теоретические достижения SE Определение новых дисциплин в SEНаука программированияИнженерная дисциплинаДисциплина управленияЭкономическая дисциплинаПроизводственная дисциплина SE Теоретические аспекты онтологии ПП Подход к обучению предмету SE Основные сущности SEMAT. Практика, теория, образованиеОбласть практикиОбласть образованияОбласть теорииОбласть сообщества Задачи повышения компетенции инженеров ПС Назначение модели компетенции специалистов Понятие навыков в стандарте SWECOMКонтрольные вопросы и заданияЗаключениеНовые издания по дисциплине «Программирование» и смежным дисциплинам Моделирование систем диаграммами UML Сборка систем в .NET Взаимодействие систем в Интернете Первые всесоюзные конференции по технологии программирования (1968-1992)
 
Если Вы заметили ошибку в тексте выделите слово и нажмите Shift + Enter
РЕЗЮМЕ Следующая >
 
Популярные страницы