失眠蜗牛

文章
4
资源
0
加入时间
2年10月24天

NASA的10条代码编写原则NASA的10条代码编写原则

本文将介绍由 NASA 喷气推进实验室首席科学家 Gerard J. Holzmann 所提出的,侧重于安全参数的10条代码编写原则NASA的10条代码编写原则作者: Gerard J. Holzmann 来源: InfoQ 原文链接 英文原文:NASA’s 10 Coding Rules for Writing Safety Critical Program译/ 大愚...