首页>外文期刊>经济>Electronic Communications of the EASST >2013年第1期

Electronic Communications of the EASST

中文名称：EASST的电子通讯

ISSN：1863-2122
出版周期：-

发文量：605

期刊论文

热门论文

年度选择

更多>>

全选（0）

共42条结果

1.Edit languages for information trees

机译：编辑信息树的语言
- 作者：Martin Hofmann;Benjamin Pierce;Daniel Wagner
- 期刊名称：《Electronic Communications of the EASST》 | 2013年第1期
2.Gray Box Coverage Criteria for Testing Graph Pattern Matching

机译：测试图形模式匹配的灰盒覆盖标准
- 作者：Martin Wieber;Andy Schürr
- 期刊名称：《Electronic Communications of the EASST》 | 2013年第1期
3.A Survey of Triple Graph Grammar Tools

机译：三重图语法工具概述
- 作者：Stephan Hildebrandt;Leen Lambers;Holger Giese;Jan Rieke;Joel Greenyer;Wilhelm Sch?fer;Marius Lauder;Anthony Anjorin;Andy Schürr
- 期刊名称：《Electronic Communications of the EASST》 | 2013年第1期
4.EMorF - A tool for model transformations

机译：EMorF-模型转换工具
- 作者：Lilija Klassen;Robert Wagner
- 期刊名称：《Electronic Communications of the EASST》 | 2013年第1期
5.Test-Case Generation for SQL Nested Queries with Existential Conditions

机译：存在条件的SQL嵌套查询的测试用例生成
- 作者：Rafael Caballero;José Luzon-Martin;Antonio Tenorio-Fornes
- 期刊名称：《Electronic Communications of the EASST》 | 2013年第1期
6.7th International Workshop on Graph Based Tools (GraBaTs 2012): Preface

机译：第七届基于图形的工具国际研讨会（GraBaTs 2012）：前言
- 作者：Christian Krause;Bernhard Westfechtel
- 期刊名称：《Electronic Communications of the EASST》 | 2013年第1期
7.A Pattern-based Approach for Initial Diagram Layout

机译：基于模式的初始图布局方法
- 作者：Sonja Maier;Mark Minas
- 期刊名称：《Electronic Communications of the EASST》 | 2013年第1期
8.Revealing Missing Bug-Fixes in Code Clones in Large-Scale Code Bases

机译：揭示大型代码库中代码克隆中缺少的错误修复
- 作者：Martin Poehlmann;Elmar Juergens
- 期刊名称：《Electronic Communications of the EASST》 | 2013年第1期
9.A Case Study on Graphically Modelling and Detecting Knowledge Mobility Risks

机译：图形化建模和知识流动风险检测案例研究
- 作者：Mark Micallef;Christian Colombo
- 期刊名称：《Electronic Communications of the EASST》 | 2013年第1期
10.Experimenting the Influence of Numerical Thresholds on Model-based Detection and Refactoring of Performance Antipatterns

机译：实验数值阈值对基于模型的性能反模式检测和重构的影响
- 作者：Davide Arcelli;Vittorio Cortellessa;Catia Trubiani
- 期刊名称：《Electronic Communications of the EASST》 | 2013年第1期
11.The ScenarioTools Play-Out of Modal Sequence Diagram Specifications with Environment Assumptions

机译：带有环境假设的ScenarioTools模态顺序图规范的播放
- 作者：Joel Greenyer;Christian Brenner;Valerio Panzica La Manna
- 期刊名称：《Electronic Communications of the EASST》 | 2013年第1期
12.Visual Modeling and Analysis of EMF Model Transformations Based on Triple Graph Grammars

机译：基于三图语法的EMF模型转换的可视化建模和分析
- 作者：Claudia Ermel;Frank Hermann;Jürgen Gall;Daniel Binanzer
- 期刊名称：《Electronic Communications of the EASST》 | 2013年第1期
13.A Graph Transformational View on Reductions in NP

机译：NP约简的图变换视图
- 作者：Marcus Ermler;Sabine Kuske;Melanie Luderer;Caroline von Totth
- 期刊名称：《Electronic Communications of the EASST》 | 2013年第1期
14.Adding Rule-Based Model Transformation to Modelling Languages in MetaEdit+

