Génie logiciel : spécification des logiciels : deux exemples de pratiques récentes, Z et UML (Broché)

Livres universitaires
Pascal André, Alain Vailly

Date de parution

13/07/2001

Editeur

Ellipses

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 :

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, consacé aux méthodes et aux techniques de base de la conception des systèmes.

Caractéristiques
Auteur(s)	Pascal André, Alain Vailly
EAN	9782729807740
Catégorie produits	universitaire
Rayon	Livre\|Savoirs\|Informatique\|Informatique Professionnels et Entreprises\|Autres Informatique Professionnels et Entreprises
Titre de l'œuvre	Génie logiciel
Format	Broché
Date de parution	13/07/2001
Nombre de pages	317
ISBN	2-7298-0774-8, 978-2-7298-0774-0
Collection	Technosup
Dimensions (cm)	18 x 26 x 2
Editeur	Ellipses
Poids du produit	680 g
Libellé	Génie logiciel : spécification des logiciels : deux exemples de pratiques récentes, Z et UML (Broché)
Thème CLIL	INFORMATIQUE