International Workshop on OCL and Textual Modeling (OCL 2023)

被引：0
|
作者：
Clariso, Robert [1 ]
Hamann, Lars [2 ]
机构：
[1] Universitat Oberta de Catalunya, Spain
[2] Hamburg Univ. of Applied Sciences, Germany
来源：
Proceedings - 2023 ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion, MODELS-C 2023 | 2023年
关键词：
D O I：
10.1109/MODELS-C59198.2023.00070
中图分类号：
学科分类号：
摘要：
引用
收藏
页码：391 / 392
相关论文
共 50 条
  • [31] Should Future Variability Modeling Languages Express Constraints in OCL?
    Batory, Don
    23RD INTERNATIONAL SYSTEMS AND SOFTWARE PRODUCT LINE CONFERENCE(SPLC 2019), VOL B, 2019, : 182 - 182
  • [32] Encoding OCL Data Types for SAT-Based Verification of UML/OCL Models
    Soeken, Mathias
    Wille, Robert
    Drechsler, Rolf
    TESTS AND PROOFS, TAP 2011, 2011, 6706 : 152 - 170
  • [33] OCL and model driven engineering
    Bézivin, J
    Baar, T
    Gardner, T
    Gogolla, M
    Hähnle, RH
    Hussmann, H
    Patrascoiu, O
    Schmitt, PH
    Warmer, J
    UML MODELING LANGUAGES AND APPLICATIONS, 2005, 3297 : 67 - 75
  • [34] CHLORONIOBATES KNB2OCL9 AND CSNB2OCL9
    CHURIKOV.MB
    SMIRNOVA, EK
    VASILKOV.IV
    ZHURNAL NEORGANICHESKOI KHIMII, 1971, 16 (02): : 547 - &
  • [35] Transformation techniques for OCL constraints
    Cabot, J.
    Teniente, E.
    SCIENCE OF COMPUTER PROGRAMMING, 2007, 68 (03) : 179 - 195
  • [36] Optimising OCL Synthesized Code
    Sanchez Cuadrado, Jesus
    MODELLING FOUNDATIONS AND APPLICATIONS (ECMFA 2018), 2018, 10890 : 28 - 45
  • [37] On the precise meaning of OCL constraints
    Hennicker, R
    Hussmann, H
    Bidoit, M
    OBJECT MODELING WITH THE OCL: THE RATIONALE BEHIND THE OBJECT CONSTRAINT LANGUAGE, 2002, 2263 : 69 - 84
  • [38] OCL: The constraint language of the UML
    Warmer, J
    Kleppe, A
    JOURNAL OF OBJECT-ORIENTED PROGRAMMING, 1999, 12 (02): : 10 - +
  • [39] Partial Evaluation of OCL Expressions
    Ulke, Bastian
    Steimann, Friedrich
    Lammel, Ralf
    2017 ACM/IEEE 20TH INTERNATIONAL CONFERENCE ON MODEL DRIVEN ENGINEERING LANGUAGES AND SYSTEMS (MODELS 2017), 2017, : 63 - 73
  • [40] Formalization of UML Composition in OCL
    Chavez, Hector M.
    Shen, Wuwei
    INTERNATIONAL JOURNAL OF SOFTWARE INNOVATION, 2013, 1 (01) : 26 - 40
12345