Objet (L'), n° 1(2000). Méthodes formelles pour les objets
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.
Largeur : 16.0 cm
Epaisseur : cm