• Z

  • 272篇参考文献[SW1091]
  • 深度介绍规格语言$Z$。它主要是针对用户的…提倡一门学科正式 规格推理?另一个失望是…
  • 团结

  • 173篇参考文献[SW13461 ]
  • 方法从一个仿真模型开始规格以一组耦合的形式…过渡系统首先成为一组正式允许,断言正式验证的过渡…用定理证明它们正式 规格. 该方法是通过生成说明…
  • 钥匙

  • 63篇参考文献[SW0996]
  • 旨在集成设计、实现、正式 规格正式面向对象软件验证
  • 奥斯姆

  • 239篇参考文献[SW06367]
  • 马赫数极限。明确地我们采用渐近分析正式地得到适当的鳞片…
  • 洛托斯

  • 150篇参考文献[SW0961]
  • 规格语言已经明确地发展为正式OSI的描述(Open…
  • PVS

  • 596篇参考文献[SW0384]
  • 验证系统:即规格语言与支持工具和定理证明器集成…机械化技术正式方法和足够坚固的…
  • IF-2.0

  • 46篇参考文献[SW03303]
  • 广泛而自然地使用规格 形式主义像UML或Java之类的编程语言…纯IF-1.0的探索规格. 复杂系统约束规格哪种混合正式描述和可执行代码(例如,组件)
  • JUnit

  • 29篇参考文献[SW07262]
  • 单元测试更容易。它使用了正式 规格语言的运行时断言检查器决定…编写测试代码,程序员编写正式 规格(例如,前置和后置条件)。这使得…规格错误很快被发现,所以规格更有可能提供有用的文档…与其他组合容易实现正式 规格语言和单元测试工具…
  • 班德拉

  • 134篇参考文献[SW07663]
  • 软件需求形式化的在Bandera的时间里规格语言,它生成一个程序模型…
  • 戴康

  • 41篇参考文献[SW04319]
  • 用于断言语句、文档和正式 规格. 例子包括常量…
  • WSAT

  • 36篇参考文献[SW01022]
  • 服务是通过XML标准化的,并且规格Web服务本身(调用接口)缺乏正式语义,使复杂正式 规格Web服务组合。(2)异步消息传递…
  • 科拉特

  • 31篇参考文献[SW07259]
  • Java程序的测试。给定一个正式 规格对于一种方法,KORAT使用该方法…
  • 玛雅

  • 25篇参考文献[ SW034 23 ]
  • 因此是一个进化过程。验证正式 规格通常会发现隐藏的错误导致变化…功能将导致规格它一直危及核查工作。描述维护的系统玛雅正式发展。玛雅系统支持进化正式各种(结构化的)规格语言到形式化软件开发。此外,玛雅允许整合…
  • 乐高

  • 106篇参考文献[SW09685 ]
  • 表达语言形式化数学问题与程序规格发展…
  • 半人马座

  • 19篇参考文献[SW29 51]
  • 通用交互环境。当给予正式 规格一种特定的编程语言,包括语法…语义-它产生一种语言具体的环境由此产生的环境包括结构编辑器…提供标准化的表示和访问。正式对象及其持久存储;逻辑的…用于执行的引擎正式 规格一个面向对象的人机界面…
  • 托克斯

  • 19篇参考文献[SW07155]
  • 定时测试与TROX。TROX是一个规格基于,即时测试工具,…IOCO实现的一致性W.R.T.A正式 规格. 本文描述了TROX的扩展。法律依据规格. 这个规格通过非确定性安全性描述…使它们可用作输入形式主义一种基于时间自动机的测试求导算法。
  • 伊普森

  • 20篇参考文献[SW02118]
  • 工具可以部分地从正式 规格并合并到框架体系结构中。更多
  • 伦敦商学院

  • 14篇参考文献[SW1272]
  • 生化系统的语言:设计与正式 规格. 本文介绍了一种生物化学的语言。通过实例论证了其特点。正式 规格然后通过……给出LBS。
  • SEL4

  • 76篇参考文献[SW15222]
  • 正式SEL4微内核的机器检查验证规格下来…使用独特的设计方法正式以及操作系统技术。据我们所知…这是第一次正式一个完整的通用操作的功能正确性证明…始终严格遵循我们的高层抽象规格内核行为。这包括传统设计…