What is Safety-Critical Software, and How Can Ada and SPARK Help? скачать в хорошем качестве
What is Safety-Critical Software, and How Can Ada and SPARK Help?
6 лет назад
Не удается загрузить Youtube-плеер. Проверьте блокировку Youtube в вашей сети.
Повторяем попытку...
Повторяем попытку...
Скачать видео с ютуб по ссылке или смотреть без блокировок на сайте: What is Safety-Critical Software, and How Can Ada and SPARK Help? в качестве 4k
У нас вы можете посмотреть бесплатно What is Safety-Critical Software, and How Can Ada and SPARK Help? или скачать в максимальном доступном качестве, видео которое было загружено на ютуб. Для загрузки выберите вариант из формы ниже:
-
Информация по загрузке:
Скачать mp3 с ютуба отдельным файлом. Бесплатный рингтон What is Safety-Critical Software, and How Can Ada and SPARK Help? в формате MP3:
Если кнопки скачивания не
загрузились
НАЖМИТЕ ЗДЕСЬ или обновите страницу
Если возникают проблемы со скачиванием видео, пожалуйста напишите в поддержку по адресу внизу
страницы.
Спасибо за использование сервиса ClipSaver.ru
What is Safety-Critical Software, and How Can Ada and SPARK Help?
by Jean-Pierre Rosen At: FOSDEM 2019 https://video.fosdem.org/2019/AW1.125... We are (too much) used to software having bugs as an unavoidable fate. But for safety-critical software, like the code that's driving planes or trains, "Failure is Not an Option". This presentation exposes the constraints of such software, and how they require a special state of mind, special methods, and special tools - like Ada and SPARK. And these can be useful for more casual programming - zero bug software is nice, even when not safety-critical! Room: AW1.125 Scheduled start: 2019-02-02 15:30:00+01
Comments