Formal Methods for Informal Developers A case-study driven by the French defense agency (DGA)

被引：0
|
作者：
Ochem, Quentin [1 ]
Perlade, Eric [2 ]
机构：
[1] AdaCore, New York, NY 10075 USA
[2] AdaCore, Paris, France
来源：
2015 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW) | 2015年
关键词：
formal methods; ada; 2012; contract; qualimetry; DGA; SPARK; 2014; DO-178C;
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
Static analysis and formal methods are slowly finding their way in development processes. However, applying such technology requires methodologies and common understanding, which is not always widely spread. In this paper, we'll describe how the French defense agency DGA is planning to audit such software in the context of military applications written in ada.
引用
收藏
页码：16 / 16
页数：1
相关论文
共 50 条
12345