Exploració per tema "Llenguatges de programació -- Construcció"
Ara es mostren els items 1-1 de 1
-
Logic foundations of the OCL modelling language
(Springer, 2014)
Comunicació de congrés
Accés restringit per política de l'editorialIn this paper we define the first-order fragment of the Object Constraint Language (OCL), the declarative language for describing rules that apply to conceptual schemas in the Unified Modelling Language (UML). This fragment ...