结构化语言书写加工规约注意事项 语句力求精炼 语句必须易读、易理解、无二义 主要使用祈使句,祈使句中的动词要明确表达要执行的动作 所有名字必须是数据字典中有定义的名字 不使用形容词、副词等修饰语 不使用含义相同的动词,如“修改”、“修正”等 可以使用常用的算术和关系运算符 总之要尽可能精确、无二义、简明扼要、易理解
2021-05-18 20:58:17 1.27MB aaaa
1
Maude规范化教程,实用,简单易学,篇幅不长。Maude适用于原型设计。
2019-12-21 21:26:35 1.08MB 结构化语言 Maude 教程
1