|
Конспект
|
Логистика на автомобильном транспорте
|
|
Конспект
|
Методы поиска ошибок в программах
|
|
Конспект
|
Тестирование ПО (Software Testing)
|
|
Конспект
|
Динамические методы тестирования
|
|
Конспект
|
Характеристика областей знаний SWEBOK
|
|
Конспект
|
Качество ПО (Software Quality)
|
|
Конспект
|
Процессы ЖЦ верификация и валидация программ
|
|
Конспект
|
Процесс инженерии ПО (Software Engineering Process)
|
|
Конспект
|
Управление конфигурацией ПО
|
|
Конспект
|
Жизненный цикл ПС, связь с ядром знаний SWEBOK
|
|
Конспект
|
Эволюционная модель ЖЦ
|
|
Конспект
|
Методы анализа структур программ
|
|
Конспект
|
Методы доказательства правильности программ
|
|
Конспект
|
Спецификации задач концепторным языком
|
|
Конспект
|
Функциональное тестирование
|
|
Конспект
|
Проектирование ПО (Software design)
|
|
Конспект
|
Требования к ПО (Software Requirements)
|
|
Конспект
|
Тестирование программ
|
|
Конспект
|
Подходы к верификации моделей
|
|
Конспект
|
Спецификация программ средствами RAISE
|
|
Конспект
|
VDM-спецификация программ
|
|
Конспект
|
Методы и инструменты инженерии ПО
|
|
Конспект
|
Управление процессом тестирования
|
|
Конспект
|
Статические методы тестирования
|
|
Конспект
|
Сопровождение ПО (Software maintenance)
|
|
Конспект
|
Анализ языков формальной спецификации программ
|
|
Конспект
|
Каскадная модель ЖЦ
|
|
Конспект
|
Стандартизация модели ЖЦ
|
|
Конспект
|
Перспективные направления верификации программ
|
|
Конспект
|
Характеристика формальных методов доказательства
|