Introduction à la modélisation orientée objet

Ce livre est une introduction à la modélisation orientée objet et est consacré à la modélisation des structures des systèmes logiciels objets. Il est basé sur le principe "du modèle au code", qui concentre les efforts créatifs au stade de la synthèse du modèle. Lorsque le modèle est synthétisé, la tâche est essentiellement résolue et le code est nécessaire à la "matérialisation" de la solution trouvée. Plus le modèle est spécifié formellement, plus il est facile de l'afficher dans le code du programme. Le livre utilise des outils de modélisation, qui sont une combinaison du langage de modélisation unifié UML et du langage de restriction d'objets OCL, qui sont souvent la norme actuelle du développement de projets logiciels. Le livre s'adresse à deux catégories de lecteurs : (1) les spécialistes qui étudient la modélisation orientée objet comme moyen de développer des modèles formalisés de systèmes peu formalisés ; (2) les programmeurs qui commencent à étudier la programmation orientée objet.