失眠蜗牛

文章
4
资源
0
加入时间
2年10月21天
NASA的10条代码编写原则NASA的10条代码编写原则

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译/ 大愚...
程序设计 2023-10-15

他的专栏

ASP编程（0）
Photoshop教程（0）
Linux服务器（0）
JavaScript（0）
Nginx（0）
故障排除（1）
XML/XSLT（1）
Windows 10（1）
程序设计（1）

他的归档

2023年10月（1）
2022年04月（3）

热门文章

1
电脑出现假死怎么办 假死故障大汇总
2
XSLT轻松入门第四章：XPath的语法
3
Win7系统打开CDR文件是空白的完美解决方案
4
NASA的10条代码编写原则NASA的10条代码编写原则