文献检索-宁波市创意产业特色资源库

限定检索结果

系统化程序设计: 收藏
分享
引用; 《国外科技新书评介》2014年第5期 12-13页; 作者：yanhong annie liu 张进兴不详中国科学院空间科学与应用研究中心; 在计算机领域中，设计是指建立计算机程序，包括算法的步骤和数据表示，以满足特定的要求。在设计过程中，人们会因为解决了一项明确的计算任务而获得兴奋感，也会因必须注意一些细节、服从诸多限制和反复试验而感到沮丧。应运而生的系...; 在计算机领域中，设计是指建立计算机程序，包括算法的步骤和数据表示，以满足特定的要求。在设计过程中，人们会因为解决了一项明确的计算任务而获得兴奋感，也会因必须注意一些细节、服从诸多限制和反复试验而感到沮丧。应运而生的系统化程序设计方法，可以帮助开发人员确保程序的正确性和性能，同时降低开发成本。所谓系统化设计是指将问题一步一步描述成理想的效果，其本质是再现、自动化并加快创造与开发过程，其中：理解、部署和演化的程序注重规范的清晰度，程序验证、使用和生存周期注重实施效率。系统化设计方法可以让我们从繁琐且易错的环节中解放，避免重复工作，致力于真正创造性工作。本书在之前很多重要的研究者的研究工作中开发出了一种统一系统化的程序设计方法。; 来源：详细信息评论

限定检索结果