Mise en Oeuvre de la Metode B
Seiten
2013
HERMES SCIENCE (Verlag)
978-2-7462-3810-7 (ISBN)
HERMES SCIENCE (Verlag)
978-2-7462-3810-7 (ISBN)
- Keine Verlagsinformationen verfügbar
- Artikel merken
Informatique et Systèmes d'Information
La mise en place d'un logiciel sans défaut reste primordiale pour plusieurs domaines qui requièrent des applications dites de sécurité comme les transports. La réalisation d'un modèle formel est l'approche la plus efficace pour atteindre l'objectif du zéro défaut, que ce soit en termes de temps ou de maîtrise de la complexité. Ce modèle permet d'analyser et de vérifier le comportement d'un logiciel.
Cet ouvrage présente la méthode B, une méthode formelle s'appuyant sur la preuve de propriétés qui, sur la base d'une spécification et de la notion de raffinement, permet d'aller jusqu'à la production automatique de code.
Différents outils découlant de cette méthode ainsi que des exemples concrets d'utilisations industrielles de différentes tailles sont aussi exposés dans des domaines tels que l'avionique ou les systèmes manufacturiers.
La mise en place d'un logiciel sans défaut reste primordiale pour plusieurs domaines qui requièrent des applications dites de sécurité comme les transports. La réalisation d'un modèle formel est l'approche la plus efficace pour atteindre l'objectif du zéro défaut, que ce soit en termes de temps ou de maîtrise de la complexité. Ce modèle permet d'analyser et de vérifier le comportement d'un logiciel.
Cet ouvrage présente la méthode B, une méthode formelle s'appuyant sur la preuve de propriétés qui, sur la base d'une spécification et de la notion de raffinement, permet d'aller jusqu'à la production automatique de code.
Différents outils découlant de cette méthode ainsi que des exemples concrets d'utilisations industrielles de différentes tailles sont aussi exposés dans des domaines tels que l'avionique ou les systèmes manufacturiers.
| Erscheinungsdatum | 18.11.2021 |
|---|---|
| Sprache | französisch |
| Maße | 160 x 240 mm |
| Gewicht | 755 g |
| Themenwelt | Informatik ► Programmiersprachen / -werkzeuge ► Java |
| Schlagworte | INFORMATIQUE ET SYSTEMES D INFORMATION |
| ISBN-10 | 2-7462-3810-1 / 2746238101 |
| ISBN-13 | 978-2-7462-3810-7 / 9782746238107 |
| Zustand | Neuware |
| Haben Sie eine Frage zum Produkt? |
Mehr entdecken
aus dem Bereich
aus dem Bereich
mit über 150 Workouts in Java und Python
Buch (2023)
Carl Hanser (Verlag)
CHF 41,95
Einführung, Ausbildung, Praxis
Buch | Hardcover (2023)
Rheinwerk (Verlag)
CHF 69,85
