结果21至40892
排序依据：

  • 磅
  • 在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写的，有一些支持。。。