|
|||||
|
|
| XYZ系统中的速成原型示范及其支持工具 | |
| 引用本文： | 王杉,唐稚松.XYZ系统中的速成原型示范及其支持工具[J].软件学报,1996,7(A00):1-9. |
| 作者姓名： | 王杉 唐稚松 |
| 摘 要： | 速成原型示范作为一种新型的软件开发方法正受到人们广泛的重视，ＸＹＺ系统是一种以时序逻辑为基础为适应多种设计方式的ＣＡＳＥ环境，它所支持的软件开发方法是“以逐步求精方式，进行形式描述，验证或速成原型示范，直到得出可有效执行的程序”的方法，这种方法不仅能使从抽象描述到可有效执行的程序的逐步演化过程中的每步求精自然简明，而且能对每步求精的结果进行正确性评估、尽早发现问题、解决问题。本文着重介绍半讨论运用 |
| 关 键 词： | XYZ系统 速成原型示范 软件工具 软件开发 |
| 本文献已被 维普 等数据库收录！ | |