Catalogue des ouvrages Université de Laghouat
A partir de cette page vous pouvez :
| Retourner au premier écran avec les étagères virtuelles... |
Détail de l'auteur
Auteur Pascal André
Documents disponibles écrits par cet auteur
Ajouter le résultat dans votre panier Faire une suggestion Affiner la rechercheConception des systèmes d'information / Pascal André
Titre : Conception des systèmes d'information : panorama des méthodes et des techniques Type de document : texte imprimé Auteurs : Pascal André, Auteur ; Alain Vailly, Auteur Editeur : Paris [France] : Ellipses Année de publication : 2001 Collection : Technosup Sous-collection : Génie logiciel Importance : 312 p. Présentation : ill., couv. ill. Format : 26 cm. ISBN/ISSN/EAN : 978-2-7298-0479-4 Langues : Français Catégories : INFORMATIQUE:005.1.Programmation,programmes,organisations des donnees Mots-clés : systèmes d'information Génie logiciel Résumé : La 4e de couverture indique : Pour aider l'étudiant et le professionnel à s'affranchir d'une approche particulière et pour faciliter leur insertion dans des équipes de développement de logiciels, ou leur recyclage, l'ouvrage présente un panorama des principales méthodes et techniques de conception des systèmes d'information. Il montre qu'un nombre restreint de modèles de base (entités-associations-propriétés, modèle relationnel, automates, réseaux de PETRI, expressions régulières...) constituent un socle sur lequel reposent toutes les méthodes les plus courantes (Merise, SSADM, SADT ou UML). Après une introduction au développement de logiciel, l'ouvrage analyse ces modèles de base au travers de : - la modélisation des données, - la modélisation du comportement, - la modélisation des traitements, et il termine en abordant le problème de la vérification des modèles. Chaque chapitre est illustré par de nombreux exercices. Un second ouvrage des mêmes auteurs exposera les méthodes formelles et UML. Conception des systèmes d'information : panorama des méthodes et des techniques [texte imprimé] / Pascal André, Auteur ; Alain Vailly, Auteur . - Paris (France) : Ellipses, 2001 . - 312 p. : ill., couv. ill. ; 26 cm.. - (Technosup. Génie logiciel) .
ISBN : 978-2-7298-0479-4
Langues : Français
Catégories : INFORMATIQUE:005.1.Programmation,programmes,organisations des donnees Mots-clés : systèmes d'information Génie logiciel Résumé : La 4e de couverture indique : Pour aider l'étudiant et le professionnel à s'affranchir d'une approche particulière et pour faciliter leur insertion dans des équipes de développement de logiciels, ou leur recyclage, l'ouvrage présente un panorama des principales méthodes et techniques de conception des systèmes d'information. Il montre qu'un nombre restreint de modèles de base (entités-associations-propriétés, modèle relationnel, automates, réseaux de PETRI, expressions régulières...) constituent un socle sur lequel reposent toutes les méthodes les plus courantes (Merise, SSADM, SADT ou UML). Après une introduction au développement de logiciel, l'ouvrage analyse ces modèles de base au travers de : - la modélisation des données, - la modélisation du comportement, - la modélisation des traitements, et il termine en abordant le problème de la vérification des modèles. Chaque chapitre est illustré par de nombreux exercices. Un second ouvrage des mêmes auteurs exposera les méthodes formelles et UML. Réservation
Réserver ce document
Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 005.1.768-1 005.1.768-1 Livre interne BIBLIOTHEQUE CENTRALE Informatique (bc) Disponible
Titre : Développement de logiciels avec UML 2 et OCL : cours, études de cas et exercices corrigés Type de document : texte imprimé Auteurs : Pascal André, Auteur ; Alain Vailly, Auteur Editeur : Paris [France] : Ellipses Année de publication : 2013 Collection : Technosup Sous-collection : Génie logiciel Importance : 1 vol. (IV-378 p.) Présentation : ill., couv. ill. Format : 26 cm ISBN/ISSN/EAN : 978-2-7298-8353-9 Note générale : Bibliogr. p. 369-374. Index Langues : Français Catégories : INFORMATIQUE:005.1.Programmation,programmes,organisations des donnees Mots-clés : UML (informatique) 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, BTS, 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é] / Pascal André, Auteur ; Alain Vailly, Auteur . - Paris (France) : Ellipses, 2013 . - 1 vol. (IV-378 p.) : ill., couv. ill. ; 26 cm. - (Technosup. Génie logiciel) .
ISBN : 978-2-7298-8353-9
Bibliogr. p. 369-374. Index
Langues : Français
Catégories : INFORMATIQUE:005.1.Programmation,programmes,organisations des donnees Mots-clés : UML (informatique) 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, BTS, 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
Code-barres Cote Support Localisation Section Disponibilité 005.1.29-3 005.1.29-3 Livre externe BIBLIOTHEQUE D'ANNEXE D'AFLOU Généralités (afl) Disponible 005.1.29-4 005.1.29-4 Livre externe BIBLIOTHEQUE D'ANNEXE D'AFLOU Généralités (afl) 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é, Auteur ; Alain Vailly, Auteur Editeur : Paris [France] : Ellipses Année de publication : 2004 Collection : Technosup Importance : II-243 p. Présentation : ill., couv. ill. Format : 26 cm. ISBN/ISSN/EAN : 978-2-7298-1942-2 Note générale : Écoles d'ingénieurs, Maîtrise Langues : Français Catégories : INFORMATIQUE:005.1.Programmation,programmes,organisations des donnees Mots-clés : Z (méthode formelle ) Méthodes formelles (informatique )-Problèmes et exercices 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é, Auteur ; Alain Vailly, Auteur . - Paris (France) : Ellipses, 2004 . - II-243 p. : ill., couv. ill. ; 26 cm.. - (Technosup) .
ISBN : 978-2-7298-1942-2
Écoles d'ingénieurs, Maîtrise
Langues : Français
Catégories : INFORMATIQUE:005.1.Programmation,programmes,organisations des donnees Mots-clés : Z (méthode formelle ) Méthodes formelles (informatique )-Problèmes et exercices 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
Code-barres Cote Support Localisation Section Disponibilité 005.1.593-1 005.1.593-1 Livre interne BIBLIOTHEQUE CENTRALE Informatique (bc) Disponible 005.1-368-1 005.1-368-1 Livre externe BIBLIOTHEQUE DE FACULTE DES SCIENCES Informatique (SCI) Disponible 005.1-368-2 005.1-368-2 Livre externe BIBLIOTHEQUE DE FACULTE DES SCIENCES Informatique (SCI) Disponible 005.1-368-3 005.1-368-3 Livre externe BIBLIOTHEQUE DE FACULTE DES SCIENCES Informatique (SCI) Disponible
