Developing a Value-Based Methodology for Satisfying NASA Software Assurance Requirements | IEEE Conference Publication | IEEE Xplore