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.

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.

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.

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.

Cet ouvrage cible prioritairement les nouveaux domaines des systèmes temps-réel et des applications critiques en procédant par étapes, selon une approche descriptive didactique.

Articulé en trois parties, cet ouvrage a l'originaltié de réunir à la fois les éléments classiques du langage C++ selon la norme ISO, les principes de l'orientation objets appliqués à ce langage, ainsi qu'une introduction à la modélisation objets avec UML pour le développement d'application C++.
Les exemples de l'ouvrage sont disponibles en téléchargement (PDF).

Cet ouvrage a pour objectif d'offrir les connaissances nécessaires à tout apprentissage de la programmation: un cadre permettant au débutant de développer sa pratique sur des cas concrets.

Cet ouvrage didactique décrit le langage Esterel et les Sync-Charts avec de nombreux exemples, ainsi que la compilation vers des cibles logicielles ou matérielles (VHDL).