University Sétif 1 FERHAT ABBAS Faculty of Sciences
Détail de l'auteur
Auteur Alain Vailly |
Documents disponibles écrits par cet auteur
Ajouter le résultat dans votre panier Affiner la recherche
Génie logiciel:Conception des systèmes d'information / Pascal Andrè
Titre : Génie logiciel:Conception des systèmes d'information Type de document : texte imprimé Auteurs : Pascal Andrè ; Alain Vailly Editeur : Paris : Ellipses Année de publication : 2001 Collection : Technosup Importance : 1 vol. (312 p.) Présentation : ill. Format : 25 cm ISBN/ISSN/EAN : 2-7298-0479-1 Note générale : Bibliogr. p.301-304,index p.305-312 Langues : Français (fre) Catégories : Informatique Mots-clés : Informatique
Systèmes d'information
Génie logicielIndex. décimale : 004 - Informatique Résumé : 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.Côte titre : Fs/8230-8231 Génie logiciel:Conception des systèmes d'information [texte imprimé] / Pascal Andrè ; Alain Vailly . - Paris : Ellipses, 2001 . - 1 vol. (312 p.) : ill. ; 25 cm. - (Technosup) .
ISSN : 2-7298-0479-1
Bibliogr. p.301-304,index p.305-312
Langues : Français (fre)
Catégories : Informatique Mots-clés : Informatique
Systèmes d'information
Génie logicielIndex. décimale : 004 - Informatique Résumé : 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.Côte titre : Fs/8230-8231 Exemplaires (2)
Code-barres Cote Support Localisation Section Disponibilité Fs/8230 Fs/8230-8231 livre Bibliothéque des sciences Français Disponible
DisponibleFs/8231 Fs/8230-8231 livre Bibliothéque des sciences Français Disponible
DisponibleGénie logiciel / André, Pascal
Titre : Génie logiciel : Développement des logiciels avec UML 2 et OCL / Cours, études de cas et exercices corrigés Type de document : texte imprimé Auteurs : André, Pascal ; Alain Vailly, Auteur Editeur : Paris : Ellipses Année de publication : 2013 Collection : Technosup Importance : 1 vol (377 p.) Format : 24 cm ISBN/ISSN/EAN : 978-2-7298-8353-9 Note générale : 978-2-7298-8353-9 Langues : Français (fre) Langues originales : Français (fre) Catégories : Informatique Mots-clés : Génie logiciel :Manuels d'enseignement supérieur.
Génie logiciel :Problèmes et exercices.Index. décimale : 005.1 Programmation 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.Note de contenu :
Sommaire
Avant-Propos i
1 Méthode de développement du logiciel avec UML 3
1 Le développement du logiciel 3
2 La notation UML 5
3 Le processus de développement 20
4 Les outils 28
5 Un cas d'étude support, le club vidéo 30
6 Conclusion 31
2 L'essence d'une modélisation UML 33
1 Modélisation de la structure 33
2 Modélisation de la dynamique 40
3 Modélisation des fonctions et des calculs 53
4 Bonnes pratiques de modélisation 61
5 Exercices de modélisation 65
3 Le langage OCL, de la précision à l'ingénierie des modèles 99
1 L'essentiel du langage 99
2 La pratique d'OCL 105
3 MDA, MDE et OCL 117
4 Exercices 117
5 Conclusion 139
4 Modélisation métier et des besoins 141
1 La phase d'analyse des besoins 141
2 Les modèles d'approche 143
3 Structuration et illustration des cas d'utilisation 150
4 Étude de cas "Magasin vidéo" : l'expression du besoin 159
5 Cas d'utilisation et mesures 172
6 Cas d'utilisation, scénarios et tests 175
7 Exercices 178
5 Analyse, une vue logique du système 195
1 La phase d'analyse 195
2 Les modèles d'analyse 196
3 Structuration et illustration 197
4 Étude de cas "Magasin vidéo" : l'analyse 198
5 Étude de cas "ascenseur" : l'analyse 209
6 Exercices 226
6 Vérification de modèles 251
1 Vérification de modèles 251
2 Application au domaine logique 256
3 Vérification des diagrammes du modèle logique 258
4 Vérification de cohérence du modèle logique 274
5 Bonnes pratiques de la vérification 284
6 Exercices 286
7 Conclusion 296
7 Conception, de la transformation de modèles 297
1 La phase de conception 297
2 Les modèles d'implantation 298
3 La conception générale 302
4 Étude de cas "video" : la conception générale 303
5 La conception détaillée 305
6 Étude de cas "video" : la conception détaillée 331
7 Exercices 333
8 Codage, test et qualité 345
1 La phase d'implantation et V & V 345
2 La documentation avec UML 347
3 Les tests dans l'esprit UML 349
4 La qualité du logiciel 356
5 Exercices 360
6 Conclusion 366
ConclusionCôte titre : Fs/13133-13136 Génie logiciel : Développement des logiciels avec UML 2 et OCL / Cours, études de cas et exercices corrigés [texte imprimé] / André, Pascal ; Alain Vailly, Auteur . - Paris : Ellipses, 2013 . - 1 vol (377 p.) ; 24 cm. - (Technosup) .
ISBN : 978-2-7298-8353-9
978-2-7298-8353-9
Langues : Français (fre) Langues originales : Français (fre)
Catégories : Informatique Mots-clés : Génie logiciel :Manuels d'enseignement supérieur.
Génie logiciel :Problèmes et exercices.Index. décimale : 005.1 Programmation 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.Note de contenu :
Sommaire
Avant-Propos i
1 Méthode de développement du logiciel avec UML 3
1 Le développement du logiciel 3
2 La notation UML 5
3 Le processus de développement 20
4 Les outils 28
5 Un cas d'étude support, le club vidéo 30
6 Conclusion 31
2 L'essence d'une modélisation UML 33
1 Modélisation de la structure 33
2 Modélisation de la dynamique 40
3 Modélisation des fonctions et des calculs 53
4 Bonnes pratiques de modélisation 61
5 Exercices de modélisation 65
3 Le langage OCL, de la précision à l'ingénierie des modèles 99
1 L'essentiel du langage 99
2 La pratique d'OCL 105
3 MDA, MDE et OCL 117
4 Exercices 117
5 Conclusion 139
4 Modélisation métier et des besoins 141
1 La phase d'analyse des besoins 141
2 Les modèles d'approche 143
3 Structuration et illustration des cas d'utilisation 150
4 Étude de cas "Magasin vidéo" : l'expression du besoin 159
5 Cas d'utilisation et mesures 172
6 Cas d'utilisation, scénarios et tests 175
7 Exercices 178
5 Analyse, une vue logique du système 195
1 La phase d'analyse 195
2 Les modèles d'analyse 196
3 Structuration et illustration 197
4 Étude de cas "Magasin vidéo" : l'analyse 198
5 Étude de cas "ascenseur" : l'analyse 209
6 Exercices 226
6 Vérification de modèles 251
1 Vérification de modèles 251
2 Application au domaine logique 256
3 Vérification des diagrammes du modèle logique 258
4 Vérification de cohérence du modèle logique 274
5 Bonnes pratiques de la vérification 284
6 Exercices 286
7 Conclusion 296
7 Conception, de la transformation de modèles 297
1 La phase de conception 297
2 Les modèles d'implantation 298
3 La conception générale 302
4 Étude de cas "video" : la conception générale 303
5 La conception détaillée 305
6 Étude de cas "video" : la conception détaillée 331
7 Exercices 333
8 Codage, test et qualité 345
1 La phase d'implantation et V & V 345
2 La documentation avec UML 347
3 Les tests dans l'esprit UML 349
4 La qualité du logiciel 356
5 Exercices 360
6 Conclusion 366
ConclusionCôte titre : Fs/13133-13136 Exemplaires (5)
Code-barres Cote Support Localisation Section Disponibilité Fs/13132 Fs/13132-13136 livre Bibliothéque des sciences Français Disponible
DisponibleFs/13133 Fs/13132-13136 livre Bibliothéque des sciences Français Disponible
DisponibleFs/13134 Fs/13132-13136 livre Bibliothéque des sciences Français Disponible
DisponibleFs/13135 Fs/13132-13136 livre Bibliothéque des sciences Français Disponible
DisponibleFs/13136 Fs/13132-13136 livre Bibliothéque des sciences Français Disponible
Disponible