Précis de génie logiciel

Bruno Marre, Marie-Claude Gaudel, Francoise Schlienger, Gilles Bernot

142 pages, parution le 02/05/1996

Ajouter à une liste

Indisponible

Résumé

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).

Au sommaire

Modèles de développement du logiciel.
Méthodes d'analyse, de spécification et de conception.
Méthodes formelles de spécification et de développement.
Langage de programmation.
Test de logiciel.
Méthodes de preuve de développement de logiciel.

Caractéristiques techniques

	PAPIER
Éditeur(s)	Elsevier-Masson
Auteur(s)	Bruno Marre, Marie-Claude Gaudel, Francoise Schlienger, Gilles Bernot
Parution	02/05/1996
Nb. de pages	142
Poids	250g
EAN13	9782225851896
ISBN13	978-2-225-85189-6