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

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

и SPARK 2014


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

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

Скачать PDF

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

Содержание

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

Февраль 2017