Vers une intégration utile de notations semi-formelles et formelles : une expérience en UML et Z. Combiner du code avec des spécifications : constructions non déterministes et lambda-calcul, illustrés sur des classes de collections de la bibliothèque Java. Patrons de conception pour des adaptateurs de synchronisation d'objets CORBA. Typage statique des objets concurrents et des acteurs. ©Electre 2025
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.
Paru le : 30/05/2000
Thématique : Généralités traitement informatique
Auteur(s) : Non précisé.
Éditeur(s) :
Lavoisier-Hermès
Collection(s) : Non précisé.
Contributeur(s) : Directeur de publication : Pascal André - Directeur de publication : Roger Rousseau
Série(s) : Non précisé.
ISBN : Non précisé.
EAN13 : 9782746201262
Reliure : Broché
Pages : 122
Hauteur: 24.0 cm / Largeur 16.0 cm
Poids: 230 g
Carte fidélité
Mollat Radio