机译：在MetaEdit +中将基于规则的模型转换添加到建模语言中
- 作者：Simon Van Mierlo;Hans Vangheluwe
- 期刊名称：《Electronic Communications of the EASST》 | 2013年第1期
15.Lenses for Web Data

机译：Web数据镜头
- 作者：Raghu Rajkumar;Nate Foster;Sam Lindley;James Cheney
- 期刊名称：《Electronic Communications of the EASST》 | 2013年第1期
16.Learning Minimal and Maximal Rules from Observations of Graph Transformations

机译：从图变换的观察中学习最小和最大规则
- 作者：Abdullah M. Alshanqiti;Reiko Heckel;Tamim Khan
- 期刊名称：《Electronic Communications of the EASST》 | 2013年第1期
17.Challenging the Need for Transparency, Controllability, and Consistency in Usable Adaptation Design

机译：挑战可用适应性设计中对透明度，可控性和一致性的需求
- 作者：Romy Kniewel;Christoph Evers;Ludger Schmidt;Kurt Geihs
- 期刊名称：《Electronic Communications of the EASST》 | 2013年第1期
18.Rooted Graph Programs

机译：根图程序
- 作者：Detlef Plump;Christopher Bak
- 期刊名称：《Electronic Communications of the EASST》 | 2013年第1期
19.Preface of Prole 2012

机译：Prole 2012前言
- 作者：María-del-Mar Gallardo
- 期刊名称：《Electronic Communications of the EASST》 | 2013年第1期
20.On Propagation-Based Concurrent Model Synchronization

机译：基于传播的并行模型同步
- 作者：Fernando Orejas;Artur Boronat;Hartmut Ehrig;Frank Hermann;Hanna Sch?lzel
- 期刊名称：《Electronic Communications of the EASST》 | 2013年第1期
21.Keeping Pace with Changes - Towards Supporting Continuous Improvements and Extensive Updates in Manufacturing Automation Software

机译：与时俱进-支持制造业自动化软件中的持续改进和广泛更新
- 作者：Christopher Haubeck;Ireneus Wior;Lars Braubach;Alexander Pokahr;Jan Ladiges;Alexander Fay;Winfried Lamersdorf
- 期刊名称：《Electronic Communications of the EASST》 | 2013年第1期
22.Derivation Languages of Graph Grammars

机译：图文法的衍生语言
- 作者：Nils Erik Flick
- 期刊名称：《Electronic Communications of the EASST》 | 2013年第1期
23.Monitor-Oriented Compensation Programming Through Compensating Automata

机译：通过补偿自动机进行面向监视器的补偿编程
- 作者：Christian Colombo;Gordon J Pace
- 期刊名称：《Electronic Communications of the EASST》 | 2013年第1期
24.Co-Transformation of Type and Instance Graphs Supporting Merging of Types and Retyping

机译：类型和实例图的共变换，支持类型合并和重新键入
- 作者：Florian Mantz;Gabriele Taentzer;Yngve Lamo
- 期刊名称：《Electronic Communications of the EASST》 | 2013年第1期
25.Understanding bidirectional transformations with TGGs and JTL

机译：了解使用TGG和JTL进行的双向转换
- 作者：Romina Eramo;Alessio Bucaioni
- 期刊名称：《Electronic Communications of the EASST》 | 2013年第1期
26.ModGraph - Generating Executable EMF Models

机译：ModGraph-生成可执行的EMF模型
- 作者：Sabine Winetzhammer
- 期刊名称：《Electronic Communications of the EASST》 | 2013年第1期
27.Graph Rewriting with Contextual Refinement

机译：具有上下文细化的图重写
- 作者：Berthold Hoffmann
- 期刊名称：《Electronic Communications of the EASST》 | 2013年第1期
28.A Drill-Down Approach for Measuring Maintainability at Source Code Element Level

机译：在源代码元素级别上测量维护性的深入方法
- 作者：Péter Heged?s;Tibor Bakota;Gergely Ladányi;Csaba Faragó;Rudolf Ferenc
- 期刊名称：《Electronic Communications of the EASST》 | 2013年第1期
29.Overview of Hybrid MANET-DTN Networking and its Potential for Emergency Response Operations

