الفهرس الالي لمكتبة كلية العلوم الدقيقة و الاعلام الالي
Détail de l'auteur
Auteur Alain Vailly |
Documents disponibles écrits par cet auteur
Affiner la recherche Interroger des sources externesDé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 : Exercices corrigés de conception logicielle : modélisation des systèmes d'information par la pratique / Type de document : texte imprimé Auteurs : Pascal André (1967-....) ; Alain Vailly Editeur : Paris : Ellipses Année de publication : 2002 Importance : ii, 314 p. Présentation : ill ISBN/ISSN/EAN : 978-2-7298-1289-8 Mots-clés : conception logicielle Index. décimale : 005 Résumé : L'ouvrage (niveau B) : Une centaine d'exercices corrigés sont proposés pour faciliter la maîtrise des notions de base dans le domaine des systèmes d'information. Une première série d'exercices sert à l'apprentissage et à la maîtrise des techniques. Ce sont de petits exercices, soigneusement travaillés, conçus pour illustrer des points particuliers. Les autres, en général plus conséquents du fait de la multiplicité des concepts à manipuler, doivent permettre d'aborder la pratique de la technique. Les énoncés sont tirés d'exemples concrets. Les solutions sont fréquemment construites pas à pas, ce qui permet au lecteur de bien percevoir les pratiques de spécification utilisées. L'ouvrage fait suite à deux premiers livres des mêmes auteurs, chez le même éditeur, intitulés Conception des systèmes d'information et Spécification des logiciels. Il en reprend les sujets, mais sans rappels de cours. Exercices corrigés de conception logicielle : modélisation des systèmes d'information par la pratique / [texte imprimé] / Pascal André (1967-....) ; Alain Vailly . - Paris : Ellipses, 2002 . - ii, 314 p. : ill.
ISBN : 978-2-7298-1289-8
Mots-clés : conception logicielle Index. décimale : 005 Résumé : L'ouvrage (niveau B) : Une centaine d'exercices corrigés sont proposés pour faciliter la maîtrise des notions de base dans le domaine des systèmes d'information. Une première série d'exercices sert à l'apprentissage et à la maîtrise des techniques. Ce sont de petits exercices, soigneusement travaillés, conçus pour illustrer des points particuliers. Les autres, en général plus conséquents du fait de la multiplicité des concepts à manipuler, doivent permettre d'aborder la pratique de la technique. Les énoncés sont tirés d'exemples concrets. Les solutions sont fréquemment construites pas à pas, ce qui permet au lecteur de bien percevoir les pratiques de spécification utilisées. L'ouvrage fait suite à deux premiers livres des mêmes auteurs, chez le même éditeur, intitulés Conception des systèmes d'information et Spécification des logiciels. Il en reprend les sujets, mais sans rappels de cours. Réservation
Réserver ce document
Exemplaires (2)
Code-barres Cote Support Localisation Section Disponibilité fsei01724 005-431.1 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible fsei01725 005-431.2 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible
Titre : Exercices corrigés en langage Z : génie logiciel ; les spécifications formelles par l'exemple Type de document : texte imprimé Auteurs : Pascal André (1967-....), Auteur ; Alain Vailly, Auteur Editeur : Paris : Ellipses Année de publication : 2004 Collection : Technosup (Paris), ISSN 1275-3955. Importance : II-243 p. Présentation : ill., couv. ill. Format : 26 cm ISBN/ISSN/EAN : 978-2-7298-1942-2 Note générale : Bibliogr. p. 231. Index Langues : Français (fre) Mots-clés : langage Z Index. décimale : 005 Résumé : Cet ouvrage constitue une bonne base pour l'apprentissage et la pratique du langage Z, et à travers lui des spécifications formelles en général. Il couvre l'essentiel du domaine d'application de Z, de l'acquisition de la notation à la pratique dans la conception de systèmes d'informations. Il est constitué de plus de 80 exercices corrigés et commentés, regroupes en quatre chapitres : le premier chapitre est consacré à l'apprentissage du langage et de la notation ; le deuxième illustre la spécification avec Z (qu'il s'agisse d'écriture de spécifications, de preuves ou de raffinage) ; le troisième met en évidence l'évolutivité des spécifications Z en reprenant certains exercices et en proposant des variations ; le dernier s'inscrit dans l'application concrète de Z pour le développement du logiciel (en montrant par exemple comment intégrer des modèles E-A-P de Merise avec des spécifications Z) ; Cet ouvrage fait suite à un précédent livre, des mêmes auteurs, dans la même collection Spécification des logiciels - deux exemples : Z et UML, dont il reprend les sujets pour les développer. L'ensemble constitue un bon passeport pour la maîtrise des spécifications formelles Exercices corrigés en langage Z : génie logiciel ; les spécifications formelles par l'exemple [texte imprimé] / Pascal André (1967-....), Auteur ; Alain Vailly, Auteur . - Paris : Ellipses, 2004 . - II-243 p. : ill., couv. ill. ; 26 cm. - (Technosup (Paris), ISSN 1275-3955.) .
ISBN : 978-2-7298-1942-2
Bibliogr. p. 231. Index
Langues : Français (fre)
Mots-clés : langage Z Index. décimale : 005 Résumé : Cet ouvrage constitue une bonne base pour l'apprentissage et la pratique du langage Z, et à travers lui des spécifications formelles en général. Il couvre l'essentiel du domaine d'application de Z, de l'acquisition de la notation à la pratique dans la conception de systèmes d'informations. Il est constitué de plus de 80 exercices corrigés et commentés, regroupes en quatre chapitres : le premier chapitre est consacré à l'apprentissage du langage et de la notation ; le deuxième illustre la spécification avec Z (qu'il s'agisse d'écriture de spécifications, de preuves ou de raffinage) ; le troisième met en évidence l'évolutivité des spécifications Z en reprenant certains exercices et en proposant des variations ; le dernier s'inscrit dans l'application concrète de Z pour le développement du logiciel (en montrant par exemple comment intégrer des modèles E-A-P de Merise avec des spécifications Z) ; Cet ouvrage fait suite à un précédent livre, des mêmes auteurs, dans la même collection Spécification des logiciels - deux exemples : Z et UML, dont il reprend les sujets pour les développer. L'ensemble constitue un bon passeport pour la maîtrise des spécifications formelles Réservation
Réserver ce document
Exemplaires (2)
Code-barres Cote Support Localisation Section Disponibilité fsei01721 005-429.1 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible fsei01720 005-429.2 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible
Titre : Exercices corrigés d'UML : génie logiciel ; passeport pour une maîtrise de la notation Type de document : texte imprimé Auteurs : Pascal André (1967-....), Auteur ; Alain Vailly, Auteur Editeur : Paris : Ellipses Année de publication : 2003 Collection : Technosup (Paris), ISSN 1275-3955. Importance : 310 p. Présentation : ill., couv. ill. Format : 26 cm ISBN/ISSN/EAN : 978-2-7298-1725-1 Note générale : Bibliogr. p. 289-292. Index Langues : Français (fre) Mots-clés : UML Index. décimale : 005 Résumé : Maîtriser UML - ce standard de la technologie orientée objets - c'est en posséder les concepts et savoir les appliquer à bon escient. Or, si la littérature sur UML est abondante, ce qui manque le plus actuellement ce sont des exercices corrigés et des études de cas. Cet ouvrage développe la pratique en mettant l'accent sur la résolution d'exercices variés. Il est structuré en quatre chapitres : le premier passe en revue tous les diagrammes, de façon isolée et en groupe ; le deuxième est une mise en pratique au travers de sept études de cas ; le troisième explore le côté formel d'UML par l'expérimentation du langage OCL ; et le dernier traite de la vérification de spécifications UML. L'ouvrage présente les solutions, mais aussi les démarches suivies, les alternatives et des conseils de modélisation. Par la variété des exercices et des cas concrets, il couvre aussi largement que possible le domaine d'application. Cela en fait un guide pratique d'utilisation d'UML Exercices corrigés d'UML : génie logiciel ; passeport pour une maîtrise de la notation [texte imprimé] / Pascal André (1967-....), Auteur ; Alain Vailly, Auteur . - Paris : Ellipses, 2003 . - 310 p. : ill., couv. ill. ; 26 cm. - (Technosup (Paris), ISSN 1275-3955.) .
ISBN : 978-2-7298-1725-1
Bibliogr. p. 289-292. Index
Langues : Français (fre)
Mots-clés : UML Index. décimale : 005 Résumé : Maîtriser UML - ce standard de la technologie orientée objets - c'est en posséder les concepts et savoir les appliquer à bon escient. Or, si la littérature sur UML est abondante, ce qui manque le plus actuellement ce sont des exercices corrigés et des études de cas. Cet ouvrage développe la pratique en mettant l'accent sur la résolution d'exercices variés. Il est structuré en quatre chapitres : le premier passe en revue tous les diagrammes, de façon isolée et en groupe ; le deuxième est une mise en pratique au travers de sept études de cas ; le troisième explore le côté formel d'UML par l'expérimentation du langage OCL ; et le dernier traite de la vérification de spécifications UML. L'ouvrage présente les solutions, mais aussi les démarches suivies, les alternatives et des conseils de modélisation. Par la variété des exercices et des cas concrets, il couvre aussi largement que possible le domaine d'application. Cela en fait un guide pratique d'utilisation d'UML Réservation
Réserver ce document
Exemplaires (2)
Code-barres Cote Support Localisation Section Disponibilité fsei01722 005-430.1 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible fsei01723 005-430.2 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Sorti jusqu'au 26/06/2023
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
