Research Results | See More! Learn More! Tell More!


	Search:	Advanced Search

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.

See More! Learn More! Tell More!
Point of Contact	Tim Menzies tim@menzies.us
Dates	January 2003 - December 2006
Problem	The aerospace industry in general and NASA in particular is using more (semi-formal or formal) model-based software. While IV&V practitioners know how to assess standard procedural systems, how are we to assess these model-based systems?
Objective	The Menzies-Raffo method of model comprehension is applicable to NASA. The method is quick to apply. The method reveal both significant errors and work-arounds for those errors.
Results	Reports to SAS 2004.ppt SAS 05 Executive Briefing.ppt 2004 Training session held at a NASA Center on data mining methods.pdf Publication in some internationally refereed forum 2004.pdf SAS 05 Technical Presentation.pdf 2005 Training session held at a NASA center on data mining methods.pdf Publication in some internationally refereed forum 2005.pdf
Keywords
Categories	Code Analysis Design Analysis Dynamic Analysis Requirements Analysis Static Analysis Test Analysis

Curator: Josh Stonestreet
NASA Official: Lisa Montgomery