Variants of acceptance specifications for modular system design

Les programmes informatiques prennent une place de plus en plus importante dans nos vies. Certains de ces programmes, comme par exemple les systèmes de contrôle de centrales électriques, d'avions ou de systèmes médicaux sont critiques : une panne ou un dysfonctionnement pourraient causer la per...

Full description

Bibliographic Details
Main Author: Verdier, Guillaume
Other Authors: Toulouse 3
Language:en
fr
Published: 2016
Subjects:
Online Access:http://www.theses.fr/2016TOU30044/document