![Computing / Software engineering / Theoretical computer science / Software testing / Formal methods / Software design / Software bug / Software quality Computing / Software engineering / Theoretical computer science / Software testing / Formal methods / Software design / Software bug / Software quality](https://www.pdfsearch.io/img/062e7a58dfab3a45f32f949e34be067c.jpg) Date: 2011-11-07 15:32:17Computing 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 2001Add to Reading ListSource URL: www.kestrel.eduDownload Document from Source Website File Size: 11,61 KBShare Document on Facebook
|