• 防抱死制动系统

  • 在26篇文章中引用[sw21211]
  • 设计可执行文件模型分布式面向对象系统. 这个语言结合了高级并发和同步。。。具有函数的并发对象组语言对于建模数据。ABS使用异步方法调用。。。并行面向对象结果的组合模型这是天生的成分。我们讨论中心。。。ABS的问题和形式化的类型系统核心ABS的语义,微积分。。。
  • ACSL公司

  • 引用47篇文章[sw04216]
  • 计算机语言设计用于建模并对其性能进行了评估系统时间描述。。。连续方言系统模拟语言(CSSL),最初由模拟委员会设计。。。
  • 数字

  • 引用46篇文章[sw21227]
  • 数字:A建模 语言全局优化。许多科学和工程应用需要用户。。。找到解决方案系统非线性约束或优化一个非线性函数主题。。。系统非线性约束和所有全局最优解的优化问题。数字是建模 语言...
  • 科卡斯尔

  • 在26篇文章中引用[sw13076]
  • 代数规范语言Casl,考虑到建模 系统就归纳数据类型而言。。。
  • 生物PEPA

  • 在102篇文章中引用[sw01361]
  • 为了处理生物的某些特征模型化学计量学和一般。。。中级的,正式的,生物的组成的表现系统,可以进行不同类型的分析。。。语言. 最后,我们展示了一个生物的翻译模型进入新的语言...
  • 聚合

  • 引用49篇文章[sw04449]
  • 系统 模型基于图形化的软件演化语言基于。。。
  • 安全UML

  • 引用13篇文章[sw01727]
  • 开发安全、分布式系统基于统一建模 语言(UML)。我们的方法。。。安全分布式开发中的生产率系统以及结果的质量系统...
  • 歧管

  • 参考第30条[sw02900]
  • 并行程序设计类语言它管理并发程序之间的交互。基本上,协调。。。基于两级转换系统 模型:第一级用于指定。。。系统,而第二层则捕捉它们之间的相互作用。虽然我们采用了我们的两个层次模型... 面向控制的协调语义语言这一方法对形式化研究具有一定的借鉴意义。。。
  • 喘息IV

  • 引用24篇文章[sw32274]
  • 基于FORTRAN的仿真语言它为建模 系统包括连续。。。
  • 碳化硅

  • 引用4篇文章[SW75196号文件]
  • 卡戎,a建模 语言可重构混合动力系统. 本文描述了建模 语言... 对现有分布式混合系统的重构系统 建模 语言卡隆。目标应用程序域。。。模块化可重构机器人与大规模运输系统. 在很大程度上离开了Charon语法。。。第一个基于混合自动机的形式化建模 语言这也解决了动态重新配置问题。我们开发。。。
  • 如果-2.0

  • 引用46篇文章[sw03303号]
  • 异步系统. 目前,工具箱中包含了关于中间层的专用工具语言(例如编译器。。。分析仪和模型-方格)以及各种规格的前端语言和验证。。。对于复杂系统的自动验证是必需的系统. 最后,工具箱被成功地使用了。。。
  • Scicos公司

  • 引用19篇文章[sw01941]
  • 物理和生物系统. 新的扩展允许生成基于组件的建模电的。。。使用Modelica的液压回路语言...
  • 卡萨迪

  • 引用24篇文章[sw06437]
  • 比代数更灵活建模 语言例如AMPL或GAMS,但更高。。。系统(CAS)实现八种不同口味的自动区分。类似于代数建模 语言...
  • 谦虚

  • 引用了30篇文章[sw01544]
  • 建模 语言,称为谦虚,用于描述离散事件的行为系统. 这个语言合并。。。异常处理-描述复杂系统以构图的方式。另外,谦虚。。。方面。这个语言受流行且用户友好的规范的影响语言比如普罗米拉。。。涵盖的范围非常广泛建模概念,(ii)具有严格的过程代数风格。。。
  • Dymola公司

  • 引用了50篇文章[sw06285]
  • 建模综合与复杂仿真系统用于汽车,航空航天,机器人,工艺。。。Dymola环境使用open Modelica®建模 语言这意味着用户是免费的。。。
  • TALx86

  • 引用了45篇文章[sw34511]
  • Intel IA32(32位80x86平面模型)装配语言因此在处理器上是可执行的。。。比如英特尔奔腾。类型系统对于语言包含一个数字。。。
  • 细胞设计师

  • 引用19篇文章[sw09942]
  • 使用系统生物标记语言(SBML),代表模型生化。。。通过模拟和其他分析包系统生物工作台(SBW)。CellDesigner支持模拟。。。
  • 雷奥

  • 引用81篇文章[sw06353]
  • 实施基于外部渠道的协调模型它定义了设计者如何构建复杂的协调器。。。胶水代码“语言对于协调实例协作行为的连接器的组合构造。。。基于组件的组件或服务系统或者面向服务的应用程序。。。
  • 马斯科特-II

  • 引用18条[sw13053]
  • 对待系统 模型在GPROM中制定建模 语言(PSE有限公司),FORTRAN语言。。。
  • 急流

  • 引用的第38条[sw01249]
  • 基于组件的大型、多功能开发-语言 系统通过使用架构定义作为开发。。。急流采用新的基于事件的执行模型分布的、时间敏感的系统--“定时。。。