Справка
x
Поиск
Закладки
Озвучить книгу
Изменить режим чтения
Изменить размер шрифта
Оглавление
Для озвучивания и цитирования книги перейдите в режим постраничного просмотра.
Методы и средства инженерии программного обеспечения
9. Лекция 6. Формальные спецификации, доказательство и верификация программ
Предыдущая страница
Следующая страница
Table of contents
3. Лекция 0. Введение
4. Лекция 1. Области знаний программной инженерии и стандарты ЖЦ программного обеспечения
5. Лекция 2. Модели жизненного цикла для разработки программных систем
6. Лекция 3. Методы определения требований в программной инженерии
7. Лекция 4. Методы объектного анализа и построения моделей предметных областей
8. Лекция 5. Прикладные и теоретические методы программирования
9. Лекция 6. Формальные спецификации, доказательство и верификация программ
10. Лекция 7. Методы проверки и тестирования программ и систем
11. Лекция 8. Интерфейсы, взаимодействие и изменение программ и данных
12. Лекция 9. Инженерия приложений и предметной области
13. Лекция 10. Модели качества и надежности в программной инженерии
14. Лекция 11. Методы управления проектом, риском и конфигурацией
15. Лекция 12. Средства программной инженерии
16. Лекция 13. Малая энциклопедия инструментов ООП
17. Лекция 14. Словарь терминов программной инженерии
18. Лекция 15. Перечень стандартов программной инженерии
19. Лекция 16. Список условных обозначений
20. Список литературы
Данный блок поддерживает скрол*