Для студентов МГУ им. Ломоносова по предмету Надёжность программного обеспеченияЛекцииЛекции
2019-09-182019-09-18СтудИзба
Лекции
Описание
Описание файла отсутствует
Характеристики лекций
Тип
Учебное заведение
Семестр
Просмотров
66
Скачиваний
3
Размер
17,41 Mb
Список файлов
- Лекции
- Лекция 1. Введение в разработку надёжного ПО.pdf 1,04 Mb
- Лекция 1. Введение в разработку надёжного ПО.ppt 2,4 Mb
- Лекция 10. Определение необходмого уровня надёжности и построение функционального среза.pdf 4,44 Mb
- Лекция 11. Подготовка к тестированию.pdf 1,67 Mb
- Лекция 12. Проведение Тестирования. Анализ данных об отказах для принятия решений.pdf 1,46 Mb
- Лекция 2. Моделирование программ.pdf 1,07 Mb
- Лекция 2. Моделирование программ.ppt 2,5 Mb
- Лекция 3. Системы переходов (LTS). Корректность и адекватность LTS модели.pdf 1,49 Mb
- Лекция 4. Временные автоматы.pdf 532,67 Kb
- Лекция 5. Логика линейного времени (LTL).pdf 1,52 Mb
- Лекция 6. Логика TCTL. Средство верификации UPPAAL.pdf 1,6 Mb
- Лекция 7. Статический анализ.pdf 656,09 Kb
- Лекция 8. Надёжность системы.pdf 571,56 Kb
- Лекция 9. Модели надёжности ПО. Оптимизация надёжности ВС.pdf 996,74 Kb
- Прочти меня!!!.txt 136 b
Прочти меня!!!
Файл скачан с сайта StudIzba.com
При копировании или цитировании материалов на других сайтах обязательно используйте ссылку на источник
Хочешь зарабатывать на СтудИзбе больше 10к рублей в месяц? Научу бесплатно!
Начать зарабатывать
Начать зарабатывать