研究程序设计的标准化和规范化，叫做程序设计方法学。