机译：混合MANET-DTN网络概述及其在应急响应中的潜力
- 作者：Christian Raffelsberger;Hermann Hellwagner
- 期刊名称：《Electronic Communications of the EASST》 | 2013年第1期
30.ReConNet: A Tool for Modeling and Simulating with Reconfigurable Place/Transition Nets

机译：ReConNet：使用可重配置的位置/转换网进行建模和仿真的工具
- 作者：Julia Padberg;Marvin Ede;Gerhard Oelker;Kathrin Hoffmann
- 期刊名称：《Electronic Communications of the EASST》 | 2013年第1期
31.Delta Lenses and Opfibrations

机译：Delta镜片和眼镜片
- 作者：Michael Johnson;Robert Rosebrugh
- 期刊名称：《Electronic Communications of the EASST》 | 2013年第1期
32.Special Issue of PPAP 2013: Preface

机译：PPAP 2013特刊：前言
- 作者：Surafel Lemma Abebe;Venera Arnaoudova;Laleh Eshkevari;Aminata Sabane;Wei Wu
- 期刊名称：《Electronic Communications of the EASST》 | 2013年第1期
33.HR* Graph Conditions Between Counting Monadic Second-Order and Second-Order Graph Formulas

机译：计算单子二阶和二阶图公式之间的HR *图条件
- 作者：Hendrik Radke
- 期刊名称：《Electronic Communications of the EASST》 | 2013年第1期
34.Test Case Generation Using Visual Contracts

机译：使用可视合约生成测试用例
- 作者：Olga Runge;Tamim Ahmed Khan;Reiko Heckel
- 期刊名称：《Electronic Communications of the EASST》 | 2013年第1期
35.Invited Talk: Extensions of Graph Transformation Systems for Timed, Continuous, and Probabilistic Behavior

机译：特邀演讲：定时，连续和概率行为的图形变换系统的扩展
- 作者：Holger Giese
- 期刊名称：《Electronic Communications of the EASST》 | 2013年第1期
36.Interactive Strategy-Based Validation of Behavioral Models

机译：基于交互策略的行为模型验证
- 作者：Ralf Teusner;Gregor Gabrysiak;Stefan Richter;Stefan Kleff
- 期刊名称：《Electronic Communications of the EASST》 | 2013年第1期
37.Concatenation and other Closure Properties of Recognizable Languages in Adhesive Categories

机译：胶粘剂类别中可识别语言的串联和其他封闭属性
- 作者：Sebastian Küpper;Barbara K?nig;H.J. Sander Bruggink
- 期刊名称：《Electronic Communications of the EASST》 | 2013年第1期
38.XL4C4D - Adding the Graph Transformation Language XL to CINEMA 4D

机译：XL4C4D-将图转换语言XL添加到CINEMA 4D
- 作者：Ole Kniemeyer;Winfried Kurth
- 期刊名称：《Electronic Communications of the EASST》 | 2013年第1期
39.Preface

机译：前言
- 作者：Michael Zapf;Florian Evers
- 期刊名称：《Electronic Communications of the EASST》 | 2013年第1期
40.Invited Talk: On the Concurrent Semantics of Transformation Systems with Negative Application Conditions

机译：特邀演讲：负应用条件下转换系统的并发语义
- 作者：Andrea Corradini
- 期刊名称：《Electronic Communications of the EASST》 | 2013年第1期
41.Reusing Semantics in Visual Editors: A Case for Reference Attribute Grammars

机译：在视觉编辑器中重用语义：参考属性语法的案例
- 作者：Niklas Fors;G?rel Hedin
- 期刊名称：《Electronic Communications of the EASST》 | 2013年第1期
42.Verifying Total Correctness of Graph Programs

机译：验证图程序的总体正确性
- 作者：Christopher M. Poskitt;Detlef Plump
- 期刊名称：《Electronic Communications of the EASST》 | 2013年第1期

客服邮箱：kefu@zhangqiaokeyan.com

客服微信
服务号