• 雷奥

  • 引用85篇文章[sw06353]
  • 组件或服务成分-基于 系统或者面向服务的应用程序。。。
  • ASF+SDF公司

  • 引用了35篇文章[sw11316]
  • 元环境:A成分-基于语言发展环境。AS+SDF元环境。。。系统用于构造语言定义并为其生成工具。多年来,这个系统... COBOL转换的形式化程序操作系统. 由于现有的实施。。。全新的,成分-基于版本。我们展示了这个新的系统强调它的开放式架构。。。
  • 急流

  • 在38篇文章中引用[sw01249]
  • 分布式多语言系统. 这项技术是基于新一代计算机语言。。。大规模系统. 急流旨在支持成分-基于发展大型、多语言。。。
  • 如果-2.0

  • 引用46篇文章[sw03303号]
  • 验证环境成分-基于实时系统人们普遍认为自动化。。。
  • 找不同

  • 引用15篇文章[sw00200]
  • 成分法验证成分-基于 系统用BIP语言描述,包含多个。。。
  • 合成

  • 引用8篇文章[sw00944]
  • 自动装配正确分布组件-基于 系统. 合成是自动装配的工具。。。正确且分布成分-基于 系统. 在我们的上下文中,一个系统当。。。
  • 卡塔布兰卡

  • 引用8篇文章[sw01546]
  • 卡塔布兰卡-一个纯粹的爪哇,成分-基于 系统非结构耦合非线性物理模拟工具。。。更新。本文描述了一个成分-基于非线性物理系统仿真原型包完全写。。。
  • CTL公司

  • 在10篇文章中引用[sw06766号]
  • 模板库实现分布式成分-基于软件系统. 这个中间件是。。。
  • 苹果汁

  • 引用4篇文章[sw00126]
  • 送苹果酒。苹果酒是普通的成分-基于 系统它的设计很容易。。。转型系统用于指定图表操作。苹果酒的主要创新在于成分-基于接近。。。
  • 路径

  • 引用4篇文章[sw21581]
  • 分形结构的可靠重构。组件-基于 系统必须支持动态重新配置以适应。。。
  • FScript

  • 引用4篇文章[sw21582]
  • 分形结构的可靠重构。组件-基于 系统必须支持动态重新配置以适应。。。
  • MIO工作台

  • 引用了29篇文章[sw09762]
  • MIOs)是一种新的规范理论系统通过输入和输出进行通信。方法。。。自动机,两个主要的规范理论成分-基于设计。本文介绍了MIO工作台。。。
  • JComp公司

  • 1条引用[sw30247]
  • 改造现有系统变成一个成分-基于 系统.基于关于自动控制阶级。。。增量识别可重用性的新技术组件在一个低成本但高精度。。。面向对象的现有系统进入之内成分-基于 系统...
  • FACTum公司

  • 引用2篇文章[sw30951]
  • 支持验证的框架成分-基于 系统结合模型检验和交互定理。。。
  • 风投

  • 1条引用[sw29446]
  • 的验证程序成分-基于 系统. 本文介绍了VCS验证工具。。。
  • VisBench公司

  • 1条引用[sw00998]
  • 太字节数据服务器。VisBench是一家成分-基于 系统为了可视化和分析这个遥控器。。。
  • 开梅塔

  • 1条引用[sw09392]
  • 网络物理工具链系统模型-和成分-基于设计带来了巨大的增长。。。复杂网络物理的设计与制造系统(CPS)例如车辆。。。
  • 阿曼达

  • 引用3篇文章[sw13344]
  • 分布式系统用于飞机设计。阿曼达项目a成分-基于框架。。。风冷式涡轮机。除了使用集成系统,MpCCI1库用于耦合。。。
  • X射线

  • 参考6篇文章[sw21003]
  • XASM-一个可扩展的,组件-基于抽象状态机语言。抽象状态机。。。适用于大型规格的写实系统... 提出了。XASM实现了成分-基于模块化概念基于关于外部功能的概念。。。
  • 软CBR

  • 引用4篇文章[sw00887]
  • 逻辑概念灵活,可扩展成分-基于建筑。一个进化算法也被。。。便于优化和维护系统. SOFT-CBR依赖于简单的XML文件。。。