Nantilus
Le génie logiciel
Enregistré dans:
| Auteur principal : | |
|---|---|
| Autres auteurs : | , |
| Format : | Livre |
| Langue : | français |
| Titre complet : | Le génie logiciel / Ian Sommerville,...; préface par Pham Thu Quang; traduit de l'anglais par Jean-Marie André |
| Publié : |
Paris [etc.] :
Addison-Wesley France
, 1992 |
| Description matérielle : | 1 vol. (XV-638 p.) |
| Sujets : |
- Chapitre 1. Introduction
- Chapitre 2. Les facteurs humains et le génie logiciel
- Partie I. La spécification du logiciel
- Chapitre 3. La définition des besoins logiciels
- Chapitre 4. La modélisation des systèmes
- Chapitre 5. La spécification des besoins
- Chapitre 6. Le prototypage
- Chapitre 7. La spécification formelle
- Chapitre 8. La spécification algébrique
- Chapitre 9. La spécification basée sur les modèles
- Partie II. La conception du logiciel
- Chapitre 10. La conception du logiciel
- Chapitre 11. La conception orientée objet
- Chapitre 12. La conception orientée fonction
- Chapitre 13. La conception de systèmes temps réel
- Chapitre 14. La conception de l'interface utilisateur
- Partie III. La programmation
- Chapitre 15. La programmation de logiciels fiables
- Chapitre 16. La réutilisation des logiciels
- Chapitre 17. Le génie logiciel assisté par ordinateu[r]
- Chapitre 18. Les environnements de développement
- Partie IV. La validation
- Chapitre 19. La vérification et la validation
- Chapitre 20. La fiabilité
- Chapitre 21. La sûreté du logiciel
- Chapitre 22. Le test de défaut
- Chapitre 23. Les outils de test et de mise au point
- Chapitre 24. La vérification statique
- Chapitre 25. La gestion de projet
- Partie V. La gestion de projet
- Chapitre 26. La planification de projet
- Chapitre 27. L'estimation de coût de logiciel
- Chapitre 28. La maintenance du logiciel
- Chapitre 29. La gestion de configuration
- Chapitre 30. La documentation
- Chapitre 31. L'assurance qualité logiciel
- Appendice A. Décrire des conceptions en Ada