Genie logiciel specification des logiciels deux exemples de pratiques recentes z et uml

ANDRE VAILLY

livre genie logiciel specification des logiciels deux exemples de pratiques recentes z et uml
EDITEUR : ELLIPSES MARKETING
DATE DE PARUTION : 13/07/01
LES NOTES : Donnez votre avis
à partir de
31,00 €

SYNOPSIS :

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.
0 personne en parle
  • Auteur : ANDRE VAILLY
  • Collection : TECHNOSUP
  • Éditeur : ELLIPSES MARKETING
  • ISBN : 9782729807740
  • Date de parution : 13/07/01
  • Nombre de pages : 316

Format

  • Hauteur : 26.00 cm
  • Largeur : 17.50 cm
  • Poids : 0.68 kg