직업 분류
소프트웨어 개발자
설명
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…
원문 언어: 영어
업데이트