Безопасное и надежное программное обеспечение

на примере языка Ада 2012

и SPARK 2014

Перевод брошюры «Безопасное и надежное программное обеспечение на примере языка Ада 2012, SPARK 2014» Джона Барнса.

Целью данной брошюры является продемонстрировать, как изучение языка Ада в целом и возможностей, введенных в редакциях Ада 2005, Ада 2012, в частности, поможет Вам разрабатывать безопасное и надежное программное обеспечение независимо от выбранного Вами языка реализации.

Скачать PDF

Читать онлайн:

Содержание

• Вступдение
• Предисловие

1. Безопасный синтаксис
2. Безопасные типы данных
3. Безопасные указатели
4. Безопасная архитектура
5. Безопасное объектно‐ориентированное программирование
6. Безопасное создание объектов
7. Безопасное управление памятью
8. Безопасный запуск
9. Безопасная коммуникация
10. Безопасный параллелизм
11. Сертификация с помощью SPARK

• Заключение
• Список литературы

---

Февраль 2017