Лекция 1. Надежное программное средство как продукт технологии программирования. (Zip-архив файла WinWord97 14.6Kb: http)
Лекция 2. Источники ошибок в программном средстве. (Zip-архив файла WinWord97 16.6Kb: http)
Лекция 3. Общие принципы разработки программных средств.(Zip-архив файла WinWord97 20.5Kb: http)
Лекция 4. Внешнее описание программного средства.(Zip-архив файла WinWord97 15.5Kb: http)
Лекция 5. Методы спецификации семантики функций.(Zip-архив файла WinWord97 21.2Kb: http)
Лекция 6. Архитектура программного средства.(Zip-архив файла WinWord97 13.7Kb: http)
Лекция 7. Разработка структуры программы и модульное программирование.(Zip-архив файла WinWord97 38.4Kb: http)
Лекция 8. Разработка программного модуля.(Zip-архив файла WinWord97 16.7Kb: http)
Лекция 9. Доказательство свойств программ.(Zip-архив файла WinWord97 13.4Kb: http)
Лекция 10. Тестирование и отладка программного средства.(Zip-архив файла WinWord97 21.1Kb: http)
Лекция 11. Обеспечение функциональности и надежности программного средства.(Zip-архив файла WinWord97 16.2Kb: http)
Лекция 12. Обеспечение качества программного средства.(Zip-архив файла WinWord97 17.3Kb: http)
Лекция 13. Документирование программных средств.(Zip-архив файла WinWord97 10.2Kb: http)
Лекция 14. Управление разработкой и аттестация программного средства.(Zip-архив файла WinWord97 21.3Kb: http)
Лекция 15. Объектный подход к разработке программных средств.(Zip-архив файла WinWord97 24.4Kb: http)
Лекция 16. Компьютерная поддержка разработки и сопровождения программных средств. (Zip-архив файла WinWord97 23.4Kb: http)
Вопросы к экзамену (Pdf-файл 96 Kb: http)
|