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: TheBookEdition
ISBN: 295968060X
Category :
Languages : en
Pages : 217
Get Book Here
Book Description
Author: Louise Pelletier
Publisher: McGill-Queen's Press - MQUP
ISBN: 0773564497
Category : Architecture
Languages : en
Pages : 254
Get Book Here
Book Description
An enlightened discussion of all relevant aspects of architecture shows the necessity for revision of commonly held assumptions about the nature of architectural history, theory, representation, and ideation; the production of buildings in the postindustrial city; and professional ethics. These topics provide the basis for the fourteen interdisciplinary papers presented here. The introductory section includes an examination of the epistemological origins of technology in the early modern European context and two alternative visions of ethics and its potential relevance for architecture. The second part presents four perspectives on important questions about how we represent buildings and the ethical values involved in that representation. "Ethics and Poetics in the Context of Technological Production" considers the role of philosophical ethics (i.e., a rational structure of categories in architectural practice) and the possibility, and desirability, of incorporating ethical reflections into the generation of architectural form. "The Architectural Uses of History and Narrative in a Technocratic World" explores alternatives for articulating an ethical attitude in forms of discourse other than philosophy and science. These papers were originally presented at the bilingual symposium "Architecture, Ethics, and Technology" held at the Canadian Centre for Architecture in Montreal in 1991.
Author: L.G. Napolitano
Publisher: Elsevier
ISBN: 1483159825
Category : Technology & Engineering
Languages : en
Pages : 415
Get Book Here
Book Description
Space Activity: Impact on Science and Technology contains the proceedings of the 24th International Astronautical Congress held in the USSR on October 7-13, 1973. Contributors focus on the contribution of space research to the development of science and technology, including biology and medicine. This text begins with a discussion on the role played by Soviet automatic vehicles in the progress of space automatics and control theory. The discussion then turns to the problems of space technology and their implications for science and technology, industrial applications of aerospace technology, and development of liquid-propellant rocket engineering technology in the USSR. The chapters that follow explore the contribution of space medicine to public health; the role of astronautics in the development of methods of celestial mechanics; the flight performance of the unmanned Skylab space station; and remote sensing of the environment and earth's resources studies from Soviet manned spacecraft. The book concludes with an appraisal of international standards for model rocket engines. This book will be of interest to students of astronomy as well as researchers and practitioners working in the field of space exploration and research.
Author:
Publisher:
ISBN:
Category : Information storage and retrieval systems
Languages : en
Pages : 552
Get Book Here
Book Description
Author: Laura Corti
Publisher:
ISBN:
Category : Art
Languages : en
Pages : 564
Get Book Here
Book Description
Author:
Publisher:
ISBN:
Category : European Economic Community countries
Languages : en
Pages : 564
Get Book Here
Book Description
Author: Claire Clivaz
Publisher: BRILL
ISBN: 900440256X
Category : Religion
Languages : en
Pages : 298
Get Book Here
Book Description
Ecritures digitales aims to demonstrate how digital writing contributes to the emergence of “a new relationship between the human body and the machine” as Jacques Derrida proposed when he considered the effects of new technologies. This reconfigured relationship, not surprisingly, is also influencing the digital future of the Jewish-Christian textual corpus referred to as “the Scriptures”. The French title brings together this duality in one expression: Ecritures digitales. The English subtitle makes explicit the double meaning of the unique French word Ecritures: Digital writing, digital Scriptures. With a full French version and an abbreviated English version, this monograph analyzes the main challenges and opportunities for both writing and the Scriptures in the transition to digital culture. Ecritures digitales souhaite démontrer de quelle manière l’écriture digitale contribue à l’émergence d’une « nouvelle relation du corps humain aux machines », selon le diagnostique posé par Jacques Derrida à propos des effets des nouvelles technologies. Cette relation innovante influence également l’avenir numérique du corpus textuel judéo-chrétien désigné comme «les Ecritures». Le titre français rassemble en une seule expression ces deux thématiques: Ecritures digitales. Le sous-titre anglais rend sa double signification explicite: Digital writing, digital Scriptures. Avec une version française complète et une version anglaise brève, cette monographie analyse les principaux défis des métamorphoses digitales de l’écriture et des Ecritures.
Author:
Publisher:
ISBN:
Category : Canadian periodicals
Languages : en
Pages : 1736
Get Book Here
Book Description
Author:
Publisher:
ISBN:
Category : Labor movement
Languages : en
Pages : 830
Get Book Here
Book Description
