• Z

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

  • 引用了20篇文章[sw02118]
  • 工具可以从正式的 规格并融入框架结构中。更多。。。
  • 在14篇文章中引用[sw12372]
  • 生化系统语言:设计与正式的 规范. 本文介绍了一种生物化学语言。。。通过实例说明其特点。A正式的 规范然后通过。。。