职业分类
软件开发工程师
描述
Write, refactor, and audit high-reliability code using Gerard J. Holzmann's NASA/JPL Power of Ten rules. Use for safety-critical or mission-critical code, embedded and real-time C/C++, bounded execution and memory reviews, strict static-analysis readiness, or…
原文语言：英语
更新