System to Software Integrity: A Case Study
Résumé
It is widely acknowledged that the main source of cost for developing high-integrity software systems is their
verification. A significant portion of this verification cost is spent assessing that software complies with its
requirements.
Origine | Fichiers produits par l'(les) auteur(s) |
---|
Loading...