https://www.reddit.com/r/programming/co ... ant_to_be/
Якобы в комментариях Lucretia описаны требования DoD
Ада и сертификация DoD
Re: Ада и сертификация DoD
Максим Резник, [22.09.19 18:39]
[In reply to Денис Будяк]
На русском совсем мало на эту тему. Можно глянуть https://www.ada-ru.org/sssw/chapter_11 для начала
[In reply to Денис Будяк]
На русском совсем мало на эту тему. Можно глянуть https://www.ada-ru.org/sssw/chapter_11 для начала