Passionné(e) de lecture ? Inscrivez-vous gratuitement ou connectez-vous pour rejoindre la communauté et bénéficier de toutes les fonctionnalités du site !  

Genie logiciel

Couverture du livre « Genie logiciel » de Strohmeier aux éditions Ppur
  • Date de parution :
  • Editeur : Ppur
  • EAN : 9782880742966
  • Série : (-)
  • Support : Papier
Résumé:

Sujet



Le présent ouvrage collecte les contributions des

différents enseignants du cours postgrade organisé au

Département d'informatique de l'Ecole polytechnique

fédérale de Lausanne en 1995. L'objectif de ce cours est de

présenter pour le génie logiciel les modèles et... Voir plus

Sujet



Le présent ouvrage collecte les contributions des

différents enseignants du cours postgrade organisé au

Département d'informatique de l'Ecole polytechnique

fédérale de Lausanne en 1995. L'objectif de ce cours est de

présenter pour le génie logiciel les modèles et les

techniques les plus marquants du processus global de

développement ou des activités de développement de

logiciels. La maîtrise du génie logiciel est une nécessité

incontournable pour les entreprises développant des

systèmes logiciels, en particulier 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. Le génie logiciel traite donc aussi bien des aspects

d'organisation des équipes que des problèmes techniques

liés aux activités de développement. Le génie logiciel

étudie tout d'abord le processus du développement du

logiciel et propose différents modèles décrivant les étapes

à respecter lors de ce développement. Les activités

comprennent l'analyse, la spécification, la conception et

la programmation. Chaque activité est généralement soutenue

par un ensemble de techniques et outils spécifiques. Le

processus de développement à proprement parler est

accompagné en parallèle de processus dits globaux, tels que

le processus de gestion administrative, la validation et la

vérification, la documentation, la gestion des versions et

configurations.



Originalité



Cet ouvrage couvre une matière variée et dont la

connaissance est de plus en plus importante pour le

praticien soucieux de la qualité de ses réalisations

logicielles.



Public



Professionnels du développement de logiciels désireux de

connaître les techniques modernes du génie logiciel.

Etudiants de deuxième cycle en informatique désirant

élargir leurs connaissances.



Contenu



Processus de développement: Cycle de vie du logiciel,

STROHMEIER Alfred - Principes du management de projet dans

les développements informatiques, MENTHONNEX Jean. Méthodes

d'analyse et de conception: Les paradigmes des méthodes

d'analyse et de conception, HABRIAS Henri - Conception et

réalisation d'interfaces-utilisateurs graphiques, GRIZE

Francois. Paradigmes de la programmation: Langages purement

fonctionnels modernes, ECKERT Gabriel. Formalismes de

spécification: Les spécifications algébriques, un modèle

formel pour le développement de logiciels, BUCHS Didier -

Présentation du langage LOTOS, MOURLIN Fabrice -

Introduction aux réseaux de Petri, RACLOZ Pascal. Assurance

et 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, RAFFY

Jean-Luc Concepts et principes de la qualité totale: leur

application aux développements logiciels, MENTHONNEX

Jean.

Donner votre avis