![Computer programming / Formal specification / Programming language / Specification / C / Software development process / Ada / Algorithm / Axiomatic system / Computing / Formal methods / Software engineering Computer programming / Formal specification / Programming language / Specification / C / Software development process / Ada / Algorithm / Axiomatic system / Computing / Formal methods / Software engineering](https://www.pdfsearch.io/img/5bab0a3e41569b69a7299194e9163902.jpg) Date: 2013-01-14 11:58:09Computer programming Formal specification Programming language Specification C Software development process Ada Algorithm Axiomatic system Computing Formal methods Software engineering | | Automatic Programming Using Axiomatic Language Walter W. Wilson & Yu Lei, The Univ. of Texas at Arlington This grand challenge seeks to improve programmer productivity and software reliability. We assert that the ideal pAdd to Reading ListSource URL: www.axiomaticlanguage.orgDownload Document from Source Website File Size: 49,36 KBShare Document on Facebook
|