Aspects du génie logiciel 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 Aspects du génie logiciel PDF full book. Access full book title Aspects du génie logiciel by . Download full books in PDF and EPUB format.
Author:
Publisher:
ISBN: 9782906899667
Category :
Languages : en
Pages :
Get Book Here
Book Description
Author:
Publisher:
ISBN: 9782906899667
Category :
Languages : en
Pages :
Get Book Here
Book Description
Author: Sacha Krakowiak
Publisher:
ISBN:
Category :
Languages : fr
Pages : 28
Get Book Here
Book Description
Author: A. Lelievre
Publisher:
ISBN:
Category :
Languages : fr
Pages : 13
Get Book Here
Book Description
Author: Muenier
Publisher:
ISBN:
Category :
Languages : en
Pages : 0
Get Book Here
Book Description
Author:
Publisher:
ISBN:
Category : Accounting
Languages : en
Pages : 778
Get Book Here
Book Description
Author: BOULANGER Jean-Louis
Publisher: Lavoisier
ISBN: 274628801X
Category :
Languages : en
Pages : 402
Get Book Here
Book Description
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: Marie-Claude Gaudel
Publisher: Elsevier Masson
ISBN: 9782225851896
Category :
Languages : fr
Pages : 142
Get Book Here
Book Description
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:
Publisher:
ISBN:
Category : Software engineering
Languages : fr
Pages : 526
Get Book Here
Book Description
Author:
Publisher:
ISBN:
Category : Software architecture
Languages : fr
Pages : 324
Get Book Here
Book Description
Author: Jean-Marc Pivot
Publisher: Editions Quae
ISBN: 9782853624947
Category : Agriculture and state
Languages : fr
Pages : 380
Get Book Here
Book Description
