Re: Does Ada need a 'secure coding standard' as well?

["Yannick Duchêne (Hibou57)" <yannick_duchene@yahoo.fr>]

Le Sun, 29 May 2011 17:23:52 +0200, Maciej Sobczak  
<see.my.homepage@gmail.com> a écrit:
> Apart from those already mentionend, these two might be of interest:
> […]
Do you know some reference to papers published after the workshop  
Jean-Pierre Rosen talked about here some months ago ? This was about OOD  
in applications with hard requirement for safety. I posted one link to  
such a document, but a pointer to this other material would still be worth.


Note for people not very versed in Ada reading this thread: these papers  
does not suggest Ada is not safe; on the opposite, these are all  
recommendations to be applied when a hard step above typical safety  
requirement one may find with everyday applications are required; none is  
required outside of so much heavy requirements.

-- 
“Syntactic sugar causes cancer of the semi-colons.”  [Epigrams on  
Programming — Alan J. — P. Yale University]
“Structured Programming supports the law of the excluded muddle.” [Idem]
“c++; /* this makes c bigger but returns the old value */” [Anonymous]