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


         

Содержание раздела


Генерирующее (порождающее) программирование - 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


Справочник по PHP и Lite PHP - перейти

Справочник по PHP и Lite PHP (продолжение) - перейти
MySQL С API - перейти
Справочник по Perl - перейти
Введение в программирование на PHP5 - перейти
Контекст разработки Web - перейти
Соединение XHTML и PHP - перейти
Скалярные переменные - перейти
Оператор If - перейти
Циклы while - перейти
Включаемые файлы - перейти

Проектирование форм - перейти
Сеансы - перейти
Доступ ODBC - перейти
Доступ к MySQL - перейти