喵ID：UnQNTu免责声明

Foundations of Software Science and Computational Structures

软件科学和计算结构基础

基本信息

DOI：
10.1007/978-3-642-19805-2_3
发表时间：
2011
期刊：
影响因子：
--
通讯作者：
Levy P
中科院分区：
文献类型：
--
作者： Levy P研究方向： -- MeSH主题词： --
关键词： --
来源链接：pubmed详情页地址

文献摘要

参考文献（30）
被引文献（20）
Querying UML Models using OCL and Prolog: A Performance Study
使用 OCL 和 Prolog 查询 UML 模型：性能研究
DOI：
发表时间：
2008
期刊：
2008 IEEE International Conference on Software Testing Verification and Validation Workshop
影响因子：
0
作者：
Joanna Chimiak;M. Felderer;C. Lenz;Christian Lange
通讯作者：
Christian Lange
On the complexities of consistency checking for restricted UML class diagrams
受限UML类图一致性检查的复杂性
DOI：
发表时间：
2010
期刊：
Theoretical Computer Science
影响因子：
1.1
作者：
K. Kaneiwa;K. Satoh
通讯作者：
K. Satoh
On The Satisfiability of Dependency Constraints in Entity-Relationship Schemata
实体-关系模式中依赖约束的可满足性
DOI：
发表时间：
1987
期刊：
Very Large Data Bases Conference
影响因子：
0
作者：
M. Lenzerini;P. Nobili
通讯作者：
P. Nobili
Extending Decidable Existential Rules by Joining Acyclicity and Guardedness
通过加入非循环性和防护性来扩展可判定的存在规则
DOI：
发表时间：
2011
期刊：
International Joint Conference on Artificial Intelligence
影响因子：
0
作者：
M. Krötzsch;S. Rudolph
通讯作者：
S. Rudolph

数据更新时间：{{ references.updateTime }}

Levy P
通讯地址:
--
所属机构:
--
电子邮件地址：
--
免责声明免责声明
1、猫眼课题宝专注于为科研工作者提供省时、高效的文献资源检索和预览服务；
2、网站中的文献信息均来自公开、合规、透明的互联网文献查询网站，可以通过页面中的“来源链接”跳转数据网站。
3、在猫眼课题宝点击“求助全文”按钮，发布文献应助需求时求助者需要支付50喵币作为应助成功后的答谢给应助者，发送到用助者账户中。若文献求助失败支付的50喵币将退还至求助者账户中。所支付的喵币仅作为答谢，而不是作为文献的“购买”费用，平台也不从中收取任何费用，
4、特别提醒用户通过求助获得的文献原文仅用户个人学习使用，不得用于商业用途，否则一切风险由用户本人承担；
5、本平台尊重知识产权，如果权利所有者认为平台内容侵犯了其合法权益，可以通过本平台提供的版权投诉渠道提出投诉。一经核实，我们将立即采取措施删除/下架/断链等措施。
我已知晓