• 黄疸

  • 1条引用[sw07609]
  • 测试用例中定义的场景。我们的方法主要基于方面-面向的 编程...
  • 艾菲尔

  • 参考105篇文章[sw03522]
  • 埃菲尔铁塔是ISO标准化的对象-面向的 编程...
  • 吉咪

  • 参考文献188篇[sw04597]
  • Java建模语言(JML)是一种行为。。。
  • CADP

  • 在129篇文章中引用[sw04993]
  • “过程和分析”以前是分布式的。。。
  • 班德拉

  • 在134篇文章中引用[sw07663]
  • 使用Bandera工具集进行模型检查。。。
  • 烟灰

  • 在26篇文章中引用[sw09122]
  • 一个Java字节码优化框架。这篇论文。。。
  • 吱吱声

  • 引用13篇文章[sw09134]
  • Squeak是一个现代的,开源的,功能齐全的。。。
  • JBoss

  • 引用49篇文章[sw21835]
  • JBoss®Enterprise Application Platform 7提供了一个创新的。。。