从软件构造方法角度详细论述了软件构造模块的品质因素和构造高质量模块的原则，规划和原理；另一方面从数学上抽象数据类型对类型系统描述定义论述了抽象模块和对象模块的正确性、鲁棒性问题以及类型系统的类属、继承、封装、多态等。
2021-10-14 14:02:19
3.4MB
1
车载嵌入式软件如何声明符合MISRA语言规范
需要解答如下问题方可声称符合：
1.使用哪个C/C++语言版本进行项目开发？
2.使用哪个静态代码检查工具进行检查代码合规性？
3.检查工具应该如何部署到开发流程进行检查才算合规？
4.使用哪个版本的MISRA指南才算合规？
5.ISO26262对于软件开发的要求是什么？
2021-07-21 12:58:31
341KB
1
AWSD1.2D1.2M-2014结构焊接规范-铝（不含附录）中英对照版
2021-04-23 09:00:24
436.79MB
1
java jdk 14 帮助文档 中英对照版 中文 英文 文档 chm 谷歌翻译
文件打开空白
右键文件属性
解除锁定
2021-02-22 23:02:23
46.2MB
1