Перейти к основному содержанию
Мемориальная библиотека А.П. Ершова
Toggle navigation
Издания
Журналы
Новые поступления
Вы здесь
Главная
ocl
Связанные издания:
A New Type Checking Approach for OCL Version 2.0?
An OCL Extension for Real-Time Constraints
Expressing UML Class Diagrams Properties with OCL
<Java>OCL Based on New Presentation of the OCL-Syntax
Model Driven Engineering Languages and Systems: Proc./15th International Conference, MODELS 2012, Innsbruk, Austria, September 2012
OCL: Syntax, Semantics, and Tools
On the Precise Meaning of OCL Constraints
Statistical Constraints and Verification
The Amsterdam Manifesto on OCL
The Semantics of the OCL Action Clause
Using OCL and UML to Specify System Behavior