Read Books Online and Download eBooks, EPub, PDF, Mobi, Kindle, Text Full Free.
Download Recherche Et Mise En Oeuvre Dun Atelier De Genie Logiciel Informatique full books in PDF, epub, and Kindle. Read online Recherche Et Mise En Oeuvre Dun Atelier De Genie Logiciel Informatique ebook anywhere anytime directly on your device. Fast Download speed and no annoying ads. We cannot guarantee that every ebooks is available!
Author : Fabrice COLLIN
Publisher :
ISBN 13 :
Total Pages : 174 pages
Book Rating : 4.:/5 (494 download)
Download or read book Recherche et mise en oeuvre d'un atelier de génie logiciel informatique written by Fabrice COLLIN and published by . This book was released on 1994 with total page 174 pages. Available in PDF, EPUB and Kindle. Book excerpt:
Author : Frédéric VAST
Publisher :
ISBN 13 :
Total Pages : 170 pages
Book Rating : 4.:/5 (494 download)
Download or read book La mise en oeuvre d'un atelier de génie logiciel written by Frédéric VAST and published by . This book was released on 1998 with total page 170 pages. Available in PDF, EPUB and Kindle. Book excerpt:
Author : BOULANGER Jean-Louis
Publisher : Lavoisier
ISBN 13 : 2746288109
Total Pages : 434 pages
Book Rating : 4.7/5 (462 download)
Download or read book Mise en oeuvre de la méthode B ; Traité RTA, série Informatique et Systèmes d'Information written by BOULANGER Jean-Louis and published by Lavoisier. This book was released on 2013-04-01 with total page 434 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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 : O. Thiéry
Publisher :
ISBN 13 :
Total Pages : 90 pages
Book Rating : 4.:/5 (897 download)
Download or read book Conception des systèmes d'information les ateliers de génie logiciel written by O. Thiéry and published by . This book was released on 1993 with total page 90 pages. Available in PDF, EPUB and Kindle. Book excerpt:
Author : BOULANGER Jean-Louis
Publisher : Lavoisier
ISBN 13 : 274628801X
Total Pages : 402 pages
Book Rating : 4.7/5 (462 download)
Download or read book Outils de mise en œuvre industrielle des techniques formelles written by BOULANGER Jean-Louis and published by Lavoisier. This book was released on 2012-04-16 with total page 402 pages. Available in PDF, EPUB and Kindle. Book excerpt: Les techniques formelles réalisent des modèles de spécifications et/ou de conception et servent principalement à l'analyse statique de code, à la démonstration du respect de propriété et à la bonne gestion des calculs sur les flottants. Différents domaines tels les systèmes de transport, la production d'énergie ou la santé prennent en compte l'implémentation de ces méthodes pour satisfaire les exigences de sécurité élevées des systèmes critiques. Leur mise en œuvre dans le cadre d'une application industrielle (application de grande taille, contrainte de coût et de délais, etc.) ne peut se faire que par l'emploi d'outils suffisamment matures et performants. Cet ouvrage collectif présente des exemples concrets d'utilisation des techniques formelles comme la méthode B, SCADE, MaTeLo, ControlBuild, SparkAda et POLYSPACE et des techniques de vérification associées. Il en identifie aussi les avantages et les difficultés.
Author : Coq
Publisher : Lavoisier
ISBN 13 : 274624327X
Total Pages : 307 pages
Book Rating : 4.7/5 (462 download)
Download or read book Méthodes et informatique : réussite du projet informatique par la méthode written by Coq and published by Lavoisier. This book was released on 2012 with total page 307 pages. Available in PDF, EPUB and Kindle. Book excerpt:
Author : David Gustafson
Publisher :
ISBN 13 : 9782100079117
Total Pages : 197 pages
Book Rating : 4.0/5 (791 download)
Download or read book Génie logiciel written by David Gustafson and published by . This book was released on 2003 with total page 197 pages. Available in PDF, EPUB and Kindle. Book excerpt: Le génie logiciel regroupe l'ensemble des méthodes et techniques mises en oeuvre pour la création de logiciels, depuis la phase d'expression des besoins des futurs utilisateurs jusqu'à la phase de mise en service. Cet ouvrage rappelle les notions de base de cette discipline : mise au point des spécifications à remplir, gestion de projets (organisation des équipes, recherche des erreurs...), analyse des risques et garanties de qualité (fiabilité du logiciel). Le développement selon les méthodes orientées objet est passé en revue ainsi que les procédures de tests. [4ème de couv.]
Author : Claudine Alezra
Publisher : La Documentation Française
ISBN 13 :
Total Pages : 116 pages
Book Rating : 4.3/5 ( download)
Download or read book L'Ergonomie des logiciels written by Claudine Alezra and published by La Documentation Française. This book was released on 1987 with total page 116 pages. Available in PDF, EPUB and Kindle. Book excerpt:
Author : Jean-Luc CIVILISE
Publisher :
ISBN 13 :
Total Pages : 404 pages
Book Rating : 4.:/5 (494 download)
Download or read book Implantation d'un atelier de Génie Logiciel au centre informatique de Nice/ Jean-Luc Civilise written by Jean-Luc CIVILISE and published by . This book was released on 1994 with total page 404 pages. Available in PDF, EPUB and Kindle. Book excerpt:
Author : Jean-René SEZNEC
Publisher :
ISBN 13 :
Total Pages : 76 pages
Book Rating : 4.:/5 (494 download)
Download or read book La mise en oeuvre du génie logiciel et ses enjeux pour l'informatique du régime d'Assurance Chômage written by Jean-René SEZNEC and published by . This book was released on 1994 with total page 76 pages. Available in PDF, EPUB and Kindle. Book excerpt:
Author : Marie-Claude Gaudel
Publisher : Elsevier Masson
ISBN 13 : 9782225851896
Total Pages : 142 pages
Book Rating : 4.8/5 (518 download)
Download or read book Précis de génie logiciel written by Marie-Claude Gaudel and published by Elsevier Masson. This book was released on 1996 with total page 142 pages. Available in PDF, EPUB and Kindle. Book excerpt: Un logiciel est un produit complexe et difficile à réaliser. En effet, l'écriture "d'un petit utilitaire maison" qui répond à des besoins précis mais qui souvent fait appel à une connaissance implicite de l'utilisateur, ne nécessite pas la même organisation matérielle et intellectuelle que la conception et la réalisation d'un logiciel professionnel : un programme comportant plusieurs dizaines, voire centaines de milliers de lignes ne s'improvise pas. Cependant, disposer des moyens matériels et humains ne suffit pas. Une méthode est indispensable. Le software engineering ou génie logiciel a été défini en 1968, sous le parrainage de l'OTAN, par un groupe de scientifiques cherchant à résoudre le problème des logiciels d'alors : le logiciel n'est pas fiable et il est incroyablement difficile de réaliser dans les délais prévus des logiciels satisfaisant leurs cahiers de charges. Ainsi le génie logiciel a-t-il pour objectif de spécifier, de concevoir, de réaliser et de faire évoluer, avec des moyens et dans des délais raisonnables, des programmes, des documentations et des procédures de qualité en vue d'utiliser un ordinateur pour résoudre certains problèmes. Ce livre propose un panorama des méthodes utilisées en génie logiciel. Il expose, pour chaque étape de la vie d'un logiciel, les modèles reconnus et appliqués aujourd'hui. Ecrit avec un réel souci pédagogique, cet ouvrage est concis et permettra au lecteur une entrée en matière immédiate. Il s'adresse aux étudiants en informatique (licence, maîtrise, MIAGE, DEA, DESS, élèves-ingénieurs) ainsi qu'aux enseignants-chercheurs. Il intéressera aussi les informaticiens en poste (programmeurs, développeurs, chefs de projet).
Author : Henri Bremont
Publisher :
ISBN 13 :
Total Pages : 186 pages
Book Rating : 4.:/5 (495 download)
Download or read book De l'intégration des ateliers de génie logiciel dans les organisations written by Henri Bremont and published by . This book was released on 1995 with total page 186 pages. Available in PDF, EPUB and Kindle. Book excerpt:
Author : Jean Brès
Publisher : Elsevier Masson
ISBN 13 : 9782225846069
Total Pages : 253 pages
Book Rating : 4.8/5 (46 download)
Download or read book Ateliers de génie logiciel written by Jean Brès and published by Elsevier Masson. This book was released on 1994 with total page 253 pages. Available in PDF, EPUB and Kindle. Book excerpt: Un atelier de génie logiciel (AGL) est un ensemble d'outils intégrés de développement de logiciel. Son objectif consiste à répondre à l'exigence toujours croissante de qualité et de productivité des développements informatiques en utilisant l'ordinateur lui-même pour aider à la fabrication de logiciel d'application. L'ouvrage présente un panorama des domaines et des fonctionnalités couverts aujourd'hui par les AGL en matière d'informatique de gestion. Après avoir rappelé les problèmes posés aux services informatiques et décrit brièvement les buts du génie logiciel (l'application de méthodes scientifiques permettant la fabrication de logiciels de qualité), l'auteur considère les outils qui permettent d'automatiser la production de logiciel. L'utilisation des AGL est envisagée pour chaque phase du cycle de vie du produit logiciel. L'apport et les critères de choix des AGL sont ensuite examinés. En outre, sont fournis en annexe des compléments concernant les méthodes de conception et de programmation, les standards en matière de dictionnaires, les liens entre les bases de données et les AGL, la normalisation relationnelle. A défaut d'une description exhaustive du marché, par nature très mouvant, cet ouvrage permettra aux directeurs informatiques, aux responsables des services d'études et de méthodes, de génie logiciel et de la qualité, aux consultants de sociétés de services (SSII), aux chefs de projet et aux informaticiens de gestion d'acquérir les connaissances nécessaires pour analyser la situation actuelle et comprendre ce qu'ils peuvent raisonnablement attendre de ces outils.
Author : Dan Thu Tran
Publisher :
ISBN 13 :
Total Pages : pages
Book Rating : 4.:/5 (491 download)
Download or read book Formalisation et mise en oeuvre de la notion de composant de procédés logiciels written by Dan Thu Tran and published by . This book was released on 2001 with total page pages. Available in PDF, EPUB and Kindle. Book excerpt: Cette thèse est consacrée à la réutilisation des procédés logiciels. Pour mettre en oeuvre efficacement cette réutilisation, nous adoptons la notion de composant de procédés, à l'instar de ce qui se fait pour les composants logiciels et les patrons de conception. L'environnement RHODES, un atelier de génie logiciel centré procédé (AGL-P), est la base de notre recherche. Cet environnement permet de décrire un procédé à l'aide du langage PBOOL, et permet d'exécuter ce procédé. Nous adaptons les propriétés de composants logiciels pour caractériser les composants de procédés. En particulier, nous proposons certaines caractéristiques nécessaires à un composant telles que l'autonomie, l'évolution, la cohérence, etc. Pour satisfaire ces caractéristiques, notre recherche s'effectue selon deux axes. Premièrement, nous proposons une extension du langage PBOOL (dite PBOOL+) afin de décrire les composants de procédés. Le langage PBOOL+ prend en compte les composants complexes et les composants paramétrés pour favoriser la réutilisation de procédés. Deuxièmement, nous établissons certaines propriétés topologiques (telles que la fermeture transitive, la connexité, la connexité faible...) afin de préciser la sémantique de l'autonomie et la cohérence de composants. Nous caractérisons aussi les propriétés topologiques d'un composant selon sa nature (par exemple, un composant complexe doit être faiblement connexe, un procédé doit être une fermeture transitive...) Nous proposons également une démarche de définition de composants de procédés, permettant de passer progressivement d'un procédé informel à un procédé décrit sous forme de composants PBOOL+. Enfin, la gestion des procédés s'appuie sur une base de composants de procédés (BCP). Nous avons réalisé un éditeur de composants et un système de gestion des BCP s'appuyant sur une base de données objets. Les composants de procédés sont définis et stockés dans une BCP par l'intermédiaire de l'éditeur de composants.
Author : Jean-Louis Boulanger
Publisher : John Wiley & Sons
ISBN 13 : 1118614372
Total Pages : 296 pages
Book Rating : 4.1/5 (186 download)
Download or read book Formal Methods written by Jean-Louis Boulanger and published by John Wiley & Sons. This book was released on 2013-05-10 with total page 296 pages. Available in PDF, EPUB and Kindle. Book excerpt: Although formal analysis programming techniques may be quite old, the introduction of formal methods only dates from the 1980s. These techniques enable us to analyze the behavior of a software application, described in a programming language. It took until the end of the 1990s before formal methods or the B method could be implemented in industrial applications or be usable in an industrial setting. Current literature only gives students and researchers very general overviews of formal methods. The purpose of this book is to present feedback from experience on the use of “formal methods” (such as proof and model-checking) in industrial examples within the transportation domain. This book is based on the experience of people who are currently involved in the creation and evaluation of safety critical system software. The involvement of people from within the industry allows us to avoid the usual problems of confidentiality which could arise and thus enables us to supply new useful information (photos, architecture plans, real examples, etc.). Topics covered by the chapters of this book include SAET-METEOR, the B method and B tools, model-based design using Simulink, the Simulink design verifier proof tool, the implementation and applications of SCADE (Safety Critical Application Development Environment), GATeL: A V&V Platform for SCADE models and ControlBuild. Contents 1. From Classic Languages to Formal Methods, Jean-Louis Boulanger. 2. Formal Method in the Railway Sector the First Complex Application: SAET-METEOR, Jean-Louis Boulanger. 3. The B Method and B Tools, Jean-Louis Boulanger. 4. Model-Based Design Using Simulink – Modeling, Code Generation, Verification, and Validation, Mirko Conrad and Pieter J. Mosterman. 5. Proving Global Properties with the Aid of the SIMULINK DESIGN VERIFIER Proof Tool, Véronique Delebarre and Jean-Frédéric Etienne. 6. SCADE: Implementation and Applications, Jean-Louis Camus. 7. GATeL: A V&V Platform for SCADE Models, Bruno Marre, Benjamin Bianc, Patricia Mouy and Christophe Junke. 8. ControlBuild, a Development Framework for Control Engineering, Franck Corbier. 9. Conclusion, Jean-Louis Boulanger.
Author : Daniel Morel
Publisher :
ISBN 13 :
Total Pages : pages
Book Rating : 4.:/5 (421 download)
Download or read book Guide d'implantation d'un atelier de génie logiciel written by Daniel Morel and published by . This book was released on 1991 with total page pages. Available in PDF, EPUB and Kindle. Book excerpt:
Author : Guy MOREL
Publisher :
ISBN 13 :
Total Pages : 318 pages
Book Rating : 4.:/5 (494 download)
Download or read book L'implantation d'un atelier de génie logiciel written by Guy MOREL and published by . This book was released on 1986 with total page 318 pages. Available in PDF, EPUB and Kindle. Book excerpt:
