Skip to Main content Skip to Navigation
Book sections

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
Document type :
Book sections
Complete list of metadata

https://hal.inria.fr/hal-00755009
Contributor : Jordi Cabot <>
Submitted on : Tuesday, November 20, 2012 - 12:56:06 PM
Last modification on : Thursday, March 5, 2020 - 5:47:34 PM

Identifiers

  • 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⟩

Share

Metrics

Record views

489