Génie logiciel : spécification des logiciels. Deux exemples de pratiques récentes : Z et UML

André Pascal ; Vailly Alain
ELLIPSES
31,01 €
Sur commande
EAN : 9782729807740

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.

Nombre de pages 318
Date de parution 13/07/2001
Poids 680g
Largeur 175mm
Plus d'informations
Plus d'informations
EAN 9782729807740
Titre Génie logiciel : spécification des logiciels. Deux exemples de pratiques récentes : Z et UML
Auteur André Pascal ; Vailly Alain
Editeur ELLIPSES
Largeur 175
Poids 680
Date de parution 20010713
Nombre de pages 318,00 €

Pourquoi choisir Molière ?

 
Efficacité et rapidité Commandé avant 16h livré demain
 
Économique et pratique Livraison à domicile dès 5,10 €
 
Facile et sans frais Retrait gratuit en magasin
 
Sécurité et tranquillité Paiement 100 % sécurisé
 
Disponibilité et écoute Contactez-nous sur WhatsApp