• PVS公司

  • 参考文献626篇[sw03484]
  • 验证系统:即规范 语言集成了支持工具和定理证明器。。。
  • Z

  • 引用279篇文章[sw10291]
  • 深入介绍规范 语言$Z$。它主要针对用户。。。促进正式纪律的一个条件规范还有推理?另一个令人失望的是。。。
  • 莫德

  • 引用677篇文章[sw06233]
  • 反光性能语言以及支持等式逻辑和重写逻辑的系统规范还有编程。。。语言,可以看作是一种等式逻辑子语言。除了支持等式规范...
  • 吉咪

  • 参考文献188篇[sw04597]
  • 语言(JML)是一个行为接口规范 语言可以用来指定。。。埃菲尔方法与基于模型的方法规范接近。。。落叶松接口族规范 语言,加上精化演算的一些元素。。。
  • 木桶

  • 在174篇文章中引用[sw02235]
  • 规范 语言由CoFI开发的称为Casl:普通代数规范 语言. 它的主要。。。
  • 洛托斯

  • 在152篇文章中引用[sw02961]
  • ISO简介规范 语言洛托斯。LOTOS是一个规范 语言那是。。。
  • 团结

  • 引用185篇[sw13461]
  • 评估统一性——一个计算模型,规范 语言钱迪和米斯拉定义的证明系统。。。程序——作为仿真模型的平台规范和分析。我们描述一个基于统一的。。。
  • 麦考拉2

  • 在1776篇文章中引用[sw00537]
  • 通过一个多才多艺的高级翻译用户语言有一个强大的调试器支持创建。。。安装计算方法明确地和他们在一起。Macaulay2可以计算Betti数,Ext,上同调。。。
  • 落叶松

  • 参考文献103篇[sw02126]
  • 风格规范. 每个规范有两个组件语言...语言这是为具体的编程语言还有一个语言那是独立的。。。关于精确通信时的接口规范 语言反映了程序设计语言. 每个接口语言... 指定不同程序之间的接口语言. 接口规格依赖辅助定义规格...
  • 班德拉

  • 在134篇文章中引用[sw07663]
  • 需求形式化于班德拉的时间规范 语言,并生成一个程序模型。。。规范在输入中语言一个现有的模型检查工具(包括Spin。。。
  • 口齿不清

  • 引用126篇文章[sw07201]
  • 处理”。链表是Lisp的一种语言的主要数据结构和Lisp源。。。语法甚至新域-具体的 语言嵌入Lisp中。代码的互换性。。。
  • 不明飞行物

  • 引用了60篇文章[sw11183]
  • 统一形式语言:域-具体的 语言对于偏微分方程的弱公式。。。语言(UFL),这是一个域-具体的 语言用来表示偏微分的弱公式。。。
  • 原因3

  • 引用131篇文章[sw04438]
  • 程序验证。它提供了丰富的语言对于规范编程,叫做WhyML,依赖于。。。WhyML也被用作中间产物语言为了验证C,Java。。。
  • 进展

  • 引用了70篇文章[sw02905]
  • 多范式可视化编程或可执行程序规范 语言,它具有定义良好的静态类型。。。检查规范. 本文提出了一种静态和动态的集成方法。。。完整性约束语言允许检查规范的语义。。。
  • 麦克马斯

  • 引用73篇文章[sw09463]
  • 高级探员态度。特别地,规范 语言基于认知逻辑[7],或逻辑学。。。协议、web服务等,例如安全性规格涉及匿名[4]是已知的。。。
  • 抱怨

  • 引用420篇文章[sw00610]
  • 许多程序设计语言对于许多平台和操作系统。更多具体的产品信息。。。
  • 塞萨尔

  • 引用159篇文章[sw08510]
  • 高水平语言灵感来自CSP和规格是一组公式。。。
  • AsmL公司

  • 引用了43篇文章[sw11363]
  • AsmL是一种工业级的可执行文件规范 语言. 它可以在任何阶段使用。。。识字的词规格. 状态机是抽象的语言. FSE小组。。。发展成AsmL。它是一个可执行文件规范 语言基于抽象状态理论。。。识字的词规格. 它与其他.NET完全互操作语言. AsmL生成。。。
  • Hets公司

  • 引用59篇文章[sw07017]
  • 工具包括各种校准工具和规范 语言从而为异构系统提供了一个工具规格...
  • 达夫尼

  • 引用66篇文章[sw00183]
  • 基于对象的命令式语言内置规范构造。愚蠢的静态程序验证程序。。。程序的功能正确性语言旨在支持静态验证。。。分配、归纳数据类型和内置规范构造。这个规格包括前置和后置条件。。。终止指标。进一步支持规格,的语言还提供可更新的重影变量,递归函数。。。