La série Conception des Systèmes d'Information chez Ellipses (en détails ici ou chez Alain)

• P. André and A. Vailly. : Développement de logiciel avec UML2 et OCL Cours et exercices corrigés, Editions Ellipses - 12/2013, 384 pages, ISBN: 9782729883539 (la photo) référence.

  Un ouvrage indispensable à qui veut aller au delà de la simple lecture des notations. Rigoureux sur la notation et pédagogique pour les explications, il s’appuie sur la pratique avec des études de cas et des exercices corrigés qui viennent étayer les points de détail.

• P. André and A. Vailly. Volume 1 : Conception des Systèmes d'Information, Panorama des méthodes et des techniques, Editions Ellipses - 01/2001, 312 pages, ISBN: 2-7298-0479-X (la photo) référence.

  Cet ouvrage est destiné à l'étudiant et au professionnel. Il présente un panorama des principales techniques et méthodes de conception des systèmes d'information.

• P. André and A. Vailly. Volume 2 : Spécification de logiciels, volume 2, Deux exemples de pratiques récentes : Z et UML, Editions Ellipses - 07/2001, 318 pages, ISBN: 2-7298-0774-8 (la photo) référence.

  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.

• P. André and A. Vailly. Volume 3 : Exercices corrigés de conception logicielle, Modélisation de Systèmes d'Information par la pratique, Editions Ellipses - 02/2003, 316 pages, ISBN: 2-7298-1289-X (la photo) référence.

  Cet ouvrage contient les corrigés des exercices du volume 1, des guides méthodologiques et des compléments de cours.

• P. André and A. Vailly. Volume 4 : Exercices corrigés en langage Z, les spécifications formelles par l'exemple., Editions Ellipses - 02/2004, 248 pages, ISBN: 2-7298-1942-8 (la photo) référence.

  Cet ouvrage contient les corrigés des exercices de la partie Z du tome 2, des guides méthodologiques et des compléments de cours.

• P. André and A. Vailly. Volume 5 : Exercices corrigés en UML ; Passeport pour une maîtrise de la notation, Editions Ellipses - 11/2003, 310 pages, ISBN: 2-7298-1725-5 (la photo) référence.

  Cet ouvrage contient les corrigés des exercices de la partie UML du tome 2, des guides méthodologiques et des compléments de cours, notamment sur la vérification/validation. Il constitue une référence pour l'apprentissage d'UML.

La page du livre de CSI ici

• P. André and J.-C. Royer. Chapitre Spécifications formelles dans le développement à objets, Ingénierie objet : Concepts et techniques,, Sous la direction de Chabanne Oussalah, InterEditions/Masson - 1996, ISBN: ISBN 2-7296-0642-4 (la photo)référence.

  Les langages à objets sont maintenant bien installés tant dans l'enseignement que dans l'industrie. Ils donnent lieu à d'importants modèles et méthodes d'ingénierie. Cet ouvrage synthétise les différents modèles, méthodes et langages à objets, offrant ainsi un outil pédagogique qui permettra au lecteur d'approfondir ses connaissances et l'aidera dans le choix des outils existants selon le domaine concerné Public : Concepteurs et développeurs ; Étudiants de maîtrise et DEA en informatique, élèves-ingénieurs.

• P. André and A. Vailly. Chapitre 10 : Développement de logiciel avec UML, Partie 7 de l'ouvrage collectif Piloter les technologies de l’informatique et des télécoms, Sous la direction de Rolande Marciniak, Editions WEKA, 59 pages - 2003 référence.
• P. André and A. Vailly. Chapitre 6 Etudes de cas : Développement de logiciel avec UML,        Partie 2 de l'ouvrage collectif Piloter les technologies de l’informatique et des télécoms, Sous la direction de Rolande Marciniak, Editions WEKA, 56 pages - 2003 référence.