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

Краткий курс лекций по дисциплине
«ПРОГРАММНАЯ ИНЖЕНЕРИЯ И ТЕХНОЛОГИИ ПРОГРАММИРОВАНИЯ СЛОЖНЫХ СИСТЕМ»


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