形式规约语言相关论文
为UML提供坚实的形式化基础是近年来UML研究的热点之一。UML是一种可视化的通用的面向对象建模语言。但是目前UML的语义仍是半形式......
形式规约语言LFC是为支持形式规约的获取工作而开发的.该语言具有多种特色,如:以定义在上下文无关语言上的递归函数为基础;在语言......
模式匹配是包括LFC在内的大多数函数式语言都具有的特点。文章在LFC语言现有的模式匹配实现方法的基础上，结合常用的模式匹配树的构......
该文介绍了形式规约语言LFC设计的一些主要方面,并通过例子说明了LFC的一些特色.形式规约语言LFC是为支持软件形式规约的获取工作......
在运行时刻，由于某些函数参数的取值会造成一些函数被重复调用，这在编译时刻是无法被传统的优化器发现的。针对这种情况，提出一种运行......
形式化方法是一种使用严格的数学模型和方法准确、抽象、规范地描述和验证软件系统的行为和性能的方法,其中主要包括软件的需求规......
本文首先给出形式化方法概述，并介绍两种分别代表面向模型和面向性质的形式规约语言Ｚ和Ｌａｒｃｈ。然后，重点讨论形式化方法与面向对象技术的结......
