Research Results | Software Engineering Research / Developer Collaborations


	Search:	Advanced Search

Formal Methods < Verification & Validation < Results Home

Click here to complete a short survey. The results of this survey will be used to help us improve the research program and this website.

Click here to view research projects that had new research results added in the last 90 days.

Software Engineering Research / Developer Collaborations
Point of Contact	Mike Hinchey mike.hinchey@usa.net
Dates	January 2004 - December 2007
Problem	The challenge addressed is the technology infusion process within NASA, and in particular its difficulty due to lack of efficient mechanism for software engineering researchers to find partner software developers for collaborations, and conversely. The NASA Software Engineering Initiative Research Infusion subgroup is an initiative to infuse NASA-developed software engineering research as well as other software engineering tools and technology into use within NASA. Under this CSIP proposal we will fund two collaborations to transfer software assurance research products identified under NSEI Research Infusion into use by practitioners. The success of these collaborations will demonstrate the success of using the technology broker approach to Research Infusion at NASA
Objective	By February, 2005, 2006 & 2007: Initiate the selected (4-6) collaborations each year between software engineering researchers and practitioners. By December, 2005, 2006 & 2007: evaluate the progress of the collaborations for that year. By December, 2005, 2006 & 2007: report the recommended next steps for technology infusion of the selected research products, as well as lessons learned on the challenges and success factors for software engineering technology infusion within NASA. Our plan is for the duration of each collaboration to be under a year. However, in exceptional cases, we may consider longer durations (up to 18 mos.), to allow better data collection & success metrics.
Results	Revised Final Report.pdf SAS 05 Technical Presentation.ppt SAS 05 Executive Presentation.ppt SAS 06 Executive Presentation.ppt SAS 06 Technical Presentation.ppt GSFC Public FSB Application of Perspective-Based Inspections.pdf End-of-year briefing.pdf SW_Eng_Research_Dev_Collaborations-Final Reports on all funded collaborations.doc jpl_public_deliverable.zip SAS_07_RI_Presentation.ppt Code Sufer Final Report.doc Application of Perspective-based Inspections - Final Report.zip
Keywords	Software engineering, technology infusion, technology transfer, technology broker, abstract interpretation, program slicing, Perspective-based inspection, Orthogonal defect classification
Categories	Quality Assurance Quality Engineering Software Safety Dynamic Analysis Formal Methods Static Analysis Test Analysis

Curator: Josh Stonestreet
NASA Official: Lisa Montgomery

NASA Privacy, Security, Notices