Précis de génie logiciel / Marie-Claude Gaudel

Public ISBD Titre : Précis de génie logiciel Type de document : texte imprimé Auteurs : Marie-Claude Gaudel ; Bruno Marre ; Francoise Schlienger Editeur : Paris : Masson Année de publication : 1996 Collection : En,sgeinement de l'informatique Importance : 1 vol (142 p.) Format : 24 cm ISBN/ISSN/EAN : 978-2-225-85189-6 Note générale : 978-2-225-85189-6 Langues : Français (fre) Catégories : Informatique Mots-clés : Informatique Génie logiciel Index. décimale : 004 Informatique Résumé : Le génie logiciel a 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. L'auteur 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. Écrit avec un réel souci pédagogique, cet ouvrage est concis et permettra au lecteur une entrée en matière immédiate Note de contenu : 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. Côte titre : Fs/8614 Précis de génie logiciel [texte imprimé] / Marie-Claude Gaudel ; Bruno Marre ; Francoise Schlienger . - Paris : Masson, 1996 . - 1 vol (142 p.) ; 24 cm. - (En,sgeinement de l'informatique) . ISBN : 978-2-225-85189-6 978-2-225-85189-6 Langues : Français (fre) Catégories : Informatique Mots-clés : Informatique Génie logiciel Index. décimale : 004 Informatique Résumé : Le génie logiciel a 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. L'auteur 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. Écrit avec un réel souci pédagogique, cet ouvrage est concis et permettra au lecteur une entrée en matière immédiate Note de contenu : 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. Côte titre : Fs/8614

Exemplaires (1)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
Fs/8614	Fs/8614	livre	Bibliothéque des sciences	Français	Disponible Disponible

---

1 (1 - 1 / 1)