الفهرس الالي للمكتبة المركزية بجامعة عبد الحميد بن باديس - مستغانم

  trié(s) par (Pertinence décroissant(e), Titre croissant(e)) 

Dictionnaire encyclopédique du génie logiciel / Henri Habrias

Public ISBD Titre : Dictionnaire encyclopédique du génie logiciel Type de document : texte imprimé Auteurs : Henri Habrias (1946-....), ; Jean-Pierre Finance (1947-....), Editeur : Paris : Masson Année de publication : DL 1997 Collection : M©thodologies du logiciel (Paris), ISSN 1242-5656. Importance : 1 vol. (VI-467 p.) Présentation : ill., couv. ill. en coul. Format : 25 cm. ISBN/ISSN/EAN : 2-225-85328-2 Prix : 450 FRF Langues : Français (fre) Index. décimale : 670. Résumé : Un ouvrage unique sur le génie logiciel: tous les termes du génie logiciel regroupés dans un cadre syntaxique et sémantique rigoureux. Les termes sont définis et illustrés par des exemples pertinents. Un extraordinaire travail bibliographique donne plus de 400 références sur ce sujet, d'où sont extraites la plupart des définitions. Enfin un glossaire anglais-français permet de faire le lien entre termes existants, mais parfois inconnus. Dictionnaire encyclopédique du génie logiciel [texte imprimé] / Henri Habrias (1946-....), ; Jean-Pierre Finance (1947-....),  . - Paris : Masson, DL 1997 . - 1 vol. (VI-467 p.) : ill., couv. ill. en coul. ; 25 cm.. - (M©thodologies du logiciel (Paris), ISSN 1242-5656.) . ISBN : 2-225-85328-2 : 450 FRF Langues : Français (fre) Index. décimale : 670. Résumé : Un ouvrage unique sur le génie logiciel: tous les termes du génie logiciel regroupés dans un cadre syntaxique et sémantique rigoureux. Les termes sont définis et illustrés par des exemples pertinents. Un extraordinaire travail bibliographique donne plus de 400 références sur ce sujet, d'où sont extraites la plupart des définitions. Enfin un glossaire anglais-français permet de faire le lien entre termes existants, mais parfois inconnus.

Exemplaires (7)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
109317	032.004-08.1	Dictionnaire	Bibliothèque Centrale	000 - Informatique, information, ouvrages généraux	Exclu du prêt
109318	032.004-08.2	Dictionnaire	Bibliothèque Centrale	000 - Informatique, information, ouvrages généraux	Exclu du prêt
109319	032.004-08.3	Dictionnaire	Bibliothèque Centrale	000 - Informatique, information, ouvrages généraux	Exclu du prêt
109320	032.004-08.4	Dictionnaire	Bibliothèque Centrale	000 - Informatique, information, ouvrages généraux	Exclu du prêt
109321	032.004-08.5	Dictionnaire	Bibliothèque Centrale	000 - Informatique, information, ouvrages généraux	Exclu du prêt
109322	032.004-08.6	Dictionnaire	Bibliothèque Centrale	000 - Informatique, information, ouvrages généraux	Exclu du prêt
109323	032.004-08.7	Dictionnaire	Bibliothèque Centrale	000 - Informatique, information, ouvrages généraux	Exclu du prêt

Introduction à la spécification / Henri Habrias

