Методы и средства инженерии программного обеспечения


Содержание


Генерирующее (порождающее) программирование - часть 3
Генерирующее (порождающее) программирование - часть 4
Агентное программирование
Агентное программирование - часть 2
Агентное программирование - часть 3
Методы теоретического программирования
Алгебраическое программирование (АП)
Алгебраическое программирование (АП) - часть 2
Алгебраическое программирование (АП) - часть 3
Экспликативное программирование (ЭП)
Экспликативное программирование (ЭП) - часть 2
Алгоритмика программ
Алгоритмика программ - часть 2
Алгоритмика программ - часть 3
Алгоритмика программ - часть 4
Формальные методы
Формальные методы - часть 2
Формальные методы - часть 3
Формальные методы - часть 4
Формальные методы - часть 5
Контрольные вопросы и задания
Литература к теме
Литература к теме - часть 2
Литература к теме - часть 3
Введение
Введение - часть 2
Введение - часть 3
Инженерия ПИК
Инженерия ПИК - часть 2
Инженерия ПИК - часть 3
Инженерия ПИК - часть 4
Инженерия ПИК - часть 5
Спецификация ПИК
Спецификация ПИК - часть 2
Спецификация ПИК - часть 3
Спецификация ПИК - часть 4
Репозитарий компонентов
Репозитарий компонентов - часть 2
Репозитарий компонентов - часть 3
Описание интерфейса объектов-компонентов в распределенной среде
Описание интерфейса объектов-компонентов в распределенной среде - часть 2
Описание интерфейса объектов-компонентов в распределенной среде - часть 3
Инженерия приложений и предметной области
Инженерия приложений и предметной области - часть 2
Инженерия приложений и предметной области - часть 3
Инженерия оценивания стоимости реализации ПрО из компонентов
Инженерия оценивания стоимости реализации ПрО из компонентов - часть 2
Литература к теме
МЕТОДЫ ВЕРИФИКАЦИИ И ТЕСТИРОВАНИЯ ПРОГРАММ И СИСТЕМ
Методы доказательства программ
Методы доказательства правильности программ
Общая характеристика формальных методов доказательства
Общая характеристика формальных методов доказательства - часть 2
Общая характеристика формальных методов доказательства - часть 3
 Модель формального доказательства конкретности программы
 Модель формального доказательства конкретности программы - часть 2
 Модель формального доказательства конкретности программы - часть 3
 Модель формального доказательства конкретности программы - часть 4
 Модель формального доказательства конкретности программы - часть 5
Техника символьного выполнения
Методы просмотра структуры программы
Методы просмотра структуры программы - часть 2
Методы просмотра структуры программы - часть 3
Методы просмотра структуры программы - часть 4
Методы просмотра структуры программы - часть 5
Верификация и аттестация программ
Верификация и аттестация программ - часть 2
Методы верификации объектно–ориентированных программ
Методы тестирования программ
Статические методы тестирования
Динамические методы тестирования
Динамические методы тестирования - часть 2
Динамические методы тестирования - часть 3
Функциональное тестирование
Организационные аспекты процесса тестирования
Организационные аспекты процесса тестирования - часть 2
Организационные аспекты процесса тестирования - часть 3
Организационные аспекты процесса тестирования - часть 4
Организационные аспекты процесса тестирования - часть 5
Организационные аспекты процесса тестирования - часть 6
Организационные аспекты процесса тестирования - часть 7
Организационные аспекты процесса тестирования - часть 8
Организационные аспекты процесса тестирования - часть 9
Организационные аспекты процесса тестирования - часть 10
Организация подготовки тестов
Организация подготовки тестов - часть 2
Организация подготовки тестов - часть 3
Организация подготовки тестов - часть 4
Команда тестировщиков
Команда тестировщиков - часть 2
Команда тестировщиков - часть 3
Организация процесса тестирования
Контрольные вопросы и задания
Литература к теме 7
Литература к теме 7 - часть 2
КОМПОНЕНТОВ И ДАННЫХ
Методы интеграции (композиции) компонентов
Методы интеграции (композиции) компонентов - часть 2
Методы интеграции (композиции) компонентов - часть 3
Методы интеграции (композиции) компонентов - часть 4
Методы преобразования программ и данных
Парадигма преобразования данных
Формальное описание данных в ЯП и их преобразование
Формальное описание данных в ЯП и их преобразование - часть 2
Средства стандарта ISO/IEC для преобразования данных
Средства стандарта ISO/IEC для преобразования данных - часть 2
Преобразование данных БД и замена БД
Основные этапы преобразования данных в БД
Унифицированные файлы для передачи данных между разными БД
Унифицированные файлы для передачи данных между разными БД - часть 2
Методы внесения изменений в компоненты и в ПС
Методы внесения изменений в компоненты и в ПС - часть 2
Реинженерия программных систем
Реинженерия программных систем - часть 2
Рефакторинг компонентов
Реверсная инжеиерия
Реверсная инжеиерия - часть 2
Контрольные вопросы и задания
Литература к теме
МОДЕЛИ КАЧЕСТВА И НАДЕЖНОСТИ В ПРОГРАММНОЙ ИНЖЕНЕРИИ
Модель качества ПО
Модель качества ПО - часть 2
Модель качества ПО - часть 3
Модель качества ПО - часть 4
Модель качества ПО - часть 5
Модель качества ПО - часть 6
Модель качества ПО - часть 7
Модель качества ПО - часть 8
Метрики качества программного обеспечения
Метрики качества программного обеспечения - часть 2
Метрики качества программного обеспечения - часть 3
Стандартный метод оценки значений показателей качества
Стандартный метод оценки значений показателей качества - часть 2
Стандартный метод оценки значений показателей качества - часть 3
Управление качеством ПС
Управление качеством ПС - часть 2
Управление качеством ПС - часть 3
Управление качеством ПС - часть 4
Модели оценки надежности
Модели оценки надежности - часть 2
Основные понятия в проблематике надежности ПС
Классификация моделей надежности
Классификация моделей надежности - часть 2
Классификация моделей надежности - часть 3
Классификация моделей надежности - часть 4
Модели надежности Марковского и Пуассоновского типов
Модели надежности Марковского и Пуассоновского типов - часть 2
Модели надежности Марковского и Пуассоновского типов - часть 3
Модели надежности Марковского и Пуассоновского типов - часть 4
Модели надежности Марковского и Пуассоновского типов - часть 5
Контрольные вопросы и задания
Литература к теме
Литература к теме - часть 2
МЕТОДЫ УПРАВЛЕНИЯ ПРОЕКТОМ, РИСКОМ И КОНФИГУРАЦИЕЙ
Методы управления проектами
Методы управления проектами - часть 2
Методы управления программным проектом
Метод критического пути СРМ
Метод критического пути СРМ - часть 2
Метод анализа и оценки PERT



- Начало -