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

Passer le carrousel d'images

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

    Des millions de
    références en vente


    Cumulez des Tickets
    retrait gratuit en magasin


    Tous vos produits
    à prix E.LECLERC


    Paiements
    100% sécurisés

    Options de livraisons du produit

    Vendu  31€ 5 %
    -5% si retrait en magasin soit 29,45€

    Expédié sous 12 jours

    Options de livraison

    Sélectionnez votre mode de livraison préféré

    Livraison

    Livraison en magasin  OFFERTE  - Prévue entre 23/07/25 et 24/07/25

    Livraison à domicile standard  à partir de 3€  - Prévue entre 24/07/25 et 25/07/25

    Livraison en point relais express dès 13h  à partir de 4,90€  - Prévue le 23/07/25

    Livraison à domicile express dès 18h  à partir de 9,90€  - Prévue le 23/07/25

    Neuf

    Vendu par E.Leclerc

    Quantité
    1
    1 Utilisez les boutons plus et moins ou saisissez directement la quantité désirée