Object Constraint Language (OCL): A Definitive Guide

Jordi Cabot 1 Martin Gogolla 2, 3
1 ATLANMOD - Modeling Technologies for Software Production, Operation, and Evolution
LINA - Laboratoire d'Informatique de Nantes Atlantique, Département informatique - EMN, Inria Rennes – Bretagne Atlantique
Type de document :
Chapitre d'ouvrage
Marco Bernardo, Vittorio Cortellessa, Alfonso Pierantonio. Formal Methods for Model-Driven Engineering - 12th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, 7320, Springer, pp.58-90, 2012, Lecture Notes in Computer Science
Liste complète des métadonnées

https://hal.inria.fr/hal-00755009
Contributeur : Jordi Cabot <>
Soumis le : mardi 20 novembre 2012 - 12:56:06
Dernière modification le : vendredi 22 juin 2018 - 09:32:22

Identifiants

  • HAL Id : hal-00755009, version 1

Citation

Jordi Cabot, Martin Gogolla. Object Constraint Language (OCL): A Definitive Guide. Marco Bernardo, Vittorio Cortellessa, Alfonso Pierantonio. Formal Methods for Model-Driven Engineering - 12th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, 7320, Springer, pp.58-90, 2012, Lecture Notes in Computer Science. 〈hal-00755009〉

Partager

Métriques

Consultations de la notice

379