A partir de cette page vous pouvez :
author
| 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 recherche Interroger des sources externesExercices corrigés de conception logicielle / Pascal André (DL 2002, cop. 2002)
Titre : Exercices corrigés de conception logicielle : modélisation des systèmes d'information par la pratique Type de document : texte imprime Auteurs : Pascal André ; Vailly Alain Editeur : Paris : Ellipses Année de publication : DL 2002, cop. 2002 Collection : Technosup Importance : (II-314 p.) Présentation : fig. Format : 26 cm ISBN/ISSN/EAN : 978-2-7298-1289-8 Note générale : Bibliogr. p. [313]-314 Langues : Français Mots-clés : Systèmes d'information:problèmes et exercices Logiciels:développement Systèmes,Conception de Génie logiciel Index. décimale : 0051076 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.Note de contenu :
I. Modélisation des données
1. Le modèle Entités - Associations - Propriétés
2. Le modèle relationnel
3. Un peu de méthodologie sur les données
II. Modélisation de comportements
4. Les automates
5. Les réseaux de PETRI
6. Un peu de méthodologie sur le comportement
III. Modélisation de traitements
7. Le modèle des Flots de Données
8. La modélisation des traitements avec Merise
IV. Vérification de modèles
9. Vérification de modèles
En ligne : https://www.amazon.fr/Exercices-corrig%C3%A9s-conception-logicielle-Mod%C3%A9lis [...] Permalink : ./index.php?lvl=notice_display&id=11908 Exercices corrigés de conception logicielle : modélisation des systèmes d'information par la pratique [texte imprime] / Pascal André ; Vailly Alain . - Paris : Ellipses, DL 2002, cop. 2002 . - (II-314 p.) : fig. ; 26 cm. - (Technosup) .
ISBN : 978-2-7298-1289-8
Bibliogr. p. [313]-314
Langues : Français
Mots-clés : Systèmes d'information:problèmes et exercices Logiciels:développement Systèmes,Conception de Génie logiciel Index. décimale : 0051076 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.Note de contenu :
I. Modélisation des données
1. Le modèle Entités - Associations - Propriétés
2. Le modèle relationnel
3. Un peu de méthodologie sur les données
II. Modélisation de comportements
4. Les automates
5. Les réseaux de PETRI
6. Un peu de méthodologie sur le comportement
III. Modélisation de traitements
7. Le modèle des Flots de Données
8. La modélisation des traitements avec Merise
IV. Vérification de modèles
9. Vérification de modèles
En ligne : https://www.amazon.fr/Exercices-corrig%C3%A9s-conception-logicielle-Mod%C3%A9lis [...] Permalink : ./index.php?lvl=notice_display&id=11908 Réservation
Réserver ce document
Exemplaires
Code-barres Cote Support Localisation Section Disponibilité IA393/1 IA393 Livre Magasin d'Ouvrages / FGE Informatique et automatique Consultation sur place
Exclu du prêtIA393/2 IA393 Livre Magasin d'Ouvrages / FGE Informatique et automatique Disponible IA393/3 IA393 Livre Magasin d'Ouvrages / FGE Informatique et automatique Disponible IA393/4 IA393 Livre Magasin d'Ouvrages / FGE Informatique et automatique Disponible IA393/5 IA393 Livre Magasin d'Ouvrages / FGE Informatique et automatique Disponible Aucun avis, veuillez vous identifier pour ajouter le vôtre !
Titre : Génie Logiciel Conception des systèmes d'information : panorama des méthodes et des techniques Type de document : texte imprime Auteurs : Pascal André, Auteur ; Alain Vailly, Auteur Editeur : Paris : Ellipses Année de publication : DL 2001, cop. 2001 Collection : Techno sup Importance : 312 p. Présentation : ill., couv. ill. Format : 26 cm. ISBN/ISSN/EAN : 978-2-7298-0479-4 Note générale : Ouvrage de niveau B, Bases (cours avec exercices et problèmes résolus) : IUP - IUT - BTS
Bibliogr. p. [301]-304. IndexLangues : Français Mots-clés : Génie logiciel Logiciels:développement Systèmes d'information MERISE, Méthode Petri, Réseaux de Index. décimale : 00512 00574 Résumé : Niveau B (Bases)
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. Chaque chapitre est illustré par de nombreux exercices.
Pour aider l'étudiant et le professionnel à s'affranchir d'une approche particulière et faciliter leur insertion dans des équipes de développement de logiciels, ou leur recyclage, l'ouvrage présente un panorama des phricipales méthodes et techniques de conception des systèmes d'information. Il montre qu'un nombre restreint de modèles de base constitue 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.
UnNiveau B (Bases)
L'ouvrage présente un panorama des principales méthodes et techniques de conception des systèmes d'information. Chaque chapitre est illustré par de nombreux exercices.
Pour aider l'étudiant et le professionnel à s'affranchir d'une approche particulière et faciliter leur insertion dans des équipes de développement de logiciels, ou leur recyclage, l'ouvrage présente un panorama des phricipales méthodes et techniques de conception des systèmes d'information. Il montre qu'un nombre restreint de modèles de base constitue 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 expose les méthodes formelles et UML.
Note de contenu :
I. Introduction au développement du logiciel : Méthodes de développement - Modèles de représentation - Processus de développement - Spécifications - Stratégies de développement - La qualité - Validation - Tendances et perspectives du génie logiciel
Il. Modélisation des données : Le modèle Entités-Associations - Le modèle E-A-P de base - Extensions possibles - Démarches alternatives - Modèle relationnel - Dépendances fonctionnelles - Normalisation - Décomposition des relations - Méthodologie sur les données - Passage d'un modèle à l'autre - Conclusion - Exercices
III. Modélisation du comportement : Les automates : notions de base, propriétés - Premiers pas de la modélisation - La composition d'automates - Les automates communicants - Les automates hiérarchiques - Les réseaux de PETRI - Vérification de propriétés - méthodologie sur le comportement - Conclusion - Exercices
IV. Modélisation des traitements : Le modèle des Flots de Données - La modélisation des traitements avec Merise - L'expression des traitements - Normalisation - L'utilisation de ces modèles - Du MCT au MOT - Conclusion - Exercices
V. Vérification de modèles et conclusion : Principes de vérification - Vérification dans SSADM - Vérification dans Merise - Conclusion - Exercices
ConclusionEn ligne : https://www.amazon.fr/Conception-syst%C3%A8mes-dinformation-Panorama-techniques/ [...] Permalink : ./index.php?lvl=notice_display&id=14765 Génie Logiciel Conception des systèmes d'information : panorama des méthodes et des techniques [texte imprime] / Pascal André, Auteur ; Alain Vailly, Auteur . - Paris : Ellipses, DL 2001, cop. 2001 . - 312 p. : ill., couv. ill. ; 26 cm.. - (Techno sup) .
ISBN : 978-2-7298-0479-4
Ouvrage de niveau B, Bases (cours avec exercices et problèmes résolus) : IUP - IUT - BTS
Bibliogr. p. [301]-304. Index
Langues : Français
Mots-clés : Génie logiciel Logiciels:développement Systèmes d'information MERISE, Méthode Petri, Réseaux de Index. décimale : 00512 00574 Résumé : Niveau B (Bases)
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. Chaque chapitre est illustré par de nombreux exercices.
Pour aider l'étudiant et le professionnel à s'affranchir d'une approche particulière et faciliter leur insertion dans des équipes de développement de logiciels, ou leur recyclage, l'ouvrage présente un panorama des phricipales méthodes et techniques de conception des systèmes d'information. Il montre qu'un nombre restreint de modèles de base constitue 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.
UnNiveau B (Bases)
L'ouvrage présente un panorama des principales méthodes et techniques de conception des systèmes d'information. Chaque chapitre est illustré par de nombreux exercices.
Pour aider l'étudiant et le professionnel à s'affranchir d'une approche particulière et faciliter leur insertion dans des équipes de développement de logiciels, ou leur recyclage, l'ouvrage présente un panorama des phricipales méthodes et techniques de conception des systèmes d'information. Il montre qu'un nombre restreint de modèles de base constitue 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 expose les méthodes formelles et UML.
Note de contenu :
I. Introduction au développement du logiciel : Méthodes de développement - Modèles de représentation - Processus de développement - Spécifications - Stratégies de développement - La qualité - Validation - Tendances et perspectives du génie logiciel
Il. Modélisation des données : Le modèle Entités-Associations - Le modèle E-A-P de base - Extensions possibles - Démarches alternatives - Modèle relationnel - Dépendances fonctionnelles - Normalisation - Décomposition des relations - Méthodologie sur les données - Passage d'un modèle à l'autre - Conclusion - Exercices
III. Modélisation du comportement : Les automates : notions de base, propriétés - Premiers pas de la modélisation - La composition d'automates - Les automates communicants - Les automates hiérarchiques - Les réseaux de PETRI - Vérification de propriétés - méthodologie sur le comportement - Conclusion - Exercices
IV. Modélisation des traitements : Le modèle des Flots de Données - La modélisation des traitements avec Merise - L'expression des traitements - Normalisation - L'utilisation de ces modèles - Du MCT au MOT - Conclusion - Exercices
V. Vérification de modèles et conclusion : Principes de vérification - Vérification dans SSADM - Vérification dans Merise - Conclusion - Exercices
ConclusionEn ligne : https://www.amazon.fr/Conception-syst%C3%A8mes-dinformation-Panorama-techniques/ [...] Permalink : ./index.php?lvl=notice_display&id=14765 Réservation
Réserver ce document
Exemplaires
Code-barres Cote Support Localisation Section Disponibilité SYD84/1 SYD84 Livre Magasin d'Ouvrages / INF Système d'Exploitation Consultation sur place
Exclu du prêtSYD84/2 SYD84 Livre Magasin d'Ouvrages / INF Système d'Exploitation Disponible SYD84/3 SYD84 Livre Magasin d'Ouvrages / INF Système d'Exploitation Disponible SYD84/4 SYD84 Livre Magasin d'Ouvrages / INF Système d'Exploitation Disponible SYD84/5 SYD84 Livre Magasin d'Ouvrages / INF Système d'Exploitation Disponible SYD84/6 SYD84 Livre Magasin d'Ouvrages / INF Système d'Exploitation Disponible SYD84/7 SYD84 Livre Magasin d'Ouvrages / INF Système d'Exploitation Disponible SYD84/8 SYD84 Livre Magasin d'Ouvrages / INF Système d'Exploitation Disponible SYD84/9 SYD84 Livre Magasin d'Ouvrages / INF Système d'Exploitation Disponible SYD84/10 SYD84 Livre Magasin d'Ouvrages / INF Système d'Exploitation Disponible SYD84/11 SYD84 Livre Magasin d'Ouvrages / INF Système d'Exploitation Disponible SYD84/12 SYD84 Livre Magasin d'Ouvrages / INF Système d'Exploitation Disponible SYD84/13 SYD84 Livre Magasin d'Ouvrages / INF Système d'Exploitation Disponible SYD84/14 SYD84 Livre Magasin d'Ouvrages / INF Système d'Exploitation Disponible SYD84/15 SYD84 Livre Magasin d'Ouvrages / INF Système d'Exploitation Disponible SYD84/16 SYD84 Livre Magasin d'Ouvrages / INF Système d'Exploitation Disponible SYD84/17 SYD84 Livre Magasin d'Ouvrages / INF Système d'Exploitation Disponible Aucun avis, veuillez vous identifier pour ajouter le vôtre !
Titre : Spécification des logiciels : deux exemples de pratiques récentes : Z et UML Type de document : texte imprime Auteurs : Pascal André ; Vailly A. Editeur : Paris : Ellipses Année de publication : 2001 Collection : Technosup Importance : 317 p. Présentation : ill. Format : 26 cm ISBN/ISSN/EAN : 978-2-7298-0774-0 Note générale :
En avant-titre : "Génie logiciel". - Ouvrage de niveau C : Compléments (approfondissement, spécialisation), Ecoles d'ingénieurs, Maîtrise
Bibliogr. p. [305]-310. IndexLangues : Français Mots-clés : Z (méthode formelle) Programmation orientée objets (informatique) Génie logiciel Logiciels:développement UML (informatique) Index. décimale : 0051 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", consacé aux méthodes et aux techniques de base de la conception des systèmes.Note de contenu :
Première partie : Spécifications formelles avec Z
Chapitre 1. Introduction aux spécifications formelles : Spécifications par modèle abstrait, spécifications algébriques et mixtes - Chapitre 2. Le langage Z - Théorie des ensembles - Multi-ensembles - Séquences - Chapitre 3. La spécification avec Z : Structuration. Démarche de spécification - Spécification sur l'exemple de l'hôpital - Validation - Robustesse - Raffinage - Les outils - Conclusion - Exercices - Chapitre 4. La spécification avec Z : la facturation de commandes. Spécification de l'état - Spécification de l'état initial - Spécification des opérations - Validation - Une spécification avec des fonctions - Le raffinage - Chapitre 5. Compléments pour la modélisation avec Z. Traduction du formalisme E-A-P en Z - Modélisation avec Z : la bibliothèque - Interprétation des préconditions - La promotion - Z et les objets - Exercices
Deuxième partie : Modélisation objet avec UML
Chapitre 6. Introduction au développement à objets: L'approche à objets - Analyse et conception - Utilisation des méthodes à objets - Classification des méthodes - La méthode OMT - La méthode BON - Conclusion - Chapitre 7. La notation UML. Modèles d'approche - Modèles de structure - Modèles de la dynamique - Modèles d'implantation - Conclusion - Exercices - Chapitre 8. La spécification avec UML. Architecture logicielle - Processus de développement - Expression des besoins - L'analyse - Conception - Les outils - Chapitre 9. Compléments pour la modélisation UML. Le langage OCL - La pratique d'OCL - La cohérence entre les diagrammes - Conclusion - Exercices - Chapitre 10. Conclusion et perspectivesEn ligne : https://www.amazon.fr/Sp%C3%A9cification-logiciels-exemples-pratiques-r%C3%A9cen [...] Permalink : ./index.php?lvl=notice_display&id=11883 Spécification des logiciels : deux exemples de pratiques récentes : Z et UML [texte imprime] / Pascal André ; Vailly A. . - Paris : Ellipses, 2001 . - 317 p. : ill. ; 26 cm. - (Technosup) .
ISBN : 978-2-7298-0774-0
En avant-titre : "Génie logiciel". - Ouvrage de niveau C : Compléments (approfondissement, spécialisation), Ecoles d'ingénieurs, Maîtrise
Bibliogr. p. [305]-310. Index
Langues : Français
Mots-clés : Z (méthode formelle) Programmation orientée objets (informatique) Génie logiciel Logiciels:développement UML (informatique) Index. décimale : 0051 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", consacé aux méthodes et aux techniques de base de la conception des systèmes.Note de contenu :
Première partie : Spécifications formelles avec Z
Chapitre 1. Introduction aux spécifications formelles : Spécifications par modèle abstrait, spécifications algébriques et mixtes - Chapitre 2. Le langage Z - Théorie des ensembles - Multi-ensembles - Séquences - Chapitre 3. La spécification avec Z : Structuration. Démarche de spécification - Spécification sur l'exemple de l'hôpital - Validation - Robustesse - Raffinage - Les outils - Conclusion - Exercices - Chapitre 4. La spécification avec Z : la facturation de commandes. Spécification de l'état - Spécification de l'état initial - Spécification des opérations - Validation - Une spécification avec des fonctions - Le raffinage - Chapitre 5. Compléments pour la modélisation avec Z. Traduction du formalisme E-A-P en Z - Modélisation avec Z : la bibliothèque - Interprétation des préconditions - La promotion - Z et les objets - Exercices
Deuxième partie : Modélisation objet avec UML
Chapitre 6. Introduction au développement à objets: L'approche à objets - Analyse et conception - Utilisation des méthodes à objets - Classification des méthodes - La méthode OMT - La méthode BON - Conclusion - Chapitre 7. La notation UML. Modèles d'approche - Modèles de structure - Modèles de la dynamique - Modèles d'implantation - Conclusion - Exercices - Chapitre 8. La spécification avec UML. Architecture logicielle - Processus de développement - Expression des besoins - L'analyse - Conception - Les outils - Chapitre 9. Compléments pour la modélisation UML. Le langage OCL - La pratique d'OCL - La cohérence entre les diagrammes - Conclusion - Exercices - Chapitre 10. Conclusion et perspectivesEn ligne : https://www.amazon.fr/Sp%C3%A9cification-logiciels-exemples-pratiques-r%C3%A9cen [...] Permalink : ./index.php?lvl=notice_display&id=11883 Réservation
Réserver ce document
Exemplaires
Code-barres Cote Support Localisation Section Disponibilité IA367/T2/1 IA367/T2 Livre Magasin d'Ouvrages / FGE Informatique et automatique Consultation sur place
Exclu du prêtIA367/T2/2 IA367/T2 Livre Magasin d'Ouvrages / FGE Informatique et automatique Disponible IA367/T2/3 IA367/T2 Livre Magasin d'Ouvrages / FGE Informatique et automatique Disponible IA367/T2/4 IA367/T2 Livre Magasin d'Ouvrages / FGE Informatique et automatique Disponible IA367/T2/5 IA367/T2 Livre Magasin d'Ouvrages / FGE Informatique et automatique Disponible SYD98/1 SYD98/T2 Livre Magasin d'Ouvrages / INF Système d'Exploitation Consultation sur place
Exclu du prêtSYD98/2 SYD98/T2 Livre Magasin d'Ouvrages / INF Système d'Exploitation Disponible Aucun avis, veuillez vous identifier pour ajouter le vôtre !
