论文部分内容阅读
提出了一种将前后断言形式定义的非过程化的软件功能转换为过程化算法描述的技术。在由范例库、基元库和规则库构成的知识库支持下，交互式地不断分解细化软件功能，直至所有的功能定义都能由基元库中的语义子程序转换为算法性的目标代码为止。设计过程由分解树来描述。
交互式环境下基于知识的形式化软件设计技术
【摘 要】
：
提出了一种将前后断言形式定义的非过程化的软件功能转换为过程化算法描述的技术。在由范例库、基元库和规则库构成的知识库支持下，交互式地不断分解细化软件功能，直至所有的功
【出 处】
：
计算机工程
【发表日期】
：
2000年4期
【基金项目】
：
云南省自然科学基金项目“基于公理语义的面向对象并行软件自动化研究”!（98F005G）,,云南省青年学术技术带头人培养基金!（19
其他文献
摘 要：本文首先从对情谊行为的概念和分类进行了阐释；其后，围绕行为因素、过错因素、结果因素、关系因素四个方面，重点研究了情谊行为侵权责任的相关法律问题，对情谊行为侵权责任的条件构成做出了举例说明。 关键词：情谊行为；侵权责任；施惠人 在现实生活中，出于好意人们总会实施各种施惠行为，出于人与人之间的善意实施的行为本身并不是法律调整的范围，但是当情谊行为造成了损害结果时就需要考虑是否构成侵权责任。
摘 要：会计师事务所为企业出具虚假验资证明屡见不鲜，这类企业成立后，囿于自身的经济实力，往往无法履行合同义务，给正常的市场秩序带来极大危害。有关债权人在无法向债务人实现权利时，常常愤然将会计师事务所和企业一起推上被告席。 关键词：利害关系人；市场秩序；民事责任 一、会计师事务所为企业出具虚假验资证明对相对人应承担责任的法理基础 在我国，除三资企业外，对企业登记采取核准资本制，成立企业在工商部
当前,企业改制案件之所以迷雾重重,成为民商事审判难点,固然与改制行为的复杂性和法律适用上的短缺性直接相关,但审判人员在处理此类案件时缺少整体性的审理思路,恐怕是推脱
我的绘画反映我的内心世界，从认识自我到显现内心的矛盾与冲突，这种心灵体验包含了我的情绪以及个体生存遭遇到的对外界的各种被动生存体验。在当代中国，社会飞速变迁，工业化进程
训诂学是中国传统研究古书中词义的学科，是中国传统的语文学——小学的一个分支。然而，训诂学对对外汉语词汇教学也有着一定的借鉴价值。它主要表现在三个方面：有助于理解现代汉
＂审美静观＂是中西美学史上一个非常重要的命题。而对这一命题的阐释与分析,在今天的美学研究中仍有着重大的理论意义。中国当代艺术已经走过了30年的历程,近几年更受到国际瞩目
二十一世纪,网络技术快速发展,虚拟世界改变了人们的日常生活方式以及社会基本结构.网络技术不仅改变经济体系,甚至对法律制度造成影响.本文简要介绍了网络空间起源、网络法
通过对SET(SecureElectronic Transactions)协议中的加密方法的介绍和分析,提出了一种基于椭圆曲线的适用于SET协议的加密、签名、认证方案,并对该方案的安全性进行了分析,得
《刑法》将犯罪行为规定了若干罪名,但是有些罪名在理论上和实践中都存在着争议和混淆.笔者对职务侵占罪与盗窃罪认识区分进行探讨,这两项罪名在司法实践中都很常见,但对其如