الفهرس الالي لمكتبة كلية العلوم الدقيقة و الاعلام الالي
Détail d'une collection
|
|
Documents disponibles dans la collection
Affiner la recherche Interroger des sources externes
Titre : Approche du temps réel industriel Type de document : texte imprimé Auteurs : Geeter Jea-Marie De, Auteur Editeur : Paris : Ellipses Année de publication : 1999 Collection : Technosup Importance : 158 p. Format : 26 x 18 cm. ISBN/ISSN/EAN : 978-2-7298-9914-1 Langues : Français (fre) Mots-clés : Informatique Index. décimale : 006 Approche du temps réel industriel [texte imprimé] / Geeter Jea-Marie De, Auteur . - Paris : Ellipses, 1999 . - 158 p. ; 26 x 18 cm.. - (Technosup) .
ISBN : 978-2-7298-9914-1
Langues : Français (fre)
Mots-clés : Informatique Index. décimale : 006 Réservation
Réserver ce document
Exemplaires (2)
Code-barres Cote Support Localisation Section Disponibilité fsei02253 006-77.1 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible fsei02254 006-77.2 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible Développement de logiciels avec UML 2 et OCL : cours, études de cas et exercices corrigés / André, Pascal
Titre : Développement de logiciels avec UML 2 et OCL : cours, études de cas et exercices corrigés Type de document : texte imprimé Auteurs : André, Pascal, ; Alain Vailly, Editeur : Paris : Ellipses Année de publication : 2013, cop. 2013. Collection : Technosup Importance : IV-378 p. Présentation : ill., fig. Format : 26 x 17 cm. ISBN/ISSN/EAN : 978-2-7298-8353-9 Langues : Français (fre) Mots-clés : Programmation Développement logiciels avec UML 2 OCL Index. décimale : 005.1 Résumé : UML évolue en permanence et la littérature est très fournie, insistant en général soit sur la notation et la modélisation, soit sur la pratique, avec ou sans exercices.
Ici les auteurs ont pris le pari du compromis entre les deux approches. Le ciment est le développement du logiciel. Ils proposent donc d’en couvrir les étapes en appuyant le discours sur la pratique, tout en étant rigoureux sur la notation et pédagogique sur les explications.
Les exercices corrigés viennent étayer les points de détail. Ils sont de deux types.
Les uns, fruits d’années de pratique pédagogique en IUT, STS, licence et master, sont conçus pour l’apprentissage et la maîtrise de la technique. Ils sont de taille limitée et sont travaillés pour illustrer un point particulier. Les autres permettent d’aborder la pratique de cette technique, le plus souvent dans le monde des systèmes d’informations. Les énoncés sont tirés d’exemples concrets. Les solutions sont fréquemment construites pas à pas, ce qui permet au lecteur de percevoir les pratiques de modélisation utilisées. Il s’agit alors, en général, d’exercices plus développés et plus variés, la multiplicité des concepts à manipuler, à modéliser, étant caractéristique des problèmes abordés dans la vie professionnelle.
Un ouvrage indispensable à qui veut aller au-delà de la simple lecture des notations.Développement de logiciels avec UML 2 et OCL : cours, études de cas et exercices corrigés [texte imprimé] / André, Pascal, ; Alain Vailly, . - Paris : Ellipses, 2013, cop. 2013. . - IV-378 p. : ill., fig. ; 26 x 17 cm.. - (Technosup) .
ISBN : 978-2-7298-8353-9
Langues : Français (fre)
Mots-clés : Programmation Développement logiciels avec UML 2 OCL Index. décimale : 005.1 Résumé : UML évolue en permanence et la littérature est très fournie, insistant en général soit sur la notation et la modélisation, soit sur la pratique, avec ou sans exercices.
Ici les auteurs ont pris le pari du compromis entre les deux approches. Le ciment est le développement du logiciel. Ils proposent donc d’en couvrir les étapes en appuyant le discours sur la pratique, tout en étant rigoureux sur la notation et pédagogique sur les explications.
Les exercices corrigés viennent étayer les points de détail. Ils sont de deux types.
Les uns, fruits d’années de pratique pédagogique en IUT, STS, licence et master, sont conçus pour l’apprentissage et la maîtrise de la technique. Ils sont de taille limitée et sont travaillés pour illustrer un point particulier. Les autres permettent d’aborder la pratique de cette technique, le plus souvent dans le monde des systèmes d’informations. Les énoncés sont tirés d’exemples concrets. Les solutions sont fréquemment construites pas à pas, ce qui permet au lecteur de percevoir les pratiques de modélisation utilisées. Il s’agit alors, en général, d’exercices plus développés et plus variés, la multiplicité des concepts à manipuler, à modéliser, étant caractéristique des problèmes abordés dans la vie professionnelle.
Un ouvrage indispensable à qui veut aller au-delà de la simple lecture des notations.Réservation
Réserver ce document
Exemplaires (4)
Code-barres Cote Support Localisation Section Disponibilité fsei14201 005-528.1 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible fsei14200 005-528.2 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible fsei14199 005-528.3 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible fsei14198 005-528.4 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible
Titre : Spécification des logiciels : deux exemples de pratiques récentes ; Z et UML Type de document : texte imprimé Auteurs : Pascal Andr© (1967-....), ; Alain Vailly, Editeur : Paris : Ellipses Année de publication : 2001. Collection : Technosup Sous-collection : G©nie logiciel Importance : 1 vol. (317 p.) Présentation : ill., couv. ill. Format : 26 cm. ISBN/ISSN/EAN : 978-2-7298-0774-0 Langues : Français (fre) Mots-clés : Spécification logiciels Z UML Index. décimale : 005 Résumé : Niveau C (Compléments)
Cet ouvrage est destiné à l'étudiant et au professionnel qui veulent comprendre l'impact des spécifications formelles et de la modélisation à objets sur la pratique du développement d'un logiciel. Il comprend deux parties consacrées respectivement, la première aux spécifications formelles, et la seconde à la modélisation à objets.
L'ouvrage fait suite à un premier livre des mêmes auteurs intitulé "Conception des systèmes d'information", consacré aux méthodes et aux techniques de base de la conception des systèmes.Spécification des logiciels : deux exemples de pratiques récentes ; Z et UML [texte imprimé] / Pascal Andr© (1967-....), ; Alain Vailly, . - Paris : Ellipses, 2001. . - 1 vol. (317 p.) : ill., couv. ill. ; 26 cm.. - (Technosup. G©nie logiciel) .
ISBN : 978-2-7298-0774-0
Langues : Français (fre)
Mots-clés : Spécification logiciels Z UML Index. décimale : 005 Résumé : Niveau C (Compléments)
Cet ouvrage est destiné à l'étudiant et au professionnel qui veulent comprendre l'impact des spécifications formelles et de la modélisation à objets sur la pratique du développement d'un logiciel. Il comprend deux parties consacrées respectivement, la première aux spécifications formelles, et la seconde à la modélisation à objets.
L'ouvrage fait suite à un premier livre des mêmes auteurs intitulé "Conception des systèmes d'information", consacré aux méthodes et aux techniques de base de la conception des systèmes.Réservation
Réserver ce document
Exemplaires (5)
Code-barres Cote Support Localisation Section Disponibilité fsei00501 005-292.1 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible fsei01719 005-292.2 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible fsei00500 005-292.3 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible fsei01485 005-292.4 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible fsei01486 005-292.5 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible
