• 自动增益控制

  • 49篇参考文献[ SW044 49 ]
  • 代数通用开发环境图表 转型遵循解释方法的系统。它的特殊…Java对象的类型。 变换可以在这些Java上配备任意计算…工具解释器允许逐步转型属于以及规则应用程序…通过分配一个系统属性图表 转型基于某些系统模型的语义,图表 转型
  • 沟槽

  • 49篇参考文献[SW09480]
  • 面向对象系统的结构,以及图表 变换作为模型的基础转型自动分析结果图表 转型系统,例如使用模型检查…
  • VIATRA2

  • 33篇参考文献[SW03511]
  • 操纵图表组合模型图表 转型将抽象的状态机转换成单个规范…查询(例如递归)图表模式)和操纵模型(例如通用)转型转型规则
  • AuM3

  • 32篇参考文献[SW10092]
  • 形式主义中发现的信息变换 (FTG),作者提出的…生成自定义工具进行处理(创建、编辑、转型模型,模拟,优化,…)模型表示在相应的…图表改写技巧与图表语法执行变换在形式主义之间…
  • 格根

  • 20篇参考文献[SW038 7]
  • GNET是一个编程工具图表 转型减轻了转型复杂的图表结构化数据,如模型中所要求的转型计算机语言学,或现代编译器建设,可比…持久的数据存储和查询任务。重写是高层次的…
  • 图形变换基准

  • 11篇参考文献[SW04099 ]
  • 转型基准基准在选择过程中具有关键作用。使用多个参数组合进行测量)。 转型提供基于模式和规则的操作…图表可以使用基于模型,图表 转型可以认为是一种广泛适用的…然而,尽管种类繁多图表 转型工具(AGG,Fujaba,伟大,凹槽,Prgice,Viatra…
  • 迭戈

  • 13篇参考文献[SW02178]
  • 迈向模块概念图表 转型系统迭戈图表 转型系统提供手段…定义遵循分布线图表 转型从而允许分布式系统的规范…目标适应先前提出的建议图表语法模块概念及其应用图表模型
  • GXL

  • 18篇参考文献[SW1679]
  • 通过重组和批准图表 转型研究社区正在考虑采用…
  • 达特尔

  • 28篇参考文献[ SW0877]
  • 语言可以描述为图表重写变换使用DACTL表示法。这是紧随其后的…
  • 占卜2

  • 12篇参考文献[SW08403]
  • 分析工具图表 转型系统我们描述的设计和目前…可分析的工具图表 转型系统通过Petri网逼近它们。主要的…
  • 莫隆

  • 9篇参考文献[SW06922]
  • 符合标准的元模型框架图表 变换. 模型驱动体系结构的关键点…提供元模型定义、分析的统一支持,转型和整合。在本文中,我们提出…一起最新的OMG标准图表 变换以及它们的形式语义。莫隆提供…
  • 同意

  • 8篇参考文献[SW23 738 ]
  • 嵌入。几种代数方法图表 转型在文献中提出的所有保证…与上下文的连接图表嵌入的地方。但是有一些应用…经典代数方法的推广图表 转型对于MICIC火柴的情况,在哪里…
  • 虚拟样机

  • 11篇参考文献[SW07364]
  • 可调度性、性能和时间。然而,这样变换不同的语义域通常需要深层次的…基于精化演算图表 转型其中结构和操作语义…
  • 校验VML

  • 11篇参考文献[SW0942]
  • 通过元建模和可视化定义语言图表 转型技法我们的工具首先翻译这么高…
  • 液化石油气

  • 12篇参考文献[SW20690]
  • 计划搜索步骤是确定的。图表修改转化行动图表进入另一个…
  • 动量2

  • 10篇参考文献[SW10025]
  • 将形式语义重写为实时模型变换并展示模型…在Eclipse建模框架中使用图表 转型重写逻辑技术。我们说明…
  • 变身

  • 9篇参考文献[SW10085 ]
  • 语言有其根源图表 变换为验证提供了一个正式的基础…
  • 检影机

  • 4篇参考文献[SW23 736]
  • 绘图系统图表 转型. 转型(GT)是一个基于规则的框架,适用于…理论结果的多重实例化图表喜欢结构(如标记或属性)Petri网,甚至转型规则本身。存在…在系统内,使用二阶图表 转型作为一个例子。最后,我们比较…
  • 格拉格拉

  • 3篇参考文献[SW16822]
  • 转型三维有限元建模系统在本文中…目前几种图表 转型系统建模三维H自适应有限元法…网格运算由图表 转型规则图表 转型系统负责…运营特别是,有一个图表 转型表示初始网格生成的系统…