期刊文献+

XYZ系统中的速成原型示范及其支持工具

下载PDF
导出
摘要 速成原型示范作为一种新型的软件开发方法正受到人们广泛的重视,XYZ系统是一种以时序逻辑为基础为适应多种设计方式的CASE环境,它所支持的软件开发方法是“以逐步求精方式,进行形式描述,验证或速成原型示范,直到得出可有效执行的程序”的方法,这种方法不仅能使从抽象描述到可有效执行的程序的逐步演化过程中的每步求精自然简明,而且能对每步求精的结果进行正确性评估、尽早发现问题、解决问题。
作者 王杉 唐稚松
出处 《软件学报》 EI CSCD 北大核心 1996年第A00期1-9,共9页 Journal of Software
  • 相关文献

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部