论文部分内容阅读
代数规范说明的实现是代数规范说明支持快速原型枝术的关键。本文介绍了代数规范说明实现的背景,阐述了代数规范说明实现的理论与方法,给出了基于UF-变换的自动实现方法。
代数规范说明的实现
【摘 要】
：
代数规范说明的实现是代数规范说明支持快速原型枝术的关键。本文介绍了代数规范说明实现的背景,阐述了代数规范说明实现的理论与方法,给出了基于UF-变换的自动实现方法。
【机 构】
：
青岛大学,中国科技大学
【出 处】
：
计算机工程与设计
【发表日期】
：
1989年5期
其他文献
众所周知,汉语是比较难学的一种语言,这跟它隶属于孤立语有很大的关系。孤立语所具备的特点使汉语成为世界两千多种语言中较难学习的一种,所以汉字作为表达汉语的符号首当其
目的:观察中西医结合治疗稳定性心绞痛的临床效果。方法:96例分为研究组48例和参照组48例,两组均用常规西药治疗,研究组联合益气活血中药治疗。结果:总有效率研究组明显高于
笔者所在的国有企业对中层管理人员的考核存在两套体系，一是集团组织部对企业中层管理人员实行的干部考核，该考核侧重于中层管理人员的素质方面；二是策划与管理部对企业中层管理
【正】 YS35型向上式掘进凿岩机广泛用于冶金、有色、煤炭等矿山天井开凿、采矿、岩巷掘进施工中钻凿上向炮孔、锚杆孔和安装顶固管缝式锚杆。它适用于各种硬度的岩石进行湿
本文在ＡＤＬ和ＤＡＤＬ基础上发展了一种引入抽象数据类型的逻辑型和函数型程序变换语言，阐述了从逻辑型向函数型和从函数型向过程型程序的变换方法，并介绍了基于超文本技术的程序变换支撑系
城市空间的发展过程,必然会积淀城市历史文化的特征空间体系。该体系在各个时期都是城市特色彰显、城市记忆、居民自豪感的重要载体。随着改革开放、当代城市快速建设,城市经
代数规范说明是软件与理论计算机科学研究中的一个活跃领域,它对于软件工程与程序设计方法学都有很好的支持,是软件形式化开发研究的一条希望之路。本文是《代数规范说明技术
<正> 日本是当今最发达的资本主义国家之一。这个国土面积38万平方公里,人口1.2亿多的国家,在二战结束至今的60年间,从一个干疮百孔,经济濒临崩溃的“战败国”一跃成为世界经
采用脉冲振荡法，对哮喘发作组54例。哮喘缓解组55例和正常对照组48例进行肺功能测定。探讨脉冲振荡法对学龄前哮喘儿童肺功能检测的应用价值。组间比较5Hz时、20Hz时的气道阻