• 可口可乐

  • 引用了1856篇文章[sw00161]
  • 证明。典型应用包括形式化编程语言语义学(例如,CompCert编译器认证…工业环境中的EAL7认证卡)形式化数学(例如形式化...
  • 毫升

  • 引用517篇文章[sw01218]
  • 完全指定并使用正式的 语义学它的类型和模式匹配使它很好。。。通常用于对其他人进行手术正式的语言,如编译器编写,自动定理。。。
  • SPARQL公司

  • 引用132篇文章[sw07429]
  • SPARQL标准提供了它的语法和正式的 语义学。然后我们关注形式化... 最近发现的有关规范性文件的重要问题语义学SPARQL中的联合和导航。。。
  • 托勒密

  • 引用了78篇文章[sw07459]
  • 模块化正式的 语义学为了托勒密。托勒密是一个开源和可扩展的建模和仿真。。。武断的时尚。本文提出了一个正式的 语义学对于托勒密来说是模块化的。。。计算模型。在本文中,我们正式地为以下模型定义控制器。。。
  • PDDL

  • 引用96篇文章[sw07079]
  • 语言的语法正式的 语义学以及并行计划的验证。我们观察到。。。
  • 克莱姆

  • 引用71篇文章[sw09424]
  • 定位进程之间的交互协议。这个正式的操作的语义学有助于讨论设计。。。
  • WSAT公司

  • 引用了37篇文章[sw01022]
  • 服务标准,大部分缺乏正式的 语义学,使正式的web服务规范。。。
  • PNML公司

  • 引用了40篇文章[sw03257]
  • Petri网,ISO/iec15909,提供了一个正式的 语义学以及支持模型交换的语法。。。
  • Isar

  • 在144篇文章中引用[sw04599]
  • 可读性方法正式的证明文件旨在弥补语义的内部间隙。。。用户级工作的抽象。Isar正式的证明语言的设计是为了满足。。。
  • 歧管

  • 引用了30篇文章[sw02900]
  • 过渡系统语义学对于控制驱动的协调语言流形协调语言。。。由歧管支撑。我们提出正式的 语义学流形的核心,基于。。。语义学对于面向控制的协调语言,这种方法对于正式的研究。。。
  • 规则

  • 27条引用[sw01792]
  • 使用XML标记的规则语言,正式的 语义学,以及高效的实现。RuleML涵盖了整个规则。。。
  • 沟槽

  • 引用了50篇文章[sw09480]
  • 模型转换和操作语义学这就需要正式的模型转换和动态的基础。。。
  • qGCL公司

  • 在26篇文章中引用[sw39240]
  • 包括初始化和观察)正式的 语义学以及法律体系,并规定。。。
  • 红宝石

  • 参考33篇文章[sw16267]
  • 面对这个挑战,我们提出正式的操作的语义学可以作为一个高。。。
  • 爪哇凡

  • 引用32篇文章[sw01934]
  • Maude代码行,指定正式地这个语义学Java和JVM重写逻辑。。。
  • 科马尔

  • 引用了55篇文章[sw30775]
  • 计算机。“COMAL内核语法&语义学“[1]包含正式的语言的定义。进一步。。。
  • CP逻辑

  • 17条引用[sw06947]
  • 方面,已经在语义的在他的框架里由沙弗来决定。。。这种进化是很自然的。在我们的形式化,一组概率因果律。。。为his提供了一个方便的逻辑表示语义的物体。第二,这种语言也有关联性。。。特别是,我们证明正式的 语义学在我们的语言里。。。
  • 大都市

  • 17条引用[sw16265]
  • 挑战。基于元模型正式的 语义学开发人员可以用来捕获设计。。。支持复杂设计的电子系统,正式的分析和综合。。。
  • 伊莎贝尔/马戏团

  • 引用13篇文章[sw15208]
  • 用精化微积分。语义学是基于霍尔和他统一的理论。。。检查机器,正式的 语义学根据“浅埋”的马戏团在伊莎贝尔/UTP。。。