• Z

  • 引用276篇文章[sw10291]
  • 深入介绍规范语言$Z$。它主要针对用户。。。促进一门学科的能力正式的 规范还有推理?另一个令人失望的是。。。
  • 团结

  • 在174篇文章中引用[sw13461]
  • 方法从仿真模型开始规范以一组耦合的。。。首先将系统转换为正式的断言,允许正式的验证转换。。。正式的 规范. 方法通过生成来说明。。。
  • 钥匙

  • 引用63篇文章[sw09969]
  • 旨在整合设计、实施,正式的 规范,和正式的面向对象软件验证。。。
  • 澳大利亚

  • 引用了253篇文章[sw06367]
  • 马赫数限制。明确地,我们使用渐近分析正式地导出适当的缩放比例。。。
  • 洛托斯

  • 引用151篇文章[sw02961]
  • 规范一直以来明确地正式的OSI描述(打开。。。
  • PVS公司

  • 引用609篇文章[sw03484]
  • 验证系统:即规范语言集成了支持工具和定理证明程序。。。最先进的机械化正式的方法足够坚固。。。
  • 如果-2.0

  • 引用46篇文章[sw03303号]
  • 广泛而自然地应用于规范 形式主义像UML或者像Java这样的编程语言。。。只有对纯IF-1.0的探索规格. 这个。。。复杂系统的限制规格哪个组合正式的描述和可执行代码(例如,组件。。。
  • 朱尼特

  • 引用了29篇文章[sw07262]
  • 单元测试更容易。它使用一个正式的 规范语言的运行时断言检查器来决定。。。编写测试代码,程序员编写正式的 规格(例如,前置条件和后置条件)。这使得。。。规范错误很快就会被发现,所以规格更有可能提供有用的文档。。。与其他正式的 规范单元测试语言和工具。。。
  • 日本日报

  • 引用了43篇文章[sw04319]
  • 用于断言语句、文档和正式的 规格. 例如保持恒定。。。
  • 班德拉

  • 在134篇文章中引用[sw07663]
  • 软件需求正式化在班德拉的时间规范语言,它生成一个程序模型。。。
  • WSAT公司

  • 引用了37篇文章[sw01022]
  • 服务通过XML标准化,并且规范web服务本身(调用接口。。。缺少什么正式的语义,使正式的 规范web服务组合。(2) 异步消息传递。。。
  • 玛雅

  • 在26篇文章中引用[sw03423]
  • 因此是一个进化过程。验证正式的 规格通常会发现隐藏的错误导致改变。。。功能将导致规范已经危及到核查工作。。。描述Maya维护的系统正式的事态发展。Maya系统支持进化正式的... 各种(结构化)规范语言形式化软件开发。此外,Maya允许集成。。。
  • 科拉特

  • 引用31篇文章[sw07259号文件]
  • 测试Java程序。给定的正式的 规范作为一种方法,Korat使用了这个方法。。。
  • 乐高

  • 引用107篇文章[sw09685]
  • 表达语言形式化数学问题和程序规范以及发展。。。
  • 半人马

  • 引用19篇文章[sw29541]
  • 通用交互环境。当给予正式的 规范一种特殊的编程语言包括语法。。。语义学-它产生一种语言具体的环境。这个生成的环境包括一个结构编辑器。。。提供标准化的表示和访问正式的对象及其持久存储;逻辑。。。用于执行的引擎正式的 规格;一个面向对象的人机界面。。。
  • 塞尔4

  • 引用80篇文章[sw15222]
  • 正式的,从摘要中对seL4微内核进行了机器检查验证规范下来。。。采用独特的设计方法融合正式的以及操作系统技术。据我们所知。。。这是第一次正式的证明一个完整的,通用的操作的功能正确性。。。始终严格遵循我们的高级摘要规范行为的核心。这包括传统设计。。。
  • FoCs公司

  • 引用了20篇文章[sw01591]
  • 自动生成模拟跳棋正式的 规格. 在可预见的未来,工业硬件设计。。。模拟和正式的验证。。。
  • 梅花

  • 引用19篇文章[sw07155]
  • 用梅花定时测试。梅花是规范-基于飞行测试工具。。。ioco与w.r.t.a.实施的一致性正式的 规范. 本文描述了一个TorX的扩展。。。法律依据规范. 这个规格用非确定性的安全性来描述。。。使它们可用作输入形式主义一种基于时间自动机的测试衍生算法。。。
  • 伊普森

  • 引用了20篇文章[sw02118]
  • 工具可以从正式的 规格并融入框架结构中。更多。。。