الفهرس الالي لمكتبة كلية العلوم الدقيقة و الاعلام الالي

Exercices corrigés de conception logicielle / Pascal André

Public ISBD 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

Exercices corrigés en langage Z / Pascal André

Public ISBD 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

Exercices corrigés d'UML / Pascal André

Public ISBD 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

---

1 (1 - 3 / 3)