从软件构造方法角度详细论述了软件构造模块的品质因素和构造高质量模块的原则，规划和原理；另一方面从数学上抽象数据类型对类型系统描述定义论述了抽象模块和对象模块的正确性、鲁棒性问题以及类型系统的类属、继承、封装、多态等。
2021-10-14 14:02:19
3.4MB
1