• 在14篇文章中引用[sw12372]
  • 生化系统语言:设计与正式的 规范. 本文介绍了一种生物化学语言。。。通过实例说明其特点。A正式的 规范然后通过。。。
  • 栅栏

  • 引用19篇文章[sw09939]
  • 重新排序。CheckFence不需要正式的 规格或注释,但挖掘规范直接来自。。。
  • 爪哇拖把

  • 引用18条[sw14034]
  • 基本原则。表达性要求规范 形式主义可以通过逻辑插件包含在框架中。。。
  • 帕穆德

  • 引用了29篇文章[sw08422]
  • 对象系统。我们介绍一种基于重写的规范概率并发和分布式建模语言。。。基于PMaude,既有严格的正式的基础和特点高。。。模块辅助写作规格在概率因素中形式主义. 这让我们可以很容易地写。。。
  • 岛民

  • 在14篇文章中引用【sw20843】
  • 采取一个可证实的立场正式的 规范在开始开发之前。。。
  • 射击类游戏

  • 引用21篇文章[sw07274]
  • 自动从规格. 该工具实现了一致性测试技术。。。把他们自己的神谕正式的操作的规格. 它是用来测试。。。
  • LTSA-WS

  • 引用13篇文章[sw10585]
  • 开发环境为规范,正式的组成的建模、验证和验证。。。
  • 安娜

  • 在10篇文章中引用[sw36323]
  • 编程使用规格. 介绍一种用于指定Ada程序的语言ANNA。这个参考。。。注释,以便正式的方法规范文档可以应用于。。。构造任务除外。类似的扩展正式的 规范也可以做成其他的算法。。。测试、调试和正式的验证一个已完成的程序,而且规范程序部分的。。。
  • 捷克币

  • 参考12篇文章[sw05782]
  • 编辑、类型检查和动画制作正式的 规格用Z写的规范语言。此外。。。
  • 法尔科

  • 参考11篇文章[sw04839]
  • 代码是从正式的 规范和手写的C++代码一起编译。。。
  • VPM公司

  • 参考11篇文章[sw07364]
  • 数学,这妨碍了正式的 规范工业应用技术。在报纸上。。。
  • Java MaC电脑

  • 在10篇文章中引用[sw20000]
  • 相对于a正确运行正式的要求规范通过监视和检查执行情况。。。时间。MaC弥补了正式的验证,确保设计的正确性。。。系统的正确性。使用正式的要求规格运行时监视和检查。。。建筑。MaC是轻量级的正式的方法解决方案作为可行的补充。。。
  • 定理证明器

  • 引用191篇文章[sw10187]
  • 逻辑与平等。它接受一个问题规范,通常由许多第一个。。。系统将尝试查找正式的假设公理。。。
  • 迪斯科

  • 参考7篇文章[sw10393]
  • 协助分析和理解正式的 规格并且能够使用严格的技术。。。给出了工具集。迪斯科是正式的 规范反应式和分布式系统的方法。。。
  • WSOL公司

  • 参考7篇文章[sw02391]
  • 由Web服务提供,WSOL支持正式的 规范提供多种服务。。。服务。服务提供是正式的一类服务的表示。。。各种约束的组合,WSOL支持正式的 规范在功能约束下,一些QoS(又称QoS)。。。
  • CLPS-B公司

  • 参考7篇文章[sw00132]
  • B的评价方法探讨正式的 规格对集合使用约束逻辑编程。这个。。。从B生成测试序列正式的 规格. 求解器,称为CLPS-B,描述如下。。。
  • 动量2

  • 在10篇文章中引用[sw10025]
  • 扩展以支持正式的 规范以及基于模型的实时系统分析。。。时刻2。我们会实时重写正式的语义到实时模型转换。。。
  • 孩子们

  • 在10篇文章中引用[sw15441]
  • 正确有效的程序正式的 规格,进行了描述。系统有执行。。。
  • Z2sal公司

  • 参考6篇文章[sw07087]
  • 过程,正式的方法运用数学规范一个系统的需求。。。符号,一种广泛使用的正式的 规范语言。Z在学术界非常成功。。。编辑、打字和动画制作工具正式的 规格用Z写的,有一些支持。。。