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

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