Formal methods for informal developpers: A case-study driven by the French defense agency (DGA)

机译：非正式开发人员的正式方法：由法国国防部（DGA）驱动的案例研究

获取原文

页面导航

摘要
著录项
相似文献
相关主题

摘要

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.

机译：静态分析和形式化方法正在开发过程中慢慢找到自己的方式。但是，应用这样的技术需要方法和共同的理解，而这种理解并不一定总是广泛传播。在本文中，我们将描述法国国防部DGA如何计划在以Ada编写的军事应用中对这种软件进行审核。

著录项

来源
《IEEE International Symposium on Software Reliability Engineering Workshops》|2015年|16-16|共1页
会议地点
作者
Quentin Ochem; Eric Perlade;
展开▼
作者单位

展开▼
会议组织
原文格式 PDF
正文语种
中图分类
关键词
DGA; DO-178C; SPARK 2014; ada 2012; contract; formal methods; qualimetry;

机译：DGA; DO-178C; SPARK 2014; ada 2012;合同;正式方法;质量分析;

相似文献

外文文献
中文文献
专利

1. Economic reform, informal-formal sector linkages and intervention in the informal sector in developing countries: A paradox [J] . Hassan Arvin-Rad, Arnab K. Basu, Maria Willumsen International Review of Economics and Finance . 2010,第4期

机译：发展中国家的经济改革，非正规部门联系和对非正规部门的干预：一个悖论
2. Exploring the Relationship between Formal and Informal Institutions, Social Capital, and Entrepreneurial Activity in Developing and Developed Countries [J] . Diana Escandon-Barbosa, David Urbano-Pulido, Andrea Hurtado-Ayala Sustainability . 2019,第2期

机译：探索发展中国家和发达国家的正规与非正式机构，社会资本与企业活动的关系
3. Student Agency: an Analysis of Students' Networked Relations Across the Informal and Formal Learning Domains [J] . Rappa Natasha Anne, Tang Kok-Sing Research in science education . 2017,第3期

机译：学生代理：对非正式和正式学习领域的学生网络关系分析
4. Formal methods for informal developpers: A case-study driven by the French defense agency (DGA) [C] . Quentin Ochem, Eric Perlade IEEE International Symposium on Software Reliability Engineering Workshops . 2015

机译：非正式开发者的正式方法：法国国防局（DGA）驱动的案例研究
5. The economics of waste recycling: The role of formal and informal sectors in the municipal solid waste management system of the developing countries the case study of Lagos State [D] . Salau, Oladipupo. 2016

机译：废物回收的经济学：正规部门和非正式部门在发展中国家城市固体废物管理系统中的作用-拉各斯州案例研究
6. The inter-relationship between formal and informal care: a study in France and Israel [O] . HOWARD LITWIN, CLAUDINE ATTIAS-DONFUT -1

机译：正式和非正式护理之间的相互关系：法国和以色列的研究
7. Formal or informal, practical or impractical: towards integrating formal methods with informal practices in software engineering education [O] . Tse TH 1993

机译：正式或非正式，实际或不切实际：将正式方法与软件工程教育中的非正式实践相结合

Formal methods for informal developpers: A case-study driven by the French defense agency (DGA)

摘要

著录项

相似文献

相关主题

期刊订阅