函数程序设计在软件开发中应用.PDFVIP

第 20 卷第 1 期 南京林业大学学报 Vol. 20 No. 1 1996 年 3 月 Journal of Nanjing Forestry University Mar. 1Çj 96 函数程序设计在软件开发中的应用 张毅 (南京林业大学基础课部 南京 210037) 摘要从函数程序设计的角度对达成原型方法进行研讨，采用形式方法解释其在应用立的优 劣。并结合林业实例，说明该方法的优越性。 关键词函数程序设计;这成原型;规范 中图分类号 S711 软件生存期方法的关键主要在于需求分析与规范。 通常为了保证后期工作不被干扰和最终不返工， 设计人员必须和用户反复商量讨论分析，以保证需求的完备。原型方法采用演示原型的方法来揭示系统 的需求。实现原型法的关键在于能否提供一个合适的软件开发环境，使得按需求说明能直接转换成现实 系统。 规范是对用户需求的形式描述，是软件设计人员之间精确而有效的通讯手段，也是和软件实现