Mise en oeuvre de la méthode B ; Traité RTA, série Informatique et Systèmes d'Information PDF Download
Are you looking for read ebook online? Search for your book and save it on your Kindle device, PC, phones or tablets. Download Mise en oeuvre de la méthode B ; Traité RTA, série Informatique et Systèmes d'Information PDF full book. Access full book title Mise en oeuvre de la méthode B ; Traité RTA, série Informatique et Systèmes d'Information by BOULANGER Jean-Louis. Download full books in PDF and EPUB format.
Author: BOULANGER Jean-Louis
Publisher: Lavoisier
ISBN: 2746288109
Category : B method (Computer science)
Languages : en
Pages : 434
Get Book Here
Book Description
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.
Author: BOULANGER Jean-Louis
Publisher: Lavoisier
ISBN: 2746288109
Category : B method (Computer science)
Languages : en
Pages : 434
Get Book Here
Book Description
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.
Author:
Publisher: Odile Jacob
ISBN: 2738175686
Category :
Languages : en
Pages : 337
Get Book Here
Book Description
Author:
Publisher:
ISBN:
Category :
Languages : fr
Pages : 0
Get Book Here
Book Description
Author:
Publisher: Food & Agriculture Org.
ISBN: 9251390622
Category :
Languages : en
Pages : 200
Get Book Here
Book Description
Author: Clarisse Juranville
Publisher:
ISBN:
Category : Arithmetic
Languages : fr
Pages : 104
Get Book Here
Book Description
Author:
Publisher:
ISBN:
Category :
Languages : fr
Pages : 0
Get Book Here
Book Description
Author: George M. Rassias
Publisher: CRC Press
ISBN: 1000943941
Category : Mathematics
Languages : en
Pages : 544
Get Book Here
Book Description
This book contains a series of papers on some of the longstanding research problems of geometry, calculus of variations, and their applications. It is suitable for advanced graduate students, teachers, research mathematicians, and other professionals in mathematics.
Author: S. K. Zaremba
Publisher: Academic Press
ISBN: 1483265161
Category : Mathematics
Languages : en
Pages : 504
Get Book Here
Book Description
Applications of Number Theory to Numerical Analysis contains the proceedings of the Symposium on Applications of Number Theory to Numerical Analysis, held in Quebec, Canada, on September 9-14, 1971, under the sponsorship of the University of Montreal's Center for Research in Mathematics. The symposium provided a forum for discussing number theory and its applications to numerical analysis, tackling topics ranging from methods used in estimating discrepancy to the structure of linear congruential sequences. Comprised of 17 chapters, this book begins by considering some combinatorial problems studied experimentally on computing machines. The discussion then turns to experiments on optimal coefficients; a distribution problem in finite sets; and the statistical interdependence of pseudo-random numbers generated by the linear congruential method. Subsequent chapters deal with lattice structure and reduced bases of random vectors generated by linear recurrences; modulo optimization problems and integer linear programming; equivalent forms of zero-one programs; and number theoretic foundations of finite precision arithmetic. This monograph will be of interest to students and practitioners in the field of applied mathematics.
Author: W. H. Shafer
Publisher: Springer Science & Business Media
ISBN: 1468433814
Category : Science
Languages : en
Pages : 319
Get Book Here
Book Description
Masters Theses in the Pure and Applied Sciences was first conceived, published, and dis seminated by the Center for Information and Numerical Data Analysis and Synthesis (CINDAS) * at Purdue University in 1957, starting its coverage of theses with the academic year 1955. Beginning with Volume 13, the printing and dissemination phases of the ac tivity were transferred to University Microfilms/Xerox of Ann Arbor, Michigan, with the thought that such an arrangement would be more beneficial to the academic and general scientific and technical community. After five years of this joint undertaking we had concluded that it was in the interest of all concerned if the printing and distribution of the volume were handled by an international publishing house to assure improved service and broader dissemination. Hence, starting with Volume 18, Masters Theses in the Pure and Applied Sciences has been disseminated on a worldwide basis by Plenum Publishing Corporation of New York, and in the same year the coverage was broadened to include Canadian universities. All back issues can also be ordered from Plenum. We have reported in Volume 22 (thesis year 1977) a total of 10,658 theses titles from 28 Canadian and 227 United States universities. We are sure that this broader base for theses titles reported will greatly enhance the value of this important annual reference work. While Volume 22 reports theses submitted in 1977, on occasion, certain universities do report theses submitted in previous years but not reported at the time.
Author:
Publisher: European Control Association
ISBN: 9782866012816
Category : Control theory
Languages : en
Pages : 1012
Get Book Here
Book Description
Proceedings of the European Control Conference 1991, July 2-5, 1991, Grenoble, France
