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

摘要

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 differnet 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 potnetial errors, whatever the considered development process phase is, can be avoided by conducting improved and rigorous Validation and Verification (V&V)~2 activities.