Outils de mise en oeuvre industrielle des méthodes formelles
La 4e de couverture indique : "Les techniques formelles réalisent des modèles de spécifications et/ou de conception et servent principalement à l'analyse statique de code, à la démonstration du respect de propriété et à la bonne gestion des calculs sur les flottants. Différents domaines te...
Uloženo v:
| Další autoři: | |
|---|---|
| Médium: | Livre papier |
| Jazyk: | Français |
| Vydáno: |
Paris :
Hermès science publications : Lavoisier
DL 2012, cop. 2012
|
| Edice: | Informatique et systèmes d'information. Recherche, technologie, applications
|
| Témata: | |
| Autres localisations: | Voir dans le Sudoc |
Obsah:
- Chapitre 1 Des langages classiques aux méthodes formelles
- Chapitre 2 SCADE : mise en oeuvre et applications
- Chapitre 3 SPARK, un langage et une boîte à outils pour le développement de logiciel critique
- Chapitre 4 ControlBuild
- Chapitre 5 Model Based Testing Génération automatique de cas de test à l'aide d'une modélisation par chaînes de Markov
- Chapitre 6 Analyse de sécurité des systèmes embarqués avec AltaRica
- Chapitre 7 Méthode B et outils B
- Chapitre 8 Polyspace
- Chapitre 9 Synthèse et conclusions