• 进展

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

  • 引用49篇文章[sw04449]
  • 属性图语法系统:AGG是一个。。。
  • 罗丹

  • 引用79篇文章[sw07083]
  • Rodin平台是一个基于Eclipse的IDE。。。
  • OEIS

  • 引用3281篇文章[sw07248号]
  • 整数序列的在线百科全书。这个。。。
  • VPM公司

  • 参考11篇文章[sw07364]
  • VPM:一个可视化的、精确的、多层次的元建模框架。。。
  • 促进

  • 在174篇文章中引用[sw09223]
  • Boost提供免费的同行评审的便携式C++源代码。。。
  • 变身

  • 参考11篇文章[sw10085]
  • 亨申:先进的概念和工具到位。。。
  • 蟒蛇

  • 参考1229篇文章[sw14460]
  • Python是一个广泛使用的高级通用。。。
  • 规则合并

  • 引用3篇文章[sw22849]
  • 规则合并:基于可变性的模型转换的自动构造。。。
  • 检验器

  • 引用4篇文章[sw23736]
  • 用于图形转换的Verigraph系统。图形转换。。。