首页> 外文OA文献 >Formal Semantics of OCL Messages

【2h】

Formal Semantics of OCL Messages

机译：OCL消息的形式语义

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Flake Stephan; Mueller Wolfgang;
展开▼
作者单位

展开▼
年度 2004
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. OCL 1.4/5 vs. 2.0 Expressions Formal semantics and expressiveness [J] . Maria Victoria Cengarle, Alexander Knapp Software and systems modeling . 2004,第1期

机译：OCL 1.4 / 5与2.0表达式形式语义和表达
2. Formal Validation of Erratic Delegation of Roles with UML and OCL [J] . Saman Shahid Qureshi, Mohsin Memon, Tehseen Hafiz, Indian Journal of Science and Technology . 2018,第31期

机译：使用UML和OCL对角色进行不规则委派的形式验证
3. Formal Validation of Erratic Delegation of Roles with UML and OCL [J] . Saman Shahid Qureshi, Mohsin Memon, Tehseen Hafiz, Indian Journal of Science and Technology . 2018,第31期

机译：使用UML和OCL对角色进行不规则委派的形式验证
4. Extending OCL with Null-References Towards a Formal Semantics for OCL 2.1 [C] . Achim D. Brucker, Matthias P. Krieger, Burkhart Wolff International Conference On Model Driven Engineering Languages And Systems . 2010

机译：向OCL 2.1的正式语义扩展OCL，对正式的语义
5. The Effect of Text Messaging on Formal Writing in English [D] . Tirotta, Rose 2015

机译：短信对英语形式写作的影响
6. How to Constrain and Maintain a Lexicon for the Treatment of Progressive Semantic Naming Deficits: Principles of Item Selection for Formal Semantic Therapy [O] . Jamie Reilly -1

机译：如何限制和维护用于逐步进行语义命名不足的词汇：形式语义疗法的项目选择原则
7. Formal Semantics Of OCL Messages [O] . Stephan Flake, Wolfgang Mueller 2003

机译：OCL消息的形式语义

代理获取

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号