Génie logiciel: principes, méthodes et techniques

SujetLe présent ouvrage collecte les contributions desdifférents enseignants du cours postgrade organisé auDépartement d'informatique de l'Ecole polytechniquefédérale de Lausanne en 1995. L'objectif de ce cours est deprésenter pour le génie logiciel les modèles et lestechniques les plus marquants du processus global dedéveloppement ou des activités de développement delogiciels. La maîtrise du génie logiciel est une nécessitéincontournable pour les entreprises développant dessystèmes logiciels, en particulier si ces systèmes sont degrande taille ou si leur utilisation présente des risquespour la vie humaine ou la propriété. Le génie logiciel sebase sur des principes, propose des méthodes et offre destechniques permettant de développer des logiciels avec unequalité établie de façon économique et dans des délaisfixés. Le génie logiciel traite donc aussi bien des aspectsd'organisation des équipes que des problèmes techniquesliés aux activités de développement. Le génie logicielétudie tout d'abord le processus du développement dulogiciel et propose différents modèles décrivant les étapesà respecter lors de ce développement. Les activitéscomprennent l'analyse, la spécification, la conception etla programmation. Chaque activité est généralement soutenuepar un ensemble de techniques et outils spécifiques. Leprocessus de développement à proprement parler estaccompagné en parallèle de processus dits globaux, tels quele processus de gestion administrative, la validation et lavérification, la documentation, la gestion des versions etconfigurations.OriginalitéCet ouvrage couvre une matière variée et dont laconnaissance est de plus en plus importante pour lepraticien soucieux de la qualité de ses réalisationslogicielles.PublicProfessionnels du développement de logiciels désireux deconnaître les techniques modernes du génie logiciel.Etudiants de deuxième cycle en informatique désirantélargir leurs connaissances.ContenuProcessus de développement: Cycle de vie du logiciel,STROHMEIER Alfred - Principes du management de projet dansles développements informatiques, MENTHONNEX Jean. Méthodesd'analyse et de conception: Les paradigmes des méthodesd'analyse et de conception, HABRIAS Henri - Conception etréalisation d'interfaces-utilisateurs graphiques, GRIZEFrancois. Paradigmes de la programmation: Langages purementfonctionnels modernes, ECKERT Gabriel. Formalismes despécification: Les spécifications algébriques, un modèleformel pour le développement de logiciels, BUCHS Didier -Présentation du langage LOTOS, MOURLIN Fabrice -Introduction aux réseaux de Petri, RACLOZ Pascal. Assuranceet contrôle de qualité: La qualité du logiciel: sonévaluation à l'aide de la métrologie, RAFFY Jean-Luc -Tolérance aux fautes des systèmes informatiques, RAFFYJean-Luc Concepts et principes de la qualité totale: leurapplication aux développements logiciels, MENTHONNEXJean.