Public ISBD Titre : Introduction à la spécification Type de document : texte imprimé Auteurs : Henri Habrias (1946-....), Auteur Editeur : Paris : Masson Année de publication : 1993 Collection : Méthodologies du logiciel (Paris), ISSN 1242-5656 num. 2 Importance : XIX-347 p. Présentation : ill., couv. ill. Format : 16*24 cm ISBN/ISSN/EAN : 978-2-225-82768-6 Prix : 260 F Note générale : Bibliogr. p. 319-340. Index Langues : Français (fre) Langues originales : Français (fre) Mots-clés : Application aux bases de données, différences entre Z et VDM, petit traité de boxologie Index. décimale : 006 Résumé : L'un des premiers ouvrages de langue française à présenter les concepts de la spécification formelle, il expose au programmeur et concepteur de logiciel comment décrire de façon précise les demandes énoncées par l'utilisateur du logiciel à réaliser. Introduction à la spécification [texte imprimé] / Henri Habrias (1946-....), Auteur . - Paris : Masson, 1993 . - XIX-347 p. : ill., couv. ill. ; 16*24 cm. - (Méthodologies du logiciel (Paris), ISSN 1242-5656; 2) . ISBN : 978-2-225-82768-6 : 260 F Bibliogr. p. 319-340. Index Langues : Français (fre) Langues originales : Français (fre) Mots-clés : Application aux bases de données, différences entre Z et VDM, petit traité de boxologie Index. décimale : 006 Résumé : L'un des premiers ouvrages de langue française à présenter les concepts de la spécification formelle, il expose au programmeur et concepteur de logiciel comment décrire de façon précise les demandes énoncées par l'utilisateur du logiciel à réaliser.

Réservation

Réserver ce document

Exemplaires (2)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
CF2-001001	006-041.1	Ouvrage	Bibliothèque Centrale	000 - Informatique, information, ouvrages généraux	Exclu du prêt
f2-001545	006-041.2	Ouvrage	Bibliothèque Centrale	000 - Informatique, information, ouvrages généraux	Disponible

UML / Michel Lai

Public ISBD Titre : UML : la notation unifiée de modélisation objet ; de Java aux EJB Type de document : texte imprimé Auteurs : Michel Lai, Auteur ; Henri Habrias (1946-....), Préfacier, etc. Mention d'édition : 2e éd. Editeur : Paris : Dunod Année de publication : 2000 Autre Editeur : Paris : Masson Collection : Informatiques. Serie modélisation-conception Importance : XXI-288 p. Présentation : ill., couv. ill. en coul. Format : 25 cm Accompagnement : 1 CD-Rom ISBN/ISSN/EAN : 978-2-10-005023-9 Note générale : Bibliogr. p. 279-284. Index Langues : Français (fre) Mots-clés : Langage de Modélisation Unifié (UML)  conception orientée objet  développement logiciel  langage JAVA  architecture de composants logiciels  Enterprise JavaBeans (EJB) Index. décimale : 005.1 UML : la notation unifiée de modélisation objet ; de Java aux EJB [texte imprimé] / Michel Lai, Auteur ; Henri Habrias (1946-....), Préfacier, etc.  . -  2e éd. . - Paris : Dunod : Paris : Masson, 2000 . - XXI-288 p. : ill., couv. ill. en coul. ; 25 cm + 1 CD-Rom. - (Informatiques. Serie modélisation-conception) . ISBN : 978-2-10-005023-9 Bibliogr. p. 279-284. Index Langues : Français (fre) Mots-clés : Langage de Modélisation Unifié (UML)  conception orientée objet  développement logiciel  langage JAVA  architecture de composants logiciels  Enterprise JavaBeans (EJB) Index. décimale : 005.1

Réservation

Réserver ce document

Exemplaires (6)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
CF2-000630	005-243.1	Ouvrage	Bibliothèque Centrale	000 - Informatique, information, ouvrages généraux	Exclu du prêt
F2-001162	005-243.2	Ouvrage	Bibliothèque Centrale	000 - Informatique, information, ouvrages généraux	Disponible
F2-001163	005-243.3	Ouvrage	Bibliothèque Centrale	000 - Informatique, information, ouvrages généraux	Disponible
F2-001164	005-243.4	Ouvrage	Bibliothèque Centrale	000 - Informatique, information, ouvrages généraux	Disponible
F2-001165	005-243.5	Ouvrage	Bibliothèque Centrale	000 - Informatique, information, ouvrages généraux	Disponible
F2-001166	005-243.6	Ouvrage	Bibliothèque Centrale	000 - Informatique, information, ouvrages généraux	Disponible

---

1 (1 - 3 / 3)