• 雷奥

  • 引用81篇文章[sw06353]
  • 雷奥协调语言。雷奥提出了一个分布式软件组件和服务组合的范例。。。基于移动频道的概念。雷奥实施基于外部渠道的协调模型。。。更简单的。应用程序设计者可以使用雷奥作为一种用于构图的“粘合代码”语言。。。
  • 生命体

  • 引用24篇文章[sw10172]
  • 意大利米兰理工大学(雷奥在法国和埃默里大学。。。
  • 棱镜

  • 引用395篇文章[sw01186]
  • PRISM:概率符号模型检查器。在本文中。。。
  • 琵琶

  • 参考7篇文章[sw01252]
  • 一个同步软件的测试环境我们。。。
  • 歧管

  • 引用了30篇文章[sw02900]
  • 一个控制驱动的转换系统语义。。。
  • 夏普

  • 在38篇文章中引用[sw03100号]
  • 夏普(符号分层自动可靠性和性能评估器。。。
  • CADP

  • 在129篇文章中引用[sw04993]
  • “分布式过程的构造和分析”,以前。。。
  • 莫德

  • 引用655篇文章[sw06233]
  • Maude是一种高性能的反思性语言。。。
  • 阿特根

  • 参考11篇文章[sw07275]
  • ATGen:使用约束逻辑自动生成测试数据。。。
  • 毒蛇

  • 引用4篇文章[sw09423]
  • 视觉托勒密和蒂尼奥斯是一个完整的。。。