首页> 外文OA文献 >Toward Bridging the Gap between Formal Semantics and Implementation of Triple Graph Grammars

【2h】

Toward Bridging the Gap between Formal Semantics and Implementation of Triple Graph Grammars

机译：促进正式语义与三重图语法的实施之间的差距

代理获取

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

页面导航

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

著录项

作者
Holger Giese; Stephan Hildebrandt; Leen Lambers;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. Bridging the gap between formal semantics and implementation of triple graph grammars [J] . Holger Giese, Stephan Hildebrandt, Leen Lambers Software and systems modeling . 2014,第1期

机译：缩小形式语义与三元图语法实现之间的差距
2. Multi-amalgamated triple graph grammars: Formal foundation and application to visual language translation [J] . Leblebici Erhan, Anjorin Anthony, Schuerr Andy, Journal of Visual Languages & Computing . 2017,第octa期

机译：多重融合三元图语法：形式基础及其在视觉语言翻译中的应用
3. Formal Modeling and Analysis of Object Oriented Systems using Triple Graph Grammars [J] . Wafa Chama, Allaoua Chaoui, Seidali Rehab International journal of embedded and real-time communication systems . 2015,第2期

机译：使用三图语法的面向对象系统的形式化建模和分析
4. Toward Bridging the Gap between Formal Foundations and Current Practice for Triple Graph Grammars Flexible Relations between Source and Target Elements [C] . Ulrike Golas, Leen Lambers, Hartmut Ehrig, Graph transformations . 2012

机译：试图弥合形式基础之间的差距和三图语法的当前实践源和目标元素之间的灵活关系
5. Formal Semantics and the Psychology of Reasoning: Building new bridges and investigating interactions. [D] . Mascarenhas, Salvador. 2014

机译：形式语义学和推理心理学：建立新的桥梁和研究互动。
6. Eight-Legged Encounters—Arachnids Volunteers and Art help to Bridge the Gap between Informal and Formal Science Learning [O] . Eileen A. Hebets, Melissa Welch-Lazoritz, Pawl Tisdale, 2018

机译：八足En-蜘蛛志愿人员和艺术帮助弥合非正式和正式科学学习之间的鸿沟
7. Bridging the Gap between Modeling of Mobile Agent-based Systems and Semantic Web using Meta-Modeling and Graph Grammars [O] . Aissam Belghiat, Allaoua Chaoui, Ali Aldahoud 2015

机译：使用元建模和图语法促进移动代理的系统和语义网络建模之间的差距
8. Tokens and Signals: Bridging the Semantic Gap between Dataflow Models and Hardware Implementations. [R] . Tripakis, S., Limaye, R., Ravindran, K., 2012

机译：令牌和信号：弥合数据流模型和硬件实现之间的语义差距。

Toward Bridging the Gap between Formal Semantics and Implementation of Triple Graph Grammars

著录项

引文网络

相似文献

相关主题

期刊订阅