程序设计方法学注记 |
| |
作者姓名: | 仲萃豪 冯玉琳 |
| |
作者单位: | 中国科学院计算技术研究所(仲萃豪),中国科学院计算技术研究所(冯玉琳) |
| |
摘 要: | 一、什么是程序设计方法学 程序设计方法学(Programming methodo-logy)是七十年代程序设计的主要研究方向,它的内容涉及到程序设计活动的各个方面,根据E.T.yeh编辑的《Current trends in prog-ramming methodology》,它包括软件规定和设计(Software specification anddesign),正确性(validation),模型(modeling)以及程序和
|
本文献已被 CNKI 等数据库收录! |
|