{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T20:59:46Z","timestamp":1725569986062},"reference-count":6,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006,11]]},"DOI":"10.1109\/isola.2006.56","type":"proceedings-article","created":{"date-parts":[[2008,3,12]],"date-time":"2008-03-12T22:18:00Z","timestamp":1205360280000},"page":"18-27","source":"Crossref","is-referenced-by-count":1,"title":["Software Assurance Research Infusion: The NASA Experience"],"prefix":"10.1109","author":[{"given":"Michael G.","family":"Hinchey","sequence":"first","affiliation":[]},{"given":"Thomas","family":"Pressburger","sequence":"additional","affiliation":[]},{"given":"Martin S.","family":"Feather","sequence":"additional","affiliation":[]},{"given":"Lawrence","family":"Markosian","sequence":"additional","affiliation":[]},{"given":"Wes","family":"Deadrick","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/AERO.2007.352763"},{"key":"ref3","article-title":"The SAVE Tool and Process Applied to Ground Control Development at JHU\/APL: An Experience Report on Technology Infusion","author":"stratton","year":"2006","journal-title":"Proc SEW-31 sr’ Annual IEEE Software Engineering Workshop"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/SMC-IT.2006.38"},{"journal-title":"Diffusion of Innovations","year":"2003","author":"rogers","key":"ref5"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1145\/1138046.1138060"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/AERO.2006.1656014"}],"event":{"name":"Second International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (isola 2006)","start":{"date-parts":[[2006,11,15]]},"location":"Paphos, Cyprus","end":{"date-parts":[[2006,11,19]]}},"container-title":["Second International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (isola 2006)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/4463675\/4463676\/04463690.pdf?arnumber=4463690","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,15]],"date-time":"2017-03-15T19:25:07Z","timestamp":1489605907000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/4463690\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006,11]]},"references-count":6,"URL":"https:\/\/doi.org\/10.1109\/isola.2006.56","relation":{},"subject":[],"published":{"date-parts":[[2006,11]]}}}