Partial Evaluation of OCL Expressions
Partial Evaluation of OCL Expressions
复制标题
OCL 表达式的部分计算
DOI：
10.1109/models.2017.31
复制
发表时间：
2017
期刊：
影响因子：
--
通讯作者：
Ralf Lämmel
中科院分区：
文献类型：
--
作者：
Bastian Ulke;Friedrich Steimann;Ralf Lämmel
登录
查看更多内容
使用简单流程图语言介绍在线和离线部分评估
DOI：
--
发表时间：
1998
期刊：
Partial Evaluation
影响因子：
--
作者：
J. Hatcliff
通讯作者：
J. Hatcliff
DOI：
--
发表时间：
2001
期刊：
影响因子：
--
作者：
Bernhard Beckert;U. Keller;P. Schmitt
通讯作者：
P. Schmitt
简化 OCL 约束的转换
DOI：
--
发表时间：
2005
期刊：
ACM/IEEE International Conference on Model Driven Engineering Languages and Systems
影响因子：
--
作者：
M. Giese;Daniel Larsson
通讯作者：
Daniel Larsson
OCL 1.4 的形式语义
DOI：
--
发表时间：
2001
期刊：
International Conference on the Unified Modeling Language
影响因子：
--
作者：
M. V. Cengarle;Alexander Knapp
通讯作者：
Alexander Knapp
在基于 SMT 的模型查找中有效转换 OCL 的基础设置属性
DOI：
--
发表时间：
2016
期刊：
ACM/IEEE International Conference on Model Driven Engineering Languages and Systems
影响因子：
--
作者：
Nils Przigoda;R. Wille;R. Drechsler
通讯作者：
R. Drechsler