• Matlab语言

  • 参考11784篇文章[sw00558号]
  • 数据,开发算法,创建模型和应用程序。这个语言、工具和内置数学。。。比使用电子表格或传统编程更快语言,例如C/C++或Java。。。通信、图像和视频处理、控制系统测试与测量,计算金融和计算生物学。。。
  • ACL2

  • 引用276篇文章[sw00060]
  • 两个程序语言你可以模型计算机系统还有一个工具。。。
  • 团结

  • 引用了173篇文章[sw13461]
  • 计算统一性模型,规格语言还有证据系统由钱迪和米斯拉定义。。。分布式程序——作为仿真平台模型规范和分析。我们描述一个统一体。。。
  • 抱怨

  • 引用374篇文章[sw00610]
  • 你的模型. NAG库可用于许多编程语言... 许多平台和操作系统. 有关更具体的产品信息、库内容和可用性,请单击。。。
  • 发电机

  • 引用250篇文章[sw01227]
  • 动态的模型)只是一个模拟语言以及在系统动力学。。。
  • PERL公司

  • 引用260篇文章[sw01225]
  • 在C语言中编程语言或者一个贝壳。而这。。。操作系统,Perl运行在其他几个操作上系统,并提供了一个模型...
  • 朱莉娅

  • 在227篇文章中引用[sw13986]
  • 编程语言技术。基于泛型函数和富类型的设计系统同时。。。支持表达式编程模型和成功的类型推理,导致良好的性能。。。
  • 莫代利卡

  • 引用87篇文章[sw04352]
  • 可用,面向对象语言对于建模大型的,复杂的,异质的系统. 它很适合。。。
  • 比查姆

  • 引用了40篇文章[sw09927]
  • 系统生物学,具有一些独特的静态分析或推断未知的特征模型参数。。。组成:基于规则的语言对于建模生物化学系统(与SBML兼容);多个模拟器。。。基于语言形式化生物的时间特性系统并验证模型带着。。。
  • 系统C

  • 引用41篇文章[sw07807]
  • 实际应用语言对于建模真实的系统. 丰富的例子和下载。。。通过系统中更精细的点语言. 这项工作提供了:一个步骤。。。
  • 系统建模语言

  • 参考22篇文章[sw09155]
  • 相关的规范和资源系统 建模 语言(SysML)开源规范项目,创建于。。。
  • 帕穆德

  • 引用了29篇文章[sw08422]
  • 基于重写的规范语言对于建模概率并发分布系统. 这个语言,基于。。。编程语言. 此外,我们提供工具支持来执行离散事件模拟模型写的。。。统计分析模型根据生成的样本。。。分布式和并发通信协议可以模型化使用参与者(具有异步消息的并发对象。。。
  • 米兰达

  • 引用文章150篇[sw04986]
  • 模型化在那些早期的语言SASL和KRC。到达系统...
  • LISP-STAT公司

  • 参考文献115篇[sw01111]
  • 活动窗口系统界面是动态图形的基础系统这是设计的。。。系统,X窗口系统,以及Microsoft Windows。基于原型的面向对象程序设计系统...系统并允许定制和调整。面向对象程序设计系统... 线性的模型. 许多方面系统设计灵感来自语言...
  • 摩泽尔

  • 引用23条[sw30205]
  • 计算机、通信和制造业系统. 这个建模 语言是摩泽尔的中心部分。。。
  • 莫比乌斯

  • 引用24篇文章[sw04098]
  • 科学家代表他们系统在里面建模 语言适合他们的问题领域,然后。。。
  • 兔子

  • 引用24篇文章[sw01317]
  • 实时检查工具系统. 这个建模 语言用时间自动机扩展。。。
  • 科学实验室

  • 参考第166条[sw00834]
  • 功能。它有一个高级编程语言允许访问高级数据结构。。。执行数据分析和建模控制系统设计与分析:标准算法和工具。。。
  • 琳达

  • 在102篇文章中引用[sw09427]
  • 分布式程序设计语言这是为了系统通常在分布式环境下编程。。。特别的。它不同于以前的进程间通信模型在指定要添加的消息时。。。新的语言琳达,那是围绕它建造的。琳达。。。
  • 普罗梅拉

  • 引用了30篇文章[sw07635]
  • 高级规范语言对于建模分布式交互系统,以及表达逻辑正确性。。。这样的互动。这个模型checker SPIN接受在此编写的规范语言... 属性在给定的系统,或者生成一个反例来说明。。。