Incremental Evaluation of OCL Constraints-Reference-Cited by-同舟云学术

Incremental Evaluation of OCL Constraints

Published:2006 Issue: Volume: Page:81-95
ISSN:1612-2909
Container-title:Notes on Numerical Fluid Mechanics and Multidisciplinary Design
language:
Short-container-title:

Author:

Cabot Jordi,Teniente Ernest

Publisher

Springer International Publishing

Link

http://link.springer.com/content/pdf/10.1007/11767138_7

Reference18 articles.

1. Lecture Notes in Computer Science;J. Cabot,2004

2. Lecture Notes in Computer Science;J. Cabot,2005

3. Cabot, J., Teniente, E.: Incremental Evaluation of OCL Constraints (extended version). UPC, LSI Research Report, LSI-05-12-R (2005)

4. Cabot, J., Teniente, E.: A Tool for the Incremental Evaluation of OCL Constraints (2006), Available at: www.lsi.upc.edu/~jcabot/research/tools/caise06

5. Cabot, J., Teniente, E.: Transforming OCL Constraints: A Context Change Approach. In: Proc. 21st Annual ACM Symposium on Applied Computing (Model Transformation Track) (2006)

Cited by 24 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Towards Memory-Efficient Validation of Large XMI Models;2023 ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C);2023-10-01

2. Distributed model validation with Epsilon;Software and Systems Modeling;2021-03-25

3. More Than Two Decades of Research on Verification of UML Class Models: A Systematic Literature Review;IEEE Access;2021

4. Parallel Model Validation with Epsilon;Modelling Foundations and Applications;2018

5. Reactive model transformation with ATL;Science of Computer Programming;2017-03