|
|
|
|
| LEADER |
03547cam a2200625 4500 |
| 001 |
PPN002756986 |
| 003 |
http://www.sudoc.fr/002756986 |
| 005 |
20230126060900.0 |
| 010 |
|
|
|a 2-87908-033-9
|b br.
|d 395 F
|
| 020 |
|
|
|a FR
|b 09308701
|
| 021 |
|
|
|a FR
|b DL 92-35294
|
| 033 |
|
|
|a http://catalogue.bnf.fr/ark:/12148/cb35547446v
|
| 035 |
|
|
|a 013952382
|9 sudoc
|
| 035 |
|
|
|a (OCoLC)27453525
|
| 035 |
|
|
|a lm76853
|
| 035 |
|
|
|a bua119954
|
| 035 |
|
|
|a ocm27453525
|
| 035 |
|
|
|a sib0422485
|
| 035 |
|
|
|a ubs34906
|
| 035 |
|
|
|a frBN014823104
|
| 035 |
|
|
|a FRBNF355474460000003
|z FRBNF35547446
|
| 073 |
|
0 |
|a 9782879080338
|
| 100 |
|
|
|a 19930120d1992 k y0frey0103 ba
|
| 101 |
1 |
|
|a fre
|c eng
|2 639-2
|
| 102 |
|
|
|a FR
|
| 105 |
|
|
|a a a 001yy
|
| 106 |
|
|
|a r
|
| 181 |
|
|
|6 z01
|c txt
|2 rdacontent
|
| 181 |
|
1 |
|6 z01
|a i#
|b xxxe##
|
| 182 |
|
|
|6 z01
|c n
|2 rdamedia
|
| 182 |
|
1 |
|6 z01
|a n
|
| 183 |
|
|
|6 z01
|a nga
|2 RDAfrCarrier
|
| 200 |
1 |
|
|a Le génie logiciel
|f Ian Sommerville,...
|g préface par Pham Thu Quang
|g traduit de l'anglais par Jean-Marie André
|
| 214 |
|
0 |
|a Paris [etc.]
|c Addison-Wesley France
|
| 214 |
|
3 |
|d 1992
|
| 215 |
|
|
|a 1 vol. (XV-638 p.)
|c ill., couv. ill. en coul.
|d 24 cm
|
| 320 |
|
|
|a Bibliogr. p. 627-638. Index
|
| 359 |
2 |
|
|c Chapitre 1. Introduction
|c Chapitre 2. Les facteurs humains et le génie logiciel
|b Partie I. La spécification du logiciel
|c Chapitre 3. La définition des besoins logiciels
|c Chapitre 4. La modélisation des systèmes
|c Chapitre 5. La spécification des besoins
|c Chapitre 6. Le prototypage
|c Chapitre 7. La spécification formelle
|c Chapitre 8. La spécification algébrique
|c Chapitre 9. La spécification basée sur les modèles
|b Partie II. La conception du logiciel
|c Chapitre 10. La conception du logiciel
|c Chapitre 11. La conception orientée objet
|c Chapitre 12. La conception orientée fonction
|c Chapitre 13. La conception de systèmes temps réel
|c Chapitre 14. La conception de l'interface utilisateur
|b Partie III. La programmation
|c Chapitre 15. La programmation de logiciels fiables
|c Chapitre 16. La réutilisation des logiciels
|c Chapitre 17. Le génie logiciel assisté par ordinateu[r]
|c Chapitre 18. Les environnements de développement
|b Partie IV. La validation
|c Chapitre 19. La vérification et la validation
|c Chapitre 20. La fiabilité
|c Chapitre 21. La sûreté du logiciel
|c Chapitre 22. Le test de défaut
|c Chapitre 23. Les outils de test et de mise au point
|c Chapitre 24. La vérification statique
|c Chapitre 25. La gestion de projet
|b Partie V. La gestion de projet
|c Chapitre 26. La planification de projet
|c Chapitre 27. L'estimation de coût de logiciel
|c Chapitre 28. La maintenance du logiciel
|c Chapitre 29. La gestion de configuration
|c Chapitre 30. La documentation
|c Chapitre 31. L'assurance qualité logiciel
|c Appendice A. Décrire des conceptions en Ada
|
| 606 |
|
|
|3 PPN028909917
|a Logiciels
|x Développement
|2 rameau
|
| 606 |
|
|
|3 PPN027673529
|a Génie logiciel
|2 rameau
|
| 675 |
|
|
|a 67
|v Éd. 1967
|
| 676 |
|
|
|a 670
|
| 686 |
|
|
|a D.2
|2 acm
|
| 700 |
|
1 |
|3 PPN028940512
|a Sommerville
|b Ian
|f 1951-....
|4 070
|
| 702 |
|
1 |
|3 PPN031807399
|a André
|b Jean-Marie
|f 1966-....
|4 730
|
| 702 |
|
1 |
|3 PPN029914086
|a Pham
|b Thu Quang
|4 080
|
| 801 |
|
3 |
|a FR
|b Abes
|c 20191012
|g AFNOR
|h 013952382
|
| 801 |
|
1 |
|a US
|b OCLC
|g AACR2
|
| 801 |
|
2 |
|a FR
|b AUROC
|g AFNOR
|
| 801 |
|
3 |
|a FR
|b SF
|g AFNOR
|
| 801 |
|
3 |
|a FR
|b BN
|g AFNOR
|
| 979 |
|
|
|a IUTN
|
| 930 |
|
|
|5 441092206:476116937
|b 441092206
|j s
|
| 991 |
|
|
|5 441092206:476116937
|a Exemplaire modifié automatiquement. le 25-01-2023 15:30
|
| 998 |
|
|
|a 23785
|
Nantilus
