Bibliothèque de Faculté des mathématiques et de l'informatique
Détail de l'auteur
Auteur Alain Vailly |
Documents disponibles écrits par cet auteur (5)
Affiner la recherche Interroger des sources externes
Titre : Conception des systèmes d'information : Panorama des méthodes et des techniques ; génie logiciel Type de document : texte imprimé Auteurs : Pascal André, Auteur ; Alain Vailly, Auteur Editeur : Paris : Ellipses Année de publication : 2001 Collection : Technosup (Paris), ISSN 1275-3955 Importance : 312 p. Présentation : ill., couv. ill. Format : 26 cm. ISBN/ISSN/EAN : 2-7298-0479-X Note générale : Bibliogr. p. 301-304. Index. Langues : Français (fre) Index. décimale : 08-04-Architecture et théorie des ordinateurs Résumé : Niveau 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.
Sommaire
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.Conception des systèmes d'information : Panorama des méthodes et des techniques ; génie logiciel [texte imprimé] / Pascal André, Auteur ; Alain Vailly, Auteur . - Paris : Ellipses, 2001 . - 312 p. : ill., couv. ill. ; 26 cm.. - (Technosup (Paris), ISSN 1275-3955) .
ISBN : 2-7298-0479-X
Bibliogr. p. 301-304. Index.
Langues : Français (fre)
Index. décimale : 08-04-Architecture et théorie des ordinateurs Résumé : Niveau 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.
Sommaire
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.Réservation
Réserver ce document
Exemplaires (2)
Code-barres Cote Support Localisation Section Disponibilité 555 08-04-2037 Livre Bibliothèque de faculté d'informatique et mathématique Informatique Disponible 166163 08-04-2037 Livre Bibliothèque de faculté d'informatique et mathématique Informatique 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 : Ellipses Année de publication : 2013 Collection : Technosup (Paris), ISSN 1275-3955 Importance : 378 p. Présentation : ill., couv. ill. en coul. Format : 26 cm. ISBN/ISSN/EAN : 978-2-7298-8353-9 Note générale : Bibliogr. p. 369-374. Index. Langues : Français (fre) Index. décimale : 08-02 Logiciels et programmation 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 : Ellipses, 2013 . - 378 p. : ill., couv. ill. en coul. ; 26 cm.. - (Technosup (Paris), ISSN 1275-3955) .
ISBN : 978-2-7298-8353-9
Bibliogr. p. 369-374. Index.
Langues : Français (fre)
Index. décimale : 08-02 Logiciels et programmation Réservation
Réserver ce document
Exemplaires (2)
Code-barres Cote Support Localisation Section Disponibilité 614 08-02-2273 Livre Bibliothèque de faculté d'informatique et mathématique Informatique Disponible 615 08-02-2273 Livre Bibliothèque de faculté d'informatique et mathématique Informatique 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 : Ellipses Année de publication : 2004 Collection : Technosup (Paris), ISSN 1275-3955 Importance : 243 p. Présentation : ill., couv. ill. Format : 26 cm. ISBN/ISSN/EAN : 2-7298-1942-8 Note générale : Bibliogr. p. 231. Index. Langues : Français (fre) Index. décimale : 08-02 Logiciels et programmation 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 : Ellipses, 2004 . - 243 p. : ill., couv. ill. ; 26 cm.. - (Technosup (Paris), ISSN 1275-3955) .
ISBN : 2-7298-1942-8
Bibliogr. p. 231. Index.
Langues : Français (fre)
Index. décimale : 08-02 Logiciels et programmation Réservation
Réserver ce document
Exemplaires (2)
Code-barres Cote Support Localisation Section Disponibilité 159212 08-02-1435 Livre Bibliothèque de faculté d'informatique et mathématique Informatique Disponible 554 08-02-2305 Livre Bibliothèque de faculté d'informatique et mathématique Informatique Disponible
Titre : Génie logiciel : Spécification des logiciels, deux exemples deux exemples de pratiques récentes: Z et UML Type de document : texte imprimé Auteurs : Pascal André, Auteur ; Alain Vailly, Auteur Editeur : Ellipses Année de publication : 2001 Collection : Technosup les filières technologiques des enseignements supérieurs Importance : 317 p. Présentation : ill., couv. ill. Format : 26 cm. ISBN/ISSN/EAN : 978-2-7298-0774-0 Note générale : Bibliogr. p. 305-310. index. Langues : Français (fre) Index. décimale : 08-01 Informatique générale Génie logiciel : Spécification des logiciels, deux exemples deux exemples de pratiques récentes: Z et UML [texte imprimé] / Pascal André, Auteur ; Alain Vailly, Auteur . - Ellipses, 2001 . - 317 p. : ill., couv. ill. ; 26 cm.. - (Technosup les filières technologiques des enseignements supérieurs) .
ISBN : 978-2-7298-0774-0
Bibliogr. p. 305-310. index.
Langues : Français (fre)
Index. décimale : 08-01 Informatique générale Réservation
Réserver ce document
Exemplaires (3)
Code-barres Cote Support Localisation Section Disponibilité 2123 08-01-2005 Livre Bibliothèque de faculté d'informatique et mathématique Informatique Disponible 197228 08-01-2005 Livre Bibliothèque de faculté d'informatique et mathématique Informatique Disponible 117277 08-02-1363 Livre Bibliothèque de faculté d'informatique et mathématique Informatique Disponible
Titre : Premiers pas en algorithmique : De l'énoncé à la solution ; exercices analysés, corrigés et commentés Type de document : texte imprimé Auteurs : Annie Tartier, Auteur ; Alain Vailly, Auteur Editeur : Paris : Ellipses Année de publication : 2014 Collection : Technosup (Paris), ISSN 1275-3955 Importance : 396 p. Présentation : ill., couv. ill. en coul. Format : 26 cm. ISBN/ISSN/EAN : 978-2-340-00125-1 Note générale : Glossaire. Langues : Français (fre) Index. décimale : 08-06-Algorithme Résumé : 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é. Premiers pas en algorithmique : De l'énoncé à la solution ; exercices analysés, corrigés et commentés [texte imprimé] / Annie Tartier, Auteur ; Alain Vailly, Auteur . - Paris : Ellipses, 2014 . - 396 p. : ill., couv. ill. en coul. ; 26 cm.. - (Technosup (Paris), ISSN 1275-3955) .
ISBN : 978-2-340-00125-1
Glossaire.
Langues : Français (fre)
Index. décimale : 08-06-Algorithme Résumé : 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é. Réservation
Réserver ce document
Exemplaires (3)
Code-barres Cote Support Localisation Section Disponibilité 1053 08-06-2023 Livre Bibliothèque de faculté d'informatique et mathématique Informatique Disponible 1054 08-06-2023 Livre Bibliothèque de faculté d'informatique et mathématique Informatique Disponible 1055 08-06-2023 Livre Bibliothèque de faculté d'informatique et mathématique Informatique Disponible
