2 parties comprenant chacune : 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 de spécifications applicables avec ses langages, un complément de notation destiné à approfondir la connaissance de Z ou UML. ©Electre 2025
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 :
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.
Paru le : 03/07/2001
Thématique : Informatique Etudiant
Auteur(s) : Auteur : Pascal André Auteur : Alain Vailly
Éditeur(s) :
Ellipses
Collection(s) : Technosup
Série(s) : Non précisé.
ISBN : Non précisé.
EAN13 : 9782729807740
Reliure : Broché
Pages : 317
Hauteur: 26.0 cm / Largeur 18.0 cm
Épaisseur: 2.0 cm
Poids: 680 g
Carte fidélité
Mollat Radio
