الفهرس الالي لمكتبة كلية العلوم الدقيقة و الاعلام الالي
Détail de l'auteur
Documents disponibles écrits par cet auteur
Affiner la recherche Interroger des sources externes
| Titre : |
Introduction à la spécification |
| Type de document : |
texte imprimé |
| Auteurs : |
Henri Habrias, ; Herv© Gallaire (1944-....), |
| Editeur : |
Paris : Masson |
| Année de publication : |
cop. 1993 |
| Collection : |
Méthodologies du logiciel (Paris), ISSN 1242-5656 num. 2. |
| Importance : |
1 vol. (XIX-347 p.) |
| Présentation : |
ill., couv. ill |
| Format : |
24 cm. |
| ISBN/ISSN/EAN : |
978-2-225-82768-6 |
| Prix : |
260 F |
| Langues : |
Français (fre) |
| Mots-clés : |
Introductio spécification |
| Index. décimale : |
670. |
| 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. |
|  |
Exemplaires
| 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, Préfacier, etc. |
| Mention d'édition : |
2e éd. |
| Editeur : |
Paris : Dunod |
| Année de publication : |
2000 |
| 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 : |
Anglais (eng) |
| Mots-clés : |
UML |
| Index. décimale : |
006 |
| Résumé : |
Cet ouvrage introduit les concepts et la signification de la notation unifiée UML (Unified Modeling Language).Cette seconde édition senrichit dun nouveau chapitre qui détaille la modélisation dune application de gestion dun site Internet marchand. Lintroduction dans ce chapitre de loutil Silver Stream 3.0 (logiciel serveur dapplications Java) renforce le côté professionnel et moderne de louvrage. Le CD-Rom joint au livre contient :les exemples en Java ; la nouvelle version Java 2 pour Windows ; la version dévaluation de Silver Stream ; la nouvelle version dévaluation de Rational Rose. |
UML : la notation unifiée de modélisation objet ; de Java aux EJB [texte imprimé] / Michel Lai, Auteur ; Henri Habrias, Préfacier, etc. . - 2e éd. . - Paris : Dunod, 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 : Anglais ( eng)
| Mots-clés : |
UML |
| Index. décimale : |
006 |
| Résumé : |
Cet ouvrage introduit les concepts et la signification de la notation unifiée UML (Unified Modeling Language).Cette seconde édition senrichit dun nouveau chapitre qui détaille la modélisation dune application de gestion dun site Internet marchand. Lintroduction dans ce chapitre de loutil Silver Stream 3.0 (logiciel serveur dapplications Java) renforce le côté professionnel et moderne de louvrage. Le CD-Rom joint au livre contient :les exemples en Java ; la nouvelle version Java 2 pour Windows ; la version dévaluation de Silver Stream ; la nouvelle version dévaluation de Rational Rose. |
| |
Réservation
Réserver ce document
Exemplaires (5)
|
| fsei02382 | 006-133.1 | Ouvrage | Faculté des Sciences Exactes et Informatique | 000 - Informatique, information, ouvrages généraux | Disponible |
| fsei02383 | 006-133.2 | Ouvrage | Faculté des Sciences Exactes et Informatique | 000 - Informatique, information, ouvrages généraux | Disponible |
| fsei02384 | 006-133.3 | Ouvrage | Faculté des Sciences Exactes et Informatique | 000 - Informatique, information, ouvrages généraux | Disponible |
| fsei02385 | 006-133.4 | Ouvrage | Faculté des Sciences Exactes et Informatique | 000 - Informatique, information, ouvrages généraux | Disponible |
| fsei02386 | 006-133.5 | Ouvrage | Faculté des Sciences Exactes et Informatique | 000 - Informatique, information, ouvrages généraux | Disponible |
