Accueil
A partir de cette page vous pouvez :
Retourner au premier écran avec les étagères virtuelles... |
Détail de l'auteur
Auteur Alain Vailly |
Documents disponibles écrits par cet auteur
Affiner la recherche
Conception des systèmes d'information : panorama des méthodes et des techniques / Alain Vailly
Titre : Conception des systèmes d'information : panorama des méthodes et des techniques Type de document : texte imprimé Auteurs : Alain Vailly, Auteur ; André, Pascal, Auteur Editeur : Paris : Ellipses Année de publication : 2001 Importance : 312 p. ISBN/ISSN/EAN : 978-2-7298-0479-4 Note générale : I Introduction au développement du logiciel
1 Développement du logiciel
II Modélisation des données
2 Le modèle Entités - Associations - Propriétés
3 Le modèle relationnel
4 Un peu de méthodologie sur les données
III Modélisation du comportement
5 Les automates
6 Les réseaux de PETRI
7 Un peu de méthodologie sur le comportement
8 Le modèle des Flots de Données
9 La modélisation des traitements avec Merise
10 Vérification de modèles
IV Modélisation des traitements
V Vérification de modèles
10 Vérification de modèles
Langues : Français Catégories : Techniques
Techniques:InformatiqueMots-clés : Génie logiciel Systèmes d'information MERISE Réseaux PETRI. Index. décimale : 005 - Programmation Conception des systèmes d'information : panorama des méthodes et des techniques [texte imprimé] / Alain Vailly, Auteur ; André, Pascal, Auteur . - Paris : Ellipses, 2001 . - 312 p.
ISBN : 978-2-7298-0479-4
I Introduction au développement du logiciel
1 Développement du logiciel
II Modélisation des données
2 Le modèle Entités - Associations - Propriétés
3 Le modèle relationnel
4 Un peu de méthodologie sur les données
III Modélisation du comportement
5 Les automates
6 Les réseaux de PETRI
7 Un peu de méthodologie sur le comportement
8 Le modèle des Flots de Données
9 La modélisation des traitements avec Merise
10 Vérification de modèles
IV Modélisation des traitements
V Vérification de modèles
10 Vérification de modèles
Langues : Français
Catégories : Techniques
Techniques:InformatiqueMots-clés : Génie logiciel Systèmes d'information MERISE Réseaux PETRI. Index. décimale : 005 - Programmation Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 00000661 005.1 VAI Livre Bibliothèque UIR Ecole Supérieure d'Informatique & du Numérique Exclu du prêt Développement de logiciels avec UML 2 et OCL / Alain Vailly
Titre : Développement de logiciels avec UML 2 et OCL Type de document : texte imprimé Auteurs : Alain Vailly, Auteur ; André, Pascal, Auteur Editeur : Paris : Ellipses Année de publication : 2013 Importance : 378 p. ISBN/ISSN/EAN : 978-2-7298-8353-9 Note générale : P. 3. 1. Méthode de développement du logiciel avec UML
P. 33. 2. L'essence d'une modélisation UML
P. 99. 3. Le langage OCL, de la précision à l'ingénierie des modèles
P. 141. 4. Modélisation métier et des besoins
P. 195. 5. Analyse, un evue logique du système
P. 251. 6. Vérification de modèles
P. 297. 7. Conception, de la transformation de modèles
P. 345. 8. Codage, test et qualité
Langues : Français Catégories : Techniques
Techniques:InformatiqueMots-clés : Génie logiciel UML Langage OCL Codage. Index. décimale : 005 - Programmation Développement de logiciels avec UML 2 et OCL [texte imprimé] / Alain Vailly, Auteur ; André, Pascal, Auteur . - Paris : Ellipses, 2013 . - 378 p.
ISBN : 978-2-7298-8353-9
P. 3. 1. Méthode de développement du logiciel avec UML
P. 33. 2. L'essence d'une modélisation UML
P. 99. 3. Le langage OCL, de la précision à l'ingénierie des modèles
P. 141. 4. Modélisation métier et des besoins
P. 195. 5. Analyse, un evue logique du système
P. 251. 6. Vérification de modèles
P. 297. 7. Conception, de la transformation de modèles
P. 345. 8. Codage, test et qualité
Langues : Français
Catégories : Techniques
Techniques:InformatiqueMots-clés : Génie logiciel UML Langage OCL Codage. Index. décimale : 005 - Programmation Réservation
Réserver ce document
Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 00006696 005 AND Livre Bibliothèque UIR Ecole Supérieure d'Informatique & du Numérique Exclu du prêt 00006700 005 AND Livre Bibliothèque UIR Ecole Supérieure d'Informatique & du Numérique Disponible 00006699 005 AND Livre Bibliothèque UIR Ecole Supérieure d'Informatique & du Numérique Disponible 00006698 005 AND Livre Bibliothèque UIR Ecole Supérieure d'Informatique & du Numérique Disponible Exercices corrigés en langage Z : les spécifications formelles par l'exemple / Alain Vailly
Titre : Exercices corrigés en langage Z : les spécifications formelles par l'exemple Type de document : texte imprimé Auteurs : Alain Vailly, Auteur ; André, Pascal, Auteur Editeur : Paris : Ellipses Année de publication : 2004 Importance : 243 p. ISBN/ISSN/EAN : 978-2-7298-1942-2 Note générale : Bibliogr. p. [231] Langues : Français Catégories : Techniques
Techniques:InformatiqueMots-clés : Z Génie logiciel Problèmes et exercices. Index. décimale : 005 - Programmation Exercices corrigés en langage Z : les spécifications formelles par l'exemple [texte imprimé] / Alain Vailly, Auteur ; André, Pascal, Auteur . - Paris : Ellipses, 2004 . - 243 p.
ISBN : 978-2-7298-1942-2
Bibliogr. p. [231]
Langues : Français
Catégories : Techniques
Techniques:InformatiqueMots-clés : Z Génie logiciel Problèmes et exercices. Index. décimale : 005 - Programmation Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 000001057 005 VAI.2 Livre Bibliothèque UIR Ecole Supérieure d'Informatique & du Numérique Exclu du prêt Exercices corrigés d'UML : passeport pour une maîtrise de la notation / Alain Vailly
Titre : Exercices corrigés d'UML : passeport pour une maîtrise de la notation Type de document : texte imprimé Auteurs : Alain Vailly, Auteur ; André, Pascal, Auteur Editeur : Paris : Ellipses Année de publication : 2003 Importance : 310 p. ISBN/ISSN/EAN : 978-2-7298-1725-1 Note générale : Bibliographie p. [289]-292. Langues : Français Mots-clés : UML UP Problèmes et exercices. Exercices corrigés d'UML : passeport pour une maîtrise de la notation [texte imprimé] / Alain Vailly, Auteur ; André, Pascal, Auteur . - Paris : Ellipses, 2003 . - 310 p.
ISBN : 978-2-7298-1725-1
Bibliographie p. [289]-292.
Langues : Français
Mots-clés : UML UP Problèmes et exercices. Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 00001058 005 VAI.3 Livre Bibliothèque UIR Ecole Supérieure d'Informatique & du Numérique Exclu du prêt Premiers pas en algorithmique : de l'énoncé à la solution : exercices analysés, corrigés et commentés / Tartier, Annie
Titre : Premiers pas en algorithmique : de l'énoncé à la solution : exercices analysés, corrigés et commentés Type de document : texte imprimé Auteurs : Tartier, Annie, Auteur ; Alain Vailly, Auteur Editeur : Paris : Ellipses Année de publication : 2014 Collection : Technosup Importance : X-396 p. ISBN/ISSN/EAN : 978-2-340-00125-1 Note générale : La 4e de couv. indique : "Un livre indispensable à qui veut ancrer sa pratique de la programmation sur une base algorithmique solide. Alors qu'il existe deux grandes catégories de livres : les manuels de cours et les recueils d'exercices corrigés, le présent ouvrage est un peu différent. Pour encourager une approche plus active, les notions de cours sont présentées, non pas a priori, mais a posteriori lorsque le lecteur, confronté aux problèmes, a eu l'occasion de se poser des questions. Il se trouve alors beaucoup plus réceptif aux explications et aux réponses qui lui sont fournies. Des exercices ont été choisis pour couvrir toutes les notions d'algorithmique que doit maîtriser un débutant. Ces exercices sont regroupés en chapitres thématiques. Chaque exercice est l'occasion d'expliquer une ou plusieurs notions essentielles. Après une brève introduction justifiant le choix de l'exercice, le «corps» de l'exercice commence par une analyse de l'énoncé, et en extrait, peu à peu, les idées à mettre en oeuvre pour aller vers une ou plusieurs solutions expliquées pas à pas, comparées et discutées. Enfin, une partie «Que faut-il retenir ?» reprend et explique, de manière plus générale, les notions d’algorithmique qui ont été appliquées. Chaque chapitre se termine par un résumé dans lequel sont mis en évidence les enseignements à tirer du travail réalisé"
Langues : Français Catégories : Techniques
Techniques:InformatiqueMots-clés : Algorithmes Langages de programmation Instructions Elémentaires Instructions de Choix Instructions Répétitives Fonction Procédures. Index. décimale : 005 - Programmation Note de contenu : P. i. Avant-propos
P. v. Table des matières
P. vii. Avertissement au lecteur
P. vii. 1 - Conventions typographiques
P. ix. 2 - Ordre de lecture
P. 1. Chapitre I : Introduction et conseils au lecteur
P. 1. 1 - Place de l'algorithmique dans le développement logiciel
P. 10. 2 - Conseils pour concevoir et vérifier un algorithme
P. 27. Chapitre II : Langage algorithmique
P. 28. 1 - Conventions typographiques utilisées dans les algorithmes
P. 29. 2 - Structure d'un algorithme
P. 30. 3 - Règles d'écriture des identificateurs
P. 30. 4 - Types
P. 31. 5 - Constantes intrinsèques
P. 31. 6 - Fonctions et opérateurs prédéfinis
P. 33. 7 - Instructions élémentaires
P. 35. 8 - Instructions structurées
P. 37. 9 - Fonctions et procédures
P. 40. 10 - Liste de mots réservés
P. 40. 11 - Un exemple
P. 43. Chapitre III : Instructions élémentaires
P. 43. Exercice 1 : Trace d'exécution
P. 48. Exercice 2 : Convertisseur de températures
P. 51. Exercice 3 : Échange et permutation
P. 54. Exercice 4 : Cumul
P. 58. Résumé
P. 59. Chapitre IV : Instructions de choix
P. 59. Exercice 5 : Conditionnelles imbriquées et en séquence
P. 64. Exercice 6 : Maxima
P. 73. Exercice 7 : Parking courte durée
P. 78. Exercice 8 : Machine à affranchir
P. 86. Exercice 9 : Classes de véhicules sur autoroute
P. 95. Exercice 10 : Cinéma
P. 101. Exercice 11 : Date du lendemain (1)
P. 105. Résumé
P. 107. Chapitre V : Instructions répétitives
P. 107. Exercice 12 : Mécanismes des répétitives
P. 114. Exercice 13 : Moyenne
P. 124. Exercice 14 : Nombre mystère
P. 132. Exercice 15 : Logistique
P. 139. Exercice 16 : Pyramides
P. 148. Exercice 17 : Maximum et son rang
P. 160. Exercice 18 : Relevés de températures
P. 176. Résumé
P. 179. Chapitre VI : Fonctions
P. 179. Exercice 19 : Utilisation et définitions de fonctions
P. 195. Exercice 20 : Triangles
P. 210. Exercice 21 : Contrôle de réponses
P. 221. Exercice 22 : Bus ou taxi ?
P. 229. Exercice 23 : Date du lendemain (2)
P. 236. Résumé
P. 239. Chapitre VII : Procédures
P. 239. Exercice 24 : Figures
P. 251. Exercice 25 : Utilisation de procédures
P. 262. Exercice 26 : Nombre de jours écoulés entre deux dates
P. 274. Exercice 27 : Distributeur de boissons
P. 284. Exercice 28 : Théâtre (1)
P. 296. Résumé
P. 299. Chapitre VIII : Tableaux
P. 299. Exercice 29 : En sens inverse
P. 305. Exercice 30 : Centrage de données
P. 317. Exercice 31 : Primes
P. 329. Exercice 32 : Classes d'âge
P. 339. Exercice 33 : Lexique d'un texte
P. 350. Exercice 34 : Gestion d'une liste
P. 366. Exercice 35 : Théâtre (2)
P. 381. Résumé
P. 383. Chapitre IX : Mise en oeuvre
P. 383. 1 - Comment passer d'un algorithme à un programme
P. 385. 2 - Conseils pour tester un programme
P. 389. Conclusion
P. 391. Glossaire
Premiers pas en algorithmique : de l'énoncé à la solution : exercices analysés, corrigés et commentés [texte imprimé] / Tartier, Annie, Auteur ; Alain Vailly, Auteur . - Paris : Ellipses, 2014 . - X-396 p.. - (Technosup) .
ISBN : 978-2-340-00125-1
La 4e de couv. indique : "Un livre indispensable à qui veut ancrer sa pratique de la programmation sur une base algorithmique solide. Alors qu'il existe deux grandes catégories de livres : les manuels de cours et les recueils d'exercices corrigés, le présent ouvrage est un peu différent. Pour encourager une approche plus active, les notions de cours sont présentées, non pas a priori, mais a posteriori lorsque le lecteur, confronté aux problèmes, a eu l'occasion de se poser des questions. Il se trouve alors beaucoup plus réceptif aux explications et aux réponses qui lui sont fournies. Des exercices ont été choisis pour couvrir toutes les notions d'algorithmique que doit maîtriser un débutant. Ces exercices sont regroupés en chapitres thématiques. Chaque exercice est l'occasion d'expliquer une ou plusieurs notions essentielles. Après une brève introduction justifiant le choix de l'exercice, le «corps» de l'exercice commence par une analyse de l'énoncé, et en extrait, peu à peu, les idées à mettre en oeuvre pour aller vers une ou plusieurs solutions expliquées pas à pas, comparées et discutées. Enfin, une partie «Que faut-il retenir ?» reprend et explique, de manière plus générale, les notions d’algorithmique qui ont été appliquées. Chaque chapitre se termine par un résumé dans lequel sont mis en évidence les enseignements à tirer du travail réalisé"
Langues : Français
Catégories : Techniques
Techniques:InformatiqueMots-clés : Algorithmes Langages de programmation Instructions Elémentaires Instructions de Choix Instructions Répétitives Fonction Procédures. Index. décimale : 005 - Programmation Note de contenu : P. i. Avant-propos
P. v. Table des matières
P. vii. Avertissement au lecteur
P. vii. 1 - Conventions typographiques
P. ix. 2 - Ordre de lecture
P. 1. Chapitre I : Introduction et conseils au lecteur
P. 1. 1 - Place de l'algorithmique dans le développement logiciel
P. 10. 2 - Conseils pour concevoir et vérifier un algorithme
P. 27. Chapitre II : Langage algorithmique
P. 28. 1 - Conventions typographiques utilisées dans les algorithmes
P. 29. 2 - Structure d'un algorithme
P. 30. 3 - Règles d'écriture des identificateurs
P. 30. 4 - Types
P. 31. 5 - Constantes intrinsèques
P. 31. 6 - Fonctions et opérateurs prédéfinis
P. 33. 7 - Instructions élémentaires
P. 35. 8 - Instructions structurées
P. 37. 9 - Fonctions et procédures
P. 40. 10 - Liste de mots réservés
P. 40. 11 - Un exemple
P. 43. Chapitre III : Instructions élémentaires
P. 43. Exercice 1 : Trace d'exécution
P. 48. Exercice 2 : Convertisseur de températures
P. 51. Exercice 3 : Échange et permutation
P. 54. Exercice 4 : Cumul
P. 58. Résumé
P. 59. Chapitre IV : Instructions de choix
P. 59. Exercice 5 : Conditionnelles imbriquées et en séquence
P. 64. Exercice 6 : Maxima
P. 73. Exercice 7 : Parking courte durée
P. 78. Exercice 8 : Machine à affranchir
P. 86. Exercice 9 : Classes de véhicules sur autoroute
P. 95. Exercice 10 : Cinéma
P. 101. Exercice 11 : Date du lendemain (1)
P. 105. Résumé
P. 107. Chapitre V : Instructions répétitives
P. 107. Exercice 12 : Mécanismes des répétitives
P. 114. Exercice 13 : Moyenne
P. 124. Exercice 14 : Nombre mystère
P. 132. Exercice 15 : Logistique
P. 139. Exercice 16 : Pyramides
P. 148. Exercice 17 : Maximum et son rang
P. 160. Exercice 18 : Relevés de températures
P. 176. Résumé
P. 179. Chapitre VI : Fonctions
P. 179. Exercice 19 : Utilisation et définitions de fonctions
P. 195. Exercice 20 : Triangles
P. 210. Exercice 21 : Contrôle de réponses
P. 221. Exercice 22 : Bus ou taxi ?
P. 229. Exercice 23 : Date du lendemain (2)
P. 236. Résumé
P. 239. Chapitre VII : Procédures
P. 239. Exercice 24 : Figures
P. 251. Exercice 25 : Utilisation de procédures
P. 262. Exercice 26 : Nombre de jours écoulés entre deux dates
P. 274. Exercice 27 : Distributeur de boissons
P. 284. Exercice 28 : Théâtre (1)
P. 296. Résumé
P. 299. Chapitre VIII : Tableaux
P. 299. Exercice 29 : En sens inverse
P. 305. Exercice 30 : Centrage de données
P. 317. Exercice 31 : Primes
P. 329. Exercice 32 : Classes d'âge
P. 339. Exercice 33 : Lexique d'un texte
P. 350. Exercice 34 : Gestion d'une liste
P. 366. Exercice 35 : Théâtre (2)
P. 381. Résumé
P. 383. Chapitre IX : Mise en oeuvre
P. 383. 1 - Comment passer d'un algorithme à un programme
P. 385. 2 - Conseils pour tester un programme
P. 389. Conclusion
P. 391. Glossaire
Réservation
Réserver ce document
Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 00004345 005.1 TAR Livre Bibliothèque UIR Ecole Supérieure d'Informatique & du Numérique Exclu du prêt 00004346 005.1 TAR Livre Bibliothèque UIR Ecole Supérieure d'Informatique & du Numérique Disponible 00004347 005.1 TAR Livre Bibliothèque UIR Ecole Supérieure d'Informatique & du Numérique Disponible 00004348 005.1 TAR Livre Bibliothèque UIR Ecole Supérieure d'Informatique & du Numérique Disponible Spécification des logiciels : deux exemples de pratiques récentes : Z et UML / Alain Vailly
Permalink