4 ms·
The coding standard is one of six parts of Dr. Holzmann's formula for building robust software. You can read more about Dr. Holzmann and the other 5 parts at "
by atsaloli 12y ago
The coding standard is one of six parts of Dr. Holzmann's formula for building robust software.
You can read more about Dr. Holzmann and the other 5 parts at "Making robust software" http://www.verticalsysadmin.com/making_robust_software http://www.verticalsysadmin.com/making_robust_software, my notes on Dr. Holzmann's "Mars Code" talk at USENIX HotDep '12 mini-conf (full video of talk: https://www.usenix.org/conference/hotdep12/workshop-program/presentation/holzmann https://www.usenix.org/conference/hotdep12/workshop-program/...)