Sciweavers

121 search results - page 25 / 25
» Modeling Aspect Mechanisms: A Top-Down Approach
Sort
View
EMSOFT
2011
Springer
12 years 5 months ago
Software certification: coding, code, and coders
We describe a certification approach for software development that has been adopted at our organization. JPL develops robotic spacecraft for the exploration of the solar system. T...
Klaus Havelund, Gerard J. Holzmann