论文部分内容阅读
形式化功能分解是软件形式化设计的基本手段.文章基于前后断言形式定义的软件功能,提出了一组将该功能定义分解为3种基本控制结构之一的交互式分解规则,并证明了这组分解规则的正确性.分解规则构成的规则库是支持软件形式化设计的知识库的重要组成部分.
形式化软件功能分解的交互式规则
【摘 要】
：
形式化功能分解是软件形式化设计的基本手段.文章基于前后断言形式定义的软件功能,提出了一组将该功能定义分解为3种基本控制结构之一的交互式分解规则,并证明了这组分解规则
【机 构】
：
云南大学,昆明,650091
【出 处】
：
计算机工程与应用
【发表日期】
：
2000年7期
其他文献
每一位英语老师都有自己的教法,也都有自己独到的见解.但是对于这样一门语言学科来说,听说读写等基础性工作在当代英语教学中仍然是最主要的部分.注重平时的“厚积”,最终在
农业循环经济的发展已逐渐成为当今世界农业发展的潮流和趋势。农业循环经济是按照自然生态系统物质循环和能量流动规律，在农业生产过程中减少资源的投入量和废弃物的排放量，使
对知识产权的滥用伴随着知识产权制度的创设一同产生,根本原因在于知识产权权利属性的特点：私权性与公共性的并存。当知识产权政策偏向于弱保护时,知识产权的公共属性即成为知
该文经过研究和大量的试验利用三极管的非工作区实现了特模拟量直接输入计算机的信息传输方法。该方法将传感器所采集的信息无需进行模数转换，即可直接将模拟量输入到计算机中
2010年10月末-2010年11月上旬广东某镇发生一起429人群体性胃肠炎疫情,经流行病学调查、环境卫生学调查以及病例与水质标本的实验室检测确定该起疫情为一起生活污水污染集中
本文对司法实务中法律解释方法的选择进行了探讨。法律解释有广义和狭义之分。狭义的法律解释是指对法律规范的术语、文义所作的阐释与说明；广义的法律解释是指为实现法律适用