• 米普利布

  • 72篇参考文献[SW06172]
  • 有一个可以翻译的服务器转型这个模型从他们的基本GAMS格式到…服务器也可以用于转型工业模型包含机密信息的。这样变换
  • 沟槽

  • 49篇参考文献[SW09480]
  • 关于简单图的使用建模设计时间、编译时间…图表变换作为基础模型 转型和操作语义学。这需要一个正式的…基金会模型 转型动态语义和验证能力模型 转型结果图转型系统,例如使用模型检查。。。
  • VIATRA2

  • 33篇参考文献[SW03511]
  • 模型 转型VIATRA2框架语言。我们提出模型 转型语言转型图形处理语言模型结合图转型抽象状态机进入…递归图模式与操作模型(例如通用)转型元-转型单向规则模型 变换常用于正式场合模型分析携带…
  • 自动增益控制

  • 49篇参考文献[ SW044 49 ]
  • 并发中的图与康涅狄格ICT检测变换通过对图规则的关键对分析。应用包含图和规则建模在软件中,通过分配…转型基于语义的某些系统模型转型基于软件的演化…
  • ATL语言

  • 22篇参考文献[SW10093]
  • 模型 转型工具在上下文中模型驱动工程,模型是主要的发展…人工制品和模型 变换是应用于最重要的操作之一模型. 一个数字…已经提出,旨在指定模型 变换. 除了软件工程属性之外…本文介绍了ATL:A模型 转型语言及其执行环境…
  • 班德拉

  • 134篇参考文献[SW07663]
  • 使用Bandera工具集模型-检查并发Java软件的属性。Bandera…程序分析,转型和可视化组件设计,以促进实验模型-检查Java源代码…
  • 波形法

  • 127篇参考文献[SW06084]
  • 变换多小波变换复值小波变换各种数据的小波收缩…小波时间序列非平稳多尺度传递函数建模密度估计…
  • UML2合金

  • 13篇参考文献[SW0985]
  • UML2合金:一个挑战模型 变换. 合金是一种正式的语言,已被应用。研究利用模型基于自动化技术转型UML类图…论文展示了挑战性的方面模型 转型起源于……之间的根本区别说明它们的含义模型 转型过程。说明了该方法的有效性。
  • AuM3

  • 32篇参考文献[SW10092]
  • 模型由于形式主义中的信息,可以在形式主义之间自动转换。变换多元形式的自动生成建模工具,形式主义模拟的以他们自己的权利…要处理的工具(创建、编辑、转型,模拟,优化,……模型用相应的形式主义表达。原子…技术和图形文法执行变换在形式主义和其他形式之间…
  • 格根

  • 20篇参考文献[SW038 7]
  • 结构化数据,如需要模型 转型计算机语言学,或现代编译器建设,可比…
  • GEX

  • 32篇参考文献[SW09961]
  • 构建四类动态视觉模型几何变换、轨迹生成、函数图…
  • 动量2

  • 10篇参考文献[SW10025]
  • 形式实时模型 变换在瞬间2中。本文解释了动量矩的形式。模型指定的地方模型 变换. 此外,我们展示了如何存在…就地多域模型 变换在力矩2中支持。我们给出了一个实时的…将形式语义重写为实时模型 变换并展示如何模型
  • PCGET

  • 42篇参考文献[SW01937 ]
  • 提出了一种自动预测建模相关工具转型输入网络法(视网膜)变换在感兴趣的预测因子中,在可能的范围内进行选择性搜索。模型,控制…
  • 惯性矩

  • 22篇参考文献[SW10551 ]
  • 这些特征包括:预测因子的选择,模型变换链式归责模型标准…
  • 调情

  • 17篇参考文献[SW02671]
  • 有许多不同的转型 模型(自由度),它实现了一个通用的…
  • 乔伊特

  • 42篇参考文献[SW21266 ]
  • 用途包括:数据清洗和转型数值模拟、统计建模机器学习和更多…
  • 变身

  • 9篇参考文献[SW10085 ]
  • 就地电动势的工具模型 变换. 日食建模框架(EMF)提供建模就地成套工具变换电动势模型. 亨申转型语言使用模式…电动势验证的形式基础模型 变换. 这个转型概念被证明使用…
  • 四氢呋喃

  • 10篇参考文献[SW358]
  • 模型 变换工具MTT是一组模型 变换基于键合图的工具…
  • 三倍的

  • 21篇参考文献[SW02460]
  • 特别设计用于查询和转化RDF模型. 三重可以看作是接班人。
  • TPoTooCAD

  • 6篇参考文献[SW11769]
  • 工具-TP的MATLAB工具箱模型 变换. 张量积模型 转型算法上下文。使用TP模型 转型可以考虑不同的优化和凸约束。直截了当的一系列操作。TP模型 转型生成两类多面体模型. 首先。。。矩阵和张量。其次,TP模型 转型生成各种凸多面体形式,在其上…