Date: 2013-04-25 12:55:41Software requirements Systems engineering Formal methods Requirement Software Requirements Specification Specification Software design Life-critical system Verification Software development Technology Software | | NRL Release Number[removed]Applying a Formal Requirements Method to Three NASA Systems: Lessons Learned Constance L. Heitmeyer and Ralph D. Jeffords Naval Research Laboratory (Code 5546)Add to Reading ListSource URL: www.nrl.navy.milDownload Document from Source Website File Size: 616,10 KBShare Document on Facebook
|