|
| Titre : | Précis de génie logiciel | | Type de document : | texte imprime | | Auteurs : | Marie -Claude Gandel | | Editeur : | Paris : Masson | | Année de publication : | 1996 | | Collection : | Enseignement de Informatiques ,ISSN 1270-9069 | | Importance : | 142 p. | | Présentation : | ill., couv. ill. en coul. | | Format : | 24 cm | | ISBN/ISSN/EAN : | 978-2-225-85189-6 | | Note générale : | Notes bibliogr. Index | | Langues : | Français | | Mots-clés : | Génie logiciel | | Index. décimale : | 00512 | | 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 : |
1) MODÈLES DE DÉVELOPPEMENT DU LOGICIEL
- Les activités
- Le modèle de la cascade
- Le modèle en V
- Le modèle en spirale
- Modèles par incréments
2) MÉTHODES D'ANALYSE, DE SPÉCIFICATION ET DE CONCEPTION
- Différentes techniques de spécification
- Méthodes d'analyse et de conception
3) MÉTHODES FORMELLES DE SPÉCIFICATION ET DE DÉVELOPPEMENT
- Généralités
- Les spécifications algébriques
- Le langage LOTOS
- VDM et Z, spécifications avec états implicites
4) LANGAGES DE PROGRAMMATION
- Typage et vérifications statiques
- Modularités
- Parallélisme et distribution
5) TEST DE LOGICIEL
- Définition du test de logiciel
- Classification des méthodes
- Test statique
- Test dynamique
- Efficacité des tests
- Les activités de test
6) MÉTHODES DE PREUVE DE DÉVELOPPEMENT DE LOGICIEL
- Rappel sur les preuves
- Que peut-on prouver ?
- Preuves de conception
- Preuves de programme
- Les preuves en pratique | | Permalink : | ./index.php?lvl=notice_display&id=14771 |
Précis de génie logiciel [texte imprime] / Marie -Claude Gandel . - Paris : Masson, 1996 . - 142 p. : ill., couv. ill. en coul. ; 24 cm. - ( Enseignement de Informatiques ,ISSN 1270-9069) . ISBN : 978-2-225-85189-6 Notes bibliogr. Index Langues : Français | Mots-clés : | Génie logiciel | | Index. décimale : | 00512 | | 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 : |
1) MODÈLES DE DÉVELOPPEMENT DU LOGICIEL
- Les activités
- Le modèle de la cascade
- Le modèle en V
- Le modèle en spirale
- Modèles par incréments
2) MÉTHODES D'ANALYSE, DE SPÉCIFICATION ET DE CONCEPTION
- Différentes techniques de spécification
- Méthodes d'analyse et de conception
3) MÉTHODES FORMELLES DE SPÉCIFICATION ET DE DÉVELOPPEMENT
- Généralités
- Les spécifications algébriques
- Le langage LOTOS
- VDM et Z, spécifications avec états implicites
4) LANGAGES DE PROGRAMMATION
- Typage et vérifications statiques
- Modularités
- Parallélisme et distribution
5) TEST DE LOGICIEL
- Définition du test de logiciel
- Classification des méthodes
- Test statique
- Test dynamique
- Efficacité des tests
- Les activités de test
6) MÉTHODES DE PREUVE DE DÉVELOPPEMENT DE LOGICIEL
- Rappel sur les preuves
- Que peut-on prouver ?
- Preuves de conception
- Preuves de programme
- Les preuves en pratique | | Permalink : | ./index.php?lvl=notice_display&id=14771 |
|  |
Ajouter le résultat dans votre panier Faire une suggestion Affiner la recherche Interroger des sources externesPrécis de génie logiciel / Marie -Claude Gandel (1996)
