Author: Sacha Krakowiak
Publisher:
ISBN:
Category :
Languages : fr
Pages : 28
Book Description
Méthodes et outils du génie logiciel
Author: Sacha Krakowiak
Publisher:
ISBN:
Category :
Languages : fr
Pages : 28
Book Description
Publisher:
ISBN:
Category :
Languages : fr
Pages : 28
Book Description
Aspects du génie logiciel
Author:
Publisher:
ISBN: 9782906899667
Category :
Languages : en
Pages :
Book Description
Publisher:
ISBN: 9782906899667
Category :
Languages : en
Pages :
Book Description
Methodes et outils de genie logiciel pour l'informatique scientifique
Author: A. Lelievre
Publisher:
ISBN:
Category :
Languages : fr
Pages : 13
Book Description
Publisher:
ISBN:
Category :
Languages : fr
Pages : 13
Book Description
Méthodes et outils de génie logiciel
Author: Muenier
Publisher:
ISBN:
Category :
Languages : en
Pages : 0
Book Description
Publisher:
ISBN:
Category :
Languages : en
Pages : 0
Book Description
CMA
Author:
Publisher:
ISBN:
Category : Accounting
Languages : en
Pages : 778
Book Description
Publisher:
ISBN:
Category : Accounting
Languages : en
Pages : 778
Book Description
Outils de mise en œuvre industrielle des techniques formelles
Author: BOULANGER Jean-Louis
Publisher: Lavoisier
ISBN: 274628801X
Category :
Languages : en
Pages : 402
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.
Publisher: Lavoisier
ISBN: 274628801X
Category :
Languages : en
Pages : 402
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.
Précis de génie logiciel
Author: Marie-Claude Gaudel
Publisher: Elsevier Masson
ISBN: 9782225851896
Category :
Languages : fr
Pages : 142
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).
Publisher: Elsevier Masson
ISBN: 9782225851896
Category :
Languages : fr
Pages : 142
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).
Génie logiciel
Author: Alfred Strohmeier
Publisher: PPUR
ISBN: 9782880742966
Category :
Languages : fr
Pages : 311
Book Description
La maîtrise du génie logiciel est une nécessité incontournable pour les entreprises développant des systèmes incluant du logiciel. La pratique du génie logiciel est plus particulièrement indispensable si ces systèmes sont de grande taille ou si leur utilisation présente des risques pour la vie humaine ou la propriété. Le génie logiciel se base sur des principes, propose des méthodes et offre des techniques permettant de développer des logiciels avec une qualité établie, de façon économique et dans des délais fixés. Il traite donc aussi bien des aspects d'organisation des équipes que des problèmes techniques liés aux activités de développement. De nombreuses personnes travaillent aujourd'hui dans le domaine du développement de logiciel sans avoir reçu une formation spécifique. Pour répondre à ce besoin, l'Ecole polytechnique fédérale de Lausanne a organisé en 1995 un cours post-grade consacré au génie logiciel ; il a rencontré un large succès. Le présent volume est une collection partielle des modules enseignés. Ce livre est structuré en cinq grandes parties : la partie 1 décrit les principes pris en compte dans la définition et la gestion du processus de développement ; les parties 2, 3, et 4 présentent différents modèles et techniques employés lors du développement de logiciels ; la partie 5 introduit les techniques destinées à mesurer et améliorer la qualité d'un logiciel. Le lecteur trouvera donc dans cet ouvrage les techniques les plus marquantes du processus global de développement.
Publisher: PPUR
ISBN: 9782880742966
Category :
Languages : fr
Pages : 311
Book Description
La maîtrise du génie logiciel est une nécessité incontournable pour les entreprises développant des systèmes incluant du logiciel. La pratique du génie logiciel est plus particulièrement indispensable si ces systèmes sont de grande taille ou si leur utilisation présente des risques pour la vie humaine ou la propriété. Le génie logiciel se base sur des principes, propose des méthodes et offre des techniques permettant de développer des logiciels avec une qualité établie, de façon économique et dans des délais fixés. Il traite donc aussi bien des aspects d'organisation des équipes que des problèmes techniques liés aux activités de développement. De nombreuses personnes travaillent aujourd'hui dans le domaine du développement de logiciel sans avoir reçu une formation spécifique. Pour répondre à ce besoin, l'Ecole polytechnique fédérale de Lausanne a organisé en 1995 un cours post-grade consacré au génie logiciel ; il a rencontré un large succès. Le présent volume est une collection partielle des modules enseignés. Ce livre est structuré en cinq grandes parties : la partie 1 décrit les principes pris en compte dans la définition et la gestion du processus de développement ; les parties 2, 3, et 4 présentent différents modèles et techniques employés lors du développement de logiciels ; la partie 5 introduit les techniques destinées à mesurer et améliorer la qualité d'un logiciel. Le lecteur trouvera donc dans cet ouvrage les techniques les plus marquantes du processus global de développement.
Le génie logiciel
Author: Jacques Printz
Publisher: FeniXX
ISBN: 2705961380
Category : Computers
Languages : fr
Pages : 131
Book Description
Cet ouvrage est une réédition numérique d’un livre paru au XXe siècle, désormais indisponible dans son format d’origine.
Publisher: FeniXX
ISBN: 2705961380
Category : Computers
Languages : fr
Pages : 131
Book Description
Cet ouvrage est une réédition numérique d’un livre paru au XXe siècle, désormais indisponible dans son format d’origine.
Le Génie Logiciel Et Ses Applications
Author:
Publisher:
ISBN:
Category : Software engineering
Languages : fr
Pages : 500
Book Description
Publisher:
ISBN:
Category : Software engineering
Languages : fr
Pages : 500
Book Description