Niveau A Approche (éléments, résumés ou travaux dirigés) Initiation, mise à niveau

Niveau B Bases (cours avec exercices et problèmes résolus) IUP - IUT - BTS

Niveau C Compléments (approfondissement, spécialisation) Ecoles d'ingénieurs, Maîtrise

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.

Chacune des parties comprend elle-même :

- une introduction à la problématique générale du domaine,

- une illustration de cette problématique par un langage représentatif : Z pour les spécifications formelles et UML pour la modélisation à objets,

- une présentation des principes des spécifications applicables avec ces langages,

- un complément de notation destiné à approfondir la connaissance de Z ou UML.

La théorie est ici toujours mise au service de la pratique. De très nombreux exemples sont fournis et chaque chapitre est illustré par de nombreux exercices.

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.