使开发人员更易理解规定和验证,写出结构完好的程序,适用于高校学生和软件开发人员阅读。