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