Технология программирования

ID: 60742
Дата закачки: 06 Января 2012
Продавец: Aronitue9 (Напишите, если есть вопросы)
Посмотреть другие работы этого продавца

Тип работы: Лекции
Форматы файлов: Microsoft Word

Описание:
Надежное программное средство как продукт технологии программирования. Исторический и социальный контекст программирования
Источники ошибок в программных средствах
Общие принципы разработки
Программных средств
Внешнее описание программного cредства
Методы спецификации семантики Функций
Архитектура программного средства
Разработка структуры программы и
Модульное программирование
Разработка программного модуля
Доказательство свойств программ
Тестирование и отладка программного средства
Обеспечение функциональности и
Надежности программного средства
Обеспечение качества программного средства
Документирование программных средств
Управление разработкой и аттестация программного средства.
Объектный подход к разработке
Программных средств
Компьютерная поддержка разработки и сопровождения программ-ных средств

Размер файла: 675 Кбайт
Фаил: