1) Introduction to Methodology of Programming
程序方法学引论
3) teaching methods and procedure
教学方法和程序
1.
It draws attention,in the course of teaching,to the teaching methods and procedure, and to cultivating the student s ability to to observe,understand and analyze comprehensively so as to attain the teaching goal.
分析了传统素描与设计素描之间的差别,强调在教学过程中要注意的教学方法和程序,以及培养学生整体观察、理解和分析能力,以达到教学的目的。
4) procedural method
程序方法
1.
In general,there are two methods,procedural method and substantive method,that are favor of judicial self-restraint.
消极主义一般可以通过两种方法体现出来,即程序方法和实体方法。
5) indexed sequential access method interface program ,ISAM interface program
索引顺序存取方法接口程序
6) Real Time Program Design Methodology
实时程序设计方法学
补充资料：程序设计方法学
用以指导程序设计各阶段工作的原理和原则，以及依此提出的设计技术。有时也指研究这些原理、原则和技术的学科。程序设计方法学的目标是能设计出可靠、易读而且代价合理的程序。程序设计方法学包括程序理论、研制技术、支援环境、工程规范和自动程序设计等课题，使程序设计更加科学化和工程化。其基本内容是：结构程序设计；程序理论在程序设计技术中的应用，以及规格说明和变换技术。程序理论与程序设计方法学的发展密切相关，它丰富了程序人员的思维方法，促进了程序设计技术的发展。
程序设计方法学也与软件工程关系密切。方法学对软件的研制和维护起指导作用。软件工程要求程序设计规范化，建立新的原则和技术。而一种新的方法的出现，又要求制订出相应的规范。方法和工具是同一问题的两个侧面。工具的研究以方法学为基础，而工具的研制成功又会影响程序设计。程序设计方法学还涉及程序推导、程序综合、程序设计自动化研究、并发程序设计、分布式程序设计、函数式程序设计、语义学、程序逻辑、形式化规格说明和公理化系统等课题。
参考书目
仲萃豪、冯玉琳、陈友君著:《程序设计方法学》,北京科技出版社，北京，1984。
程序设计方法学也与软件工程关系密切。方法学对软件的研制和维护起指导作用。软件工程要求程序设计规范化，建立新的原则和技术。而一种新的方法的出现，又要求制订出相应的规范。方法和工具是同一问题的两个侧面。工具的研究以方法学为基础，而工具的研制成功又会影响程序设计。程序设计方法学还涉及程序推导、程序综合、程序设计自动化研究、并发程序设计、分布式程序设计、函数式程序设计、语义学、程序逻辑、形式化规格说明和公理化系统等课题。
参考书目
仲萃豪、冯玉琳、陈友君著:《程序设计方法学》,北京科技出版社，北京，1984。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条