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

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

и SPARK 2014

wiki:files/safe_secure_2012.png

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

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

Скачать PDF


Февраль 2017