Objet (L'), n° 1(2000). Méthodes formelles pour les objets

Objet (L'), n° 1(2000). Méthodes formelles pour les objets

Date de parution : 30/05/2000

Quatrième de couverture :

Pascal André, Roger Rousseau

Editorial

Sophie Dupuy, Yves Ledru, Monique Chabre-Peccoud

Vers une intégration utile de notations semi-formelles et formelles : une expérience en UML et Z. Towards an effective integration of semi-fonnal and formal notations : an experiment with UML and Z.

Anna Mikhajlova

Combining Code with Specifications. How to document and verify frameworks. Combiner du code avec des spécifications. Comment documenter et vérifier des composants logiciels.

H. Arno Jacobsen, Bernd J. Krämer

Design Patterns for Synchronization Adapters of Corba Objects. Patrons de conception pour des adaptateurs de synchronisation d'objets CORBA.

Fabien Dagnat, Marc Pantel, Matthias Colin, Patrick Sallè

Typing Concurrent Objects and Actors. Typage des objets concurrents et des acteurs.

  • Calendrier
  • Consignes auteurs
  • Communiqué de presse
  • Disponible sous 5 à 8 jours
    33,00 €
    Tous les prix incluent la TVA
    Click & collect retrait librairie
    Réservation en ligne, retrait gratuit en librairie
    Ou livraison à domicile
    Ean : 9782746201262
    Format et Reliure : Revue
    Pages : 122
    Hauteur : 24.0 cm
    Largeur : 16.0 cm
    Epaisseur : cm