Development process improvement by the means of formal and semi-formal methods

被引：0

作者：

Thuillier, P ^{[1
]}

Wippler, JL ^{[1
]}

机构：

[1] ALTRAN Technol, F-31400 Toulouse, France

来源：

DASIA 2000: DATA SYSTEMS IN AEROSPACE, PROCEEDINGS | 2000年 / 457卷

关键词：

requirements engineering and system engineering of software intensive system; early validation and verification; process improvement; evolutionary process; object-oriented methods; formal methods; UML; SDL;

D O I：

暂无

中图分类号：

V [航空、航天];

学科分类号：

08 ; 0825 ;

摘要：

Available statistics of Software Intensive System (SIS) development exhibit limits of currently used processes [2]. As recommended by Capability Maturity Models (CMM) improving the development process is mandatory when critical(1) system are under consideration. Our approach -carried out through different successive projects- is based on a dedicated development process, which emphasises a strong improvement of its earlier phases. Indeed numerous projects have demonstrated that errors occurring during the earlier elicitation/specification phases are in truth not infrequent, and are the most expensive ones to fix. We believe that potential errors, whatever the considered development process phase is, can be avoided by conducting improved and rigorous Validation and Verification (V&V)(2) activities.

引用

页码：221 / 225

页数：5