Prêtable
| Titre : | Précis de génie logiciel |
| Auteurs : | Marie-Claude Gaudel ; Bruno Marre ; Françoise Schlienger |
| Type de document : | texte imprimé |
| Editeur : | Paris [France] : Masson Editeur, 1996 |
| Collection : | Enseignement de l'informatique |
| ISBN/ISSN/EAN : | 978-2-225-85189-6 |
| Format : | 142 p. / ill.; couv. en coul. / 24 cm. |
| Langues: | Français |
| Langues originales: | Français |
| Index. décimale : | 005.1 (Programmation (algorithmique, génie logiciel, logique en programmation, programmation d'application)) |
| Catégories : | |
| Mots-clés: | Logiciel ; Langage de programmation |
| 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 là 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 nu 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).
|
| Note de contenu : |
Sommaire :
Chapitre 1: Modèles de développement du logiciel Chapitre 2: Méthodes d'analyse,de spécification et de conception Chapitre 3: Méthode formelles de spécification et de développement Chapitre 4: Langage de programmation Chapitre 5: Test de logiciel Chapitre 6: Méthodes de preuve de développement de logiciel |
Exemplaires (1)
| Cote | Support | Localisation | Section | Disponibilité |
|---|---|---|---|---|
| T8/1570 | Livre | Bibliothèque de la Faculté de Technologie | Salle des livres | Disponible |
