Experiments Suggest High-Level Formal Models and Automated Code Synthesis Significantly Increase Dependability Cordell Green and Stephen Westfold January 2001

First Page		Document Content
Date: 2011-11-07 15:32:17 Computing Software engineering Theoretical computer science Software testing Formal methods Software design Software bug Software quality		Experiments Suggest High-Level Formal Models and Automated Code Synthesis Significantly Increase Dependability Cordell Green and Stephen Westfold January 2001 Add to Reading List Source URL: www.kestrel.edu Download Document from Source Website File Size: 11,61 KB Share Document on Facebook