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, consacré aux méthodes et aux techniques de base de la conception des systèmes.
Il n'y a pas encore de discussion sur ce livre
Soyez le premier à en lancer une !
Ce road-movie intimiste est l'une des BD à ne pas manquer en cette rentrée
Découvrez 5 romans en format poche et tentez de les gagner...
Lovecraft comme vous ne l'avez jamais lu, à travers une sélection de lettres qui rend son univers encore plus complexe et fascinant
Des conseils de lecture qui sentent bon la rentrée !
