| Document Date: 2014-12-25 18:52:44
Open Document File Size: 36,42 KBShare Result on Facebook
City Reliable Software Pasadena / / Company Code1 Gerard J. Holzmann NASA/JPL Laboratory / Jet Propulsion Laboratory / / Facility California Institute of Technology / Developing Safety Critical Code1 Gerard J. Holzmann NASA/JPL Laboratory / Jet Propulsion Laboratory / / IndustryTerm mission critical software / serious software project / larger applications / software development effort / safety critical systems / metrics tools / serious software development projects / software components / large software development efforts / static checking tool / few freeware tools / obfuscation tool / software reliability / simpler solution / safety critical software / test support tools / / Organization California Institute of Technology / National Aeronautics and Space Administration / / Position process scheduler / programmer / / ProgrammingLanguage C / / ProvinceOrState California / / Technology logical unit / embedded processor / / URL http /
SocialTag |
The Power of Ten – Rules for Developing Safety Critical Code1 Gerard J. Holzmann NASA/JPL Laboratory for Reliable Software Pasadena, CA[removed]Most serious software development projects use coding guidelines. These guid