Traité D'analyse Des Matières Agricoles ...
Title | Traité D'analyse Des Matières Agricoles ... PDF eBook |
Author | Louis Grandeau |
Publisher | |
Pages | 642 |
Release | 1897 |
Genre | Agricultural chemistry |
ISBN |
Catalogue of the Pennsylvania State Library: Catalogue of miscellaneous books. 742 p
Title | Catalogue of the Pennsylvania State Library: Catalogue of miscellaneous books. 742 p PDF eBook |
Author | |
Publisher | |
Pages | 762 |
Release | 1878 |
Genre | Law |
ISBN |
Traite Des Falsifications Et Alterations Des Substances Alimentaires
Title | Traite Des Falsifications Et Alterations Des Substances Alimentaires PDF eBook |
Author | Antoine i.e. Charles Antoine Theodore Villiers |
Publisher | |
Pages | 472 |
Release | 1911 |
Genre | |
ISBN |
Traité D'Analyse
Title | Traité D'Analyse PDF eBook |
Author | Charles Émile PICARD |
Publisher | |
Pages | |
Release | 1891 |
Genre | |
ISBN |
Annual Report
Title | Annual Report PDF eBook |
Author | New York State Library |
Publisher | |
Pages | 856 |
Release | 1854 |
Genre | Libraries |
ISBN |
The Americana
Title | The Americana PDF eBook |
Author | Frederick Converse Beach |
Publisher | |
Pages | 920 |
Release | 1912 |
Genre | Encyclopedias and dictionaries |
ISBN |
Mise en oeuvre de la méthode B ; Traité RTA, série Informatique et Systèmes d'Information
Title | Mise en oeuvre de la méthode B ; Traité RTA, série Informatique et Systèmes d'Information PDF eBook |
Author | BOULANGER Jean-Louis |
Publisher | Lavoisier |
Pages | 434 |
Release | 2013-04-01 |
Genre | B method (Computer science) |
ISBN | 2746288109 |
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.