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
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
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: MESDON Bernard Publisher: Lavoisier ISBN: 2746288303 Category : Languages : en Pages : 258
Book Description
La méthode des points de fonction est l'outil incontournable pour la mesure fonctionnelle des SI et l'estimation des coûts de développement. Elle permet de mesurer les services rendus aux utilisateurs du SI, indépendamment des aspects architecturaux et méthodologiques du développement logiciel. Cette méthode s'applique aux fonctions de l'entreprise comme la direction des systèmes d'information (fonctions projet, processus et gouvernance), les directions métiers (fonction maîtrise d'ouvrage) ou les SSII (fonctions projet, qualité et méthodes). Des exemples et études de cas illustrant l'utilisation de la méthode permettent de définir les usages (estimation des coûts, mais aussi suivi des ratios de productivité, etc.), d'attribuer des méthodes spécifiques pour les différents types de SI (IFPUG et/ou COSMIC), de révéler les limites et extensions (cotation des algorithmes) et de déterminer les chiffres de bases (ratios de productivité, taille des SI, coefficients correcteurs, etc.). L'auteur Spécialiste en développement et direction de projet de SI, Bernard Mesdon utilise les points de fonction depuis 1996 comme outil d'analyse fonctionnelle et d'estimation des coûts de développement.
Author: CARLIER Alphonse Publisher: Lavoisier ISBN: 2746288249 Category : Languages : en Pages : 290
Book Description
L'entreprise se construit sur sa capacité d'innovation et avec des systèmes opérationnels capables de délivrer la valeur ajoutée attendue. Les modèles de systèmes d'information doivent s'adapter rapidement aux technologies émergentes et aux besoins des clients et des utilisateurs. Cet ouvrage dresse un panorama des approches classiques et des méthodes empiriques pour les SI et propose une vision élargie qui correspond aux besoins des métiers. Il présente les différents aspects permettant de faire face aux évolutions et aux ruptures technologiques à l'aide d'une organisation optimale qui va de la gouvernance à la gestion informatique. Il expose les procédés pour introduire les nouvelles technologies de veille et d'intelligence économique tout en décrivant les macroétapes (analyse, conception, production et mise en exploitation) et l'incorporation des pratiques métiers en matière de cycle de vie. L'auteur Alphonse Carlier est ingénieur industriel et consultant en gestion et développement de projets innovants. Il intervient comme formateur sur les technologies objets, MERISE, UML2, ITILV3, ISO 20000, ISO 9001, l'administration des bases de données Oracle, PostgreSQL, MySQL, les outils collaboratifs, les CMS et les méthodes de gestion.
Author: Franck Varenne Publisher: Routledge ISBN: 1351660934 Category : History Languages : en Pages : 236
Book Description
This book analyses the impact computerization has had on contemporary science and explains the origins, technical nature and epistemological consequences of the current decisive interplay between technology and science: an intertwining of formalism, computation, data acquisition, data and visualization and how these factors have led to the spread of simulation models since the 1950s. Using historical, comparative and interpretative case studies from a range of disciplines, with a particular emphasis on the case of plant studies, the author shows how and why computers, data treatment devices and programming languages have occasioned a gradual but irresistible and massive shift from mathematical models to computer simulations. The Open Access version of this book, available at http://www.taylorfrancis.com, has been made available under a Creative Commons [Attribution-Non Commercial-No Derivatives (CC-BY-NC-ND)] 4.0 license.
Author: BOULANGER Jean-Louis
Author: BOULANGER Jean-Louis
Author: 
Author: 
Author: MESDON Bernard
Author: Library of Congress
Author: 
Author: 
Author: New York Public Library. Research Libraries
Author: CARLIER Alphonse
Author: Franck Varenne