期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
共找到1篇文章
< 1 >
每页显示 20 50 100
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
显示方式：
XYZ系统中的速成原型示范及其支持工具
1
作者 王杉 唐稚松 《软件学报》 EI CSCD 北大核心 1996年第A00期1-9,共9页
速成原型示范作为一种新型的软件开发方法正受到人们广泛的重视，ＸＹＺ系统是一种以时序逻辑为基础为适应多种设计方式的ＣＡＳＥ环境，它所支持的软件开发方法是“以逐步求精方式，进行形式描述，验证或速成原型示范，直到得出可有效... 速成原型示范作为一种新型的软件开发方法正受到人们广泛的重视，ＸＹＺ系统是一种以时序逻辑为基础为适应多种设计方式的ＣＡＳＥ环境，它所支持的软件开发方法是“以逐步求精方式，进行形式描述，验证或速成原型示范，直到得出可有效执行的程序”的方法，这种方法不仅能使从抽象描述到可有效执行的程序的逐步演化过程中的每步求精自然简明，而且能对每步求精的结果进行正确性评估、尽早发现问题、解决问题。 展开更多
关键词 XYZ系统 速成原型示范 软件工具 软件开发
下载PDF
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
上一页 1 下一页 到第 页
使用帮助 返回顶部