·2,447,543篇论文数据，部分数据来源于NoteExpress
本文讨论如何应用代数规范说明方法来说明软件系统。
This paper discusses how to use the method of algebraic specification in specifying software systems.
youdao
应用推荐
模块上移
模块下移
不移动