论文部分内容阅读
提出了一种将前后断言形式定义的非过程化的软件功能转换为过程化算法描述的技术.在由范例库、基元库和规则库构成的知识库支持下,交互式地不断分解细化软件功能,直至所有的功能定义都能由基元库中的语义子程序转换为算法性的目标代码为止.设计过程由分解树来描述.
交互式环境下基于知识的形式化软件设计技术
【摘 要】
：
提出了一种将前后断言形式定义的非过程化的软件功能转换为过程化算法描述的技术.在由范例库、基元库和规则库构成的知识库支持下,交互式地不断分解细化软件功能,直至所有的
【机 构】
：
云南大学计算机科学系,昆明,650091云南大学经济学院,昆明,650091;
【出 处】
：
计算机工程
【发表日期】
：
2000年4期
其他文献
荷兰DELFT理工大学(简称“TU Delft”)是欧洲最著名,也是荷兰最大的理工技术学府.DELFT理工大学建校150多年来,一直致力于先进技术的发展,其主要目标是提供高水平的技术教育
在整合国家、部门、地方现有研究实验资源的基础上,重点完善建设国家重点实验室和不同领域的重大科学工程;巩固和完善大型科学仪器协作共用网,逐步形成覆盖全国的共享网络;开
这是一场别开生面的影音老炮发烧沙龙活动!我们邀请了四五位著名的影音行业人士以及发烧友代表作为我们的嘉宾亲临现场,与到场观众一起交流,并与大家分享自己在玩音响过程当
期刊
1 概述rn水作为不可替代的自然资源,其真正价值体现在为人类社会的生存和发展提供物质支持上,由于水资源在数量上的限制及其在时间上的客观分布,它对人类的支持能力也有一定
一块布,当废品卖只值几块钱,裁成衣服值几十元,若贴上中国名牌就值千元,贴上世界名牌值万元。同样一块布,价值怎么相差这么大呢?因为附加在布料身上的价值不一样。其实,文章
先心合并肺高压心内直视手术的麻醉刘红，涂继善（附属医院麻醉科）肺动脉高压是先天性心脏病的一种常见并发症。先心合并肺高压主要与肺循环阻力（ＰＶＲ）增加和大量左→右心内分流造成肺血
随着时代的发展,教育部门越来越重视对于学生综合能力的培养,伴随着这一新时代的要求,合作学习被越来越多的教师所应用。
With the development of the times, education de