![Systems engineering / Formal methods / Software requirements / Quality / Safety engineering / Dependability / Reliability engineering / Problem frames approach / Software development methodology / Software development / Software / Science Systems engineering / Formal methods / Software requirements / Quality / Safety engineering / Dependability / Reliability engineering / Problem frames approach / Software development methodology / Software development / Software / Science](https://www.pdfsearch.io/img/7e894e3612756534b939393c8f8720f3.jpg) Date: 2012-02-19 15:58:07Systems engineering Formal methods Software requirements Quality Safety engineering Dependability Reliability engineering Problem frames approach Software development methodology Software development Software Science | | A Lightweight Code Analysis and its Role in Evaluation of a Dependability Case Joseph P. Near, Aleksandar Milicevic, Eunsuk Kang, Daniel Jackson Computer Science and Artificial Intelligence Laboratory Massachusetts InstiAdd to Reading ListSource URL: people.csail.mit.eduDownload Document from Source Website File Size: 484,83 KBShare Document on Facebook
|