• 洛托斯

  • 在152篇文章中引用[sw02961]
  • ISO规范语言简介洛托斯.洛托斯是一种规范语言,已经。。。一般来说,分布式并发系统。洛托斯看到一个系统。。。和他们的环境。洛托斯有望成为国际标准化组织。。。
  • E-LOTOS公司

  • 引用25篇文章[sw03017]
  • 洛托斯在形式上添加UML。E-洛托斯新版本的ISO标准。。。规范语言洛托斯,目前正在开发中。我们描述如何使用它。。。给出从UML构造到E的映射-洛托斯. 重点是处理。。。
  • 光气圈

  • 引用9篇文章[sw14748]
  • LOTOSphere:软件开发洛托斯.洛托斯(时间顺序规范语言)成为一个国际标准。。。这个历史的使用洛托斯很明显比。。。形式化描述技术。LOTOSphere:软件开发洛托斯深入描述了一个五年计划。。。感动了洛托斯走出ISO之塔进入软件工程实践。洛托斯成为。。。
  • 凯撒

  • 引用8篇文章[sw29138]
  • 凯撒-编译和验证洛托斯规范。caesar[Gar89b,GS90]是一个编译程序,可以翻译。。。洛托斯规范化为可执行代码,可用于探索。。。以filename.lotos作为输入,其中包含洛托斯规范,可选地随附filename.h,它提供。。。实现洛托斯在filename.lotos中定义的排序和操作,caesar执行连续的。。。
  • Exp.打开

  • 在10篇文章中引用[sw07702]
  • 几个过程代数(Ccs,Csp,洛托斯,E-洛托斯,μCrl)。第二,与。。。
  • LNT2LOTOS公司

  • 引用5篇文章[sw20418]
  • LNT参考手册洛托斯翻译。此报告定义了LNT语言,它。。。E的简化变体-洛托斯(国际标准ISO-15437:2001)。简而言之,LNT提供。。。同样的表现力洛托斯,但有更多的用户友好和规则的符号借用命令。。。函数式程序设计语言。特别是,不像洛托斯,数据类型和处理部分。。。
  • 海龟-P

  • 引用5篇文章[sw10561]
  • 分布式系统。定时UML和RT-洛托斯环境,或简称海龟,延伸。。。具有用RT表示的形式语义-洛托斯. 此外,它还由一个正式的。。。RT中的形式语义-洛托斯. 本文以乌龟-P为例说明了其应用。。。
  • 洛伊

  • 引用2篇文章[sw29143]
  • 洛伊:A洛托斯工程工作台。LOEWE是一个集成的工具环境,用于规范,分析。。。主要基于形式化描述技术洛托斯,LOEWE还提供了多种语义等价的表示。。。系统验证。LOEWE当前包含一个洛托斯语法和静态语义验证器,一个生成器。。。从中生成C代码的编译器洛托斯行为表达,翻译洛托斯抽象数据。。。
  • 拓朴

  • 1条引用【sw18605】
  • Topo(用于产品实现的工具集洛托斯). 拓朴是一个前端的各种。。。洛托斯工具。其中包括glad(通用语言注释数据,数据编译),ildi(交互式)洛托斯... 数据解释器,数据分析仪),lfe(洛托斯前端,语法分析器),lola(洛托斯实验室,模拟。。。
  • 达菲

  • 1条引用[sw26938]
  • 编译器(DAFY)。的时间扩展版本洛托斯定时,表示洛托斯,建议。。。也支持时域。定时洛托斯包含了一个紧急的概念。。。最大进度或最小延迟特性。定时洛托斯过程也有一些令人愉快的性质,如。。。执行动作的能力)。及时洛托斯延迟算子很强大,因为。。。
  • 托尔

  • 1条引用[sw10560]
  • 海龟工具箱)。TURTLE(定时UML和RT-洛托斯是一个实时的UML配置文件。。。通过翻译成RT正式定义-洛托斯. 乌龟的形式验证与模拟。。。将海龟图转换为RT-洛托斯规范和使用RTL生成。。。
  • 科里根

  • 1条引用[sw24328]
  • 工具,规范库,解析器库,洛托斯生成和面向对象的代码生成。。。
  • 杰蒂

  • 引用15篇文章[sw00471]
  • 我们现在展示的是jETI,一个重新设计的电子。。。
  • 毫升

  • 引用517篇文章[sw01218]
  • ML('Meta Language')是一个通用函数。。。
  • M-树

  • 引用13篇文章[sw02565]
  • 安全处理器体系结构支持新的应用程序集。。。