Mise en oeuvre de la m thode B Trait RTA s rie Informatique et Syst mes d Information is popular PDF and ePub book, written by BOULANGER Jean-Louis in 2013-04-01, it is a fantastic choice for those who relish reading online the B method (Computer science) genre. Let's immerse ourselves in this engaging B method (Computer science) book by exploring the summary and details provided below. Remember, Mise en oeuvre de la m thode B Trait RTA s rie Informatique et Syst mes d Information can be Read Online from any device for your convenience.
Mise en oeuvre de la m thode B Trait RTA s rie Informatique et Syst mes d Information Book PDF Summary
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.
Detail Book of Mise en oeuvre de la m thode B Trait RTA s rie Informatique et Syst mes d Information PDF
- Author : BOULANGER Jean-Louis
- Release : 01 April 2013
- Publisher : Lavoisier
- ISBN : 9782746288102
- Genre : B method (Computer science)
- Total Page : 434 pages
- Language : English
- PDF File Size : 11,8 Mb
If you're still pondering over how to secure a PDF or EPUB version of the book Mise en oeuvre de la m thode B Trait RTA s rie Informatique et Syst mes d Information by BOULANGER Jean-Louis, don't worry! All you have to do is click the 'Get Book' buttons below to kick off your Download or Read Online journey. Just a friendly reminder: we don't upload or host the files ourselves.