-
题名代数规范说明的实现
- 1
-
-
作者
郭青
陈意云
-
机构
青岛大学
中国科技大学
-
出处
《计算机工程与设计》
CSCD
北大核心
1989年第5期3-8,共6页
-
文摘
代数规范说明的实现是代数规范说明支持快速原型枝术的关键。本文介绍了代数规范说明实现的背景,阐述了代数规范说明实现的理论与方法,给出了基于UF-变换的自动实现方法。
-
关键词
软件工程
代数规范说明
代数说明
-
分类号
TP311.5
[自动化与计算机技术—计算机软件与理论]
-
-
题名一个含有不确定性语言的代数规范说明
- 2
-
-
作者
吕文进
-
机构
贵州大学计算机科学系
-
出处
《贵州大学学报（自然科学版）》
1992年第3期167-173,共7页
-
基金
贵州省科基金
-
文摘
本文定义了一个语言L,其允许表达式有负作用并对表达式序列的计算顺序不加规定,这样,在L中,同一表达式序列,因其计算顺序不同而可以有不同的结果,因而其语义模型就不是唯一的,传统的单一模型方法不适于定义L的语义,本文在极大语义的意义下,定义了L的代数规格说明并讨论其模型性质。
-
关键词
代数规范说明
程序设计语言
-
Keywords
Algebraic specification, Programming language, Semantics, Nondeterminism
-
分类号
TP311.1
[自动化与计算机技术—计算机软件与理论]
-
-
题名关系网的代数规范说明
- 3
-
-
作者
栾尚敏
马绍汉
-
机构
山东大学计算机科学系
-
出处
《山东大学学报（自然科学版）》
CSCD
1993年第2期179-188,共10页
-
基金
山东省科学基金
-
文摘
将关系网看作一个抽象数据类型,给出了其代数规范说明.这个关系网是它的代数规范说明的一个代数,代数规范说明的任一代数是一个关系网;讨论了关系网在同态下的性质,以及代数规范说明的代数与关系网模式和位置/变迁网的关系。
-
关键词
代数规范说明
抽象数据类型
关系网
-
Keywords
algebraic specification
abstract data type
relation net
algebra
homomorphism
relation net scheme
-
分类号
TP301
[自动化与计算机技术—计算机系统结构]
-
