BIBLIOTHEQUE MISM
Détail de l'auteur
Auteur Pascal André |
Documents disponibles écrits par cet auteur
Affiner la recherche Interroger des sources externes
Titre : Exercices corrigées de conception logicielle : Modélisation des systèmes d'information par la pratique Type de document : texte imprimé Auteurs : Pascal André, Auteur ; Alain VAILLY, Auteur Editeur : Paris : Ellipses Année de publication : 2002 Importance : 316p Format : 26x17.5cm ISBN/ISSN/EAN : 272981289x Langues : Français (fre) Langues originales : Français (fre) Mots-clés : Exercices corrigés Index. décimale : 004 Traitement de données. Informatique 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. En ligne : www.editions-ellipses.com Exercices corrigées de conception logicielle : Modélisation des systèmes d'information par la pratique [texte imprimé] / Pascal André, Auteur ; Alain VAILLY, Auteur . - Paris : Ellipses, 2002 . - 316p ; 26x17.5cm.
ISSN : 272981289x
Langues : Français (fre) Langues originales : Français (fre)
Mots-clés : Exercices corrigés Index. décimale : 004 Traitement de données. Informatique 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. En ligne : www.editions-ellipses.com Réservation
Réserver ce document
Exemplaires (3)
Code-barres Cote Support Localisation Section Disponibilité 03/80665 L/004.799 Livre Bibliothèque Mathématique informatique et sciences de la matière indéterminé Exclu du prêt 09/155867 L/004.799 Livre Bibliothèque Mathématique informatique et sciences de la matière indéterminé Disponible 09/155868 L/004.799 Livre Bibliothèque Mathématique informatique et sciences de la matière indéterminé Disponible
Titre : Génie logiciel Exercices corrigés en langage Z : les spécifications formellespar l'exemple Type de document : texte imprimé Auteurs : Pascal André, Auteur ; Alain VAILLY, Auteur Editeur : Ellipses Année de publication : 2004 Collection : TECHNOSUP Importance : 243p Format : 26x18 cm ISBN/ISSN/EAN : 978-2-7298-1942-2 Note générale : Sommaire
Le langage Z
La spécification avec Z
La spécification avec Z : la facturation de commandes
Des compléments pour la modélisation avec ZLangues : Français (fre) Langues originales : Français (fre) Index. décimale : 004 Traitement de données. Informatique 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. Génie logiciel Exercices corrigés en langage Z : les spécifications formellespar l'exemple [texte imprimé] / Pascal André, Auteur ; Alain VAILLY, Auteur . - [S.l.] : Ellipses, 2004 . - 243p ; 26x18 cm. - (TECHNOSUP) .
ISBN : 978-2-7298-1942-2
Sommaire
Le langage Z
La spécification avec Z
La spécification avec Z : la facturation de commandes
Des compléments pour la modélisation avec Z
Langues : Français (fre) Langues originales : Français (fre)
Index. décimale : 004 Traitement de données. Informatique 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 (3)
Code-barres Cote Support Localisation Section Disponibilité 09/155873 L/004.1143 Livre Bibliothèque Mathématique informatique et sciences de la matière indéterminé Disponible 09/155874 L/004.1143 Livre Bibliothèque Mathématique informatique et sciences de la matière indéterminé Disponible 09/155875 L/004.1143 Livre Bibliothèque Mathématique informatique et sciences de la matière indéterminé Disponible
