说明:双击或选中下面任意单词,将显示该词的音标、读音、翻译等;选中中文或多个词,将显示翻译。
您的位置:首页 -> 词典 -> 程序及方法
1)  procedure and method
程序及方法
2)  construction programs and methods
施工程序及方法
3)  calculation method and program
计算方法及程序
4)  procedural method
程序方法
1.
In general,there are two methods,procedural method and substantive method,that are favor of judicial self-restraint.
消极主义一般可以通过两种方法体现出来,即程序方法和实体方法。
5)  processand method
过程及方法
6)  project and method
工程及方法
补充资料:程序设计方法学
      用以指导程序设计各阶段工作的原理和原则,以及依此提出的设计技术。有时也指研究这些原理、原则和技术的学科。程序设计方法学的目标是能设计出可靠、易读而且代价合理的程序。程序设计方法学包括程序理论、研制技术、支援环境、工程规范和自动程序设计等课题,使程序设计更加科学化和工程化。其基本内容是:结构程序设计;程序理论在程序设计技术中的应用,以及规格说明和变换技术。程序理论与程序设计方法学的发展密切相关,它丰富了程序人员的思维方法,促进了程序设计技术的发展。
  
  程序设计方法学也与软件工程关系密切。方法学对软件的研制和维护起指导作用。软件工程要求程序设计规范化,建立新的原则和技术。而一种新的方法的出现,又要求制订出相应的规范。方法和工具是同一问题的两个侧面。工具的研究以方法学为基础,而工具的研制成功又会影响程序设计。程序设计方法学还涉及程序推导、程序综合、程序设计自动化研究、并发程序设计、分布式程序设计、函数式程序设计、语义学、程序逻辑、形式化规格说明和公理化系统等课题。
  
  

参考书目
   仲萃豪、冯玉琳、陈友君著:《程序设计方法学》,北京科技出版社,北京,1984。
  

说明:补充资料仅用于学习参考,请勿用于其它任何用途。
参考词条