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 条

[1] SPECIFICATIONS - FORMAL AND INFORMAL - A CASE-STUDY
GEHANI, N
[J]. SOFTWARE-PRACTICE & EXPERIENCE, 1982, 12 (05): : 433 - 444
[2] FORMAL AND INFORMAL TOURISM SECTORS - A CASE-STUDY IN PATTAYA, THAILAND
WAHNSCHAFFT, R
[J]. ANNALS OF TOURISM RESEARCH, 1982, 9 (03) : 429 - 451
[3] Formal theory and case-study methods in EU studies
Pahre, R
[J]. EUROPEAN UNION POLITICS, 2005, 6 (01) : 113 - 145
[4] SUBSTITUTION - A FORMAL METHODS CASE-STUDY USING MONADS AND TRANSFORMATIONS
BELLEGARDE, F
HOOK, J
[J]. SCIENCE OF COMPUTER PROGRAMMING, 1994, 23 (2-3) : 287 - 311
[5] FORMAL SPECIFICATION METHODS AND NUMERICAL SOFTWARE - A CASE-STUDY USING Z
LUCENA, CJP
QIAN, YM
[J]. UTILITAS MATHEMATICA, 1993, 44 : 85 - 114
[6] IN DEFENSE OF THE CASE-STUDY METHOD
MCKINLEY, W
[J]. AMERICAN JOURNAL OF ORTHOPSYCHIATRY, 1982, 52 (03) : 440 - 446
[7] JUDICIAL REVIEW OF INFORMAL AGENCY ACTION - CASE-STUDY OF SHAREHOLDER PROPOSAL NO-ACTION LETTERS
VICKERY, HL
[J]. HASTINGS LAW JOURNAL, 1976, 28 (02) : 307 - 356
[8] FORMAL AND INFORMAL RIGHTS TO LAND IN ZIMBABWE BLACK FREEHOLD AREAS - A CASE-STUDY FROM MSENGEZI
CHEATER, AP
[J]. AFRICA, 1982, 52 (03): : 77 - 91
[9] Assessing the functional relationship between the formal and informal waste systems: A case-study in Catalonia (Spain)
Rendon, Michael
Espluga-Trenc, Josep
Verd, Joan-Miquel
[J]. WASTE MANAGEMENT, 2021, 131 : 483 - 490
[10] COMPARING FORMAL AND INFORMAL SURVEY TECHNIQUES FOR FARMING SYSTEMS RESEARCH - A CASE-STUDY FROM KENYA
FRANZEL, S
CRAWFORD, EW
[J]. AGRICULTURAL ADMINISTRATION AND EXTENSION, 1987, 27 (01): : 13 - 33

← 1 2 3 4 5 →