• 雅斯科

  • 参考11篇文章[sw01974]
  • JAsCo是一个先进的方面-面向的编程(AOP。。。
  • 程序

  • 引用了70篇文章[sw02905]
  • 多范式语言程序中的完整性约束。。。
  • 蒂娜

  • 引用42篇文章[sw03280]
  • 蒂娜——抽象空间的构造工具。。。
  • 旋转

  • 引用699篇文章[sw03455]
  • Spin是一个流行的开源软件工具。。。
  • 私人

  • 在602篇文章中引用[sw03484]
  • PVS是一个验证系统:也就是说,一个。。。
  • 访问

  • 引用了60篇文章[sw03704]
  • Microsoft Access,也称为Microsoft Office Access。。。
  • CADP

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

  • 引用652篇文章[sw06233]
  • Maude是一种高性能的反思性语言。。。
  • 雷奥

  • 引用81篇文章[sw06353]
  • Reo协调语言。Reo提供了一个范例。。。
  • BPEL2PN

  • 引用18条[sw06954]
  • BPEL2PN是一个基于Java的编译器,它可以转换。。。
  • 剪辑

  • 引用71篇文章[sw07002]
  • CLIPS-一个强大的开发和交付专家系统。。。
  • 沃夫兰

  • 引用36篇[sw07028]
  • Woflan:一个基于Petri网的工作流分析器。工作流。。。