%0 Journal Article
%T 从设计角度对净室技术的分析
%A 杨涛
%A 王铮
%A 谭歆
%A 李镔
%J 重庆大学学报
%D 2004
%R 10.11835/j.issn.1000-582X.2004.01.023
%X 净室技术规范在实际实施中需要对大量细节问题作出决断,这些决断需要对净室技术本质的了解,并把握一定的原则,机械地套用规范是行不通的.笔者从本质上对净室的设计过程进行了研究,提出了分层次、由大化小的递归式问题分解、求解步骤,作为设计方法的总体构想,它与净室规范是有机地结合在一起的.净室的方法中包括了两大逻辑的引入:"选择"与"顺序",在此基础上就不难实现"循环";因此,净室方法具备了结构化程序的三个必备逻辑要素,是完备的.为了提高效率,规范的实施必须遵循大粒度激励响应集、小状态变量集、简约化明盒控制流实现的原则,这些正是归约点的所在.
%K 软件工程
%K 净室
%K 归约
%K 规范函数
%K 设计角度
%K 净室技术
%K 分析
%K Design
%K Angle
%K Technology
%K Cleanroom
%K 归约
%K 控制流
%K 简约化
%K 状态变量集
%K 激励响应
%K 大粒度
%K 效率
%K 逻辑要素
%K 化程序
%K 结构
%K 循环
%K 选择
%K 设计方法
%U http://qks.cqu.edu.cn/cqdxzrcn/ch/reader/view_abstract.aspx?file_no=20040124&flag=1