Automatic Programming Using Axiomatic Language Walter W. Wilson - Process Specification Language - Document - PDFSEARCH.IO

First Page	Meta Content
	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 p Add to Reading List Document Date: 2013-01-14 11:58:09 Open Document File Size: 49,36 KB Share Result on Facebook IndustryTerm internal processing / software reliability / / Organization Univ. of Texas / / Person Walter W. Wilson / / Position candidate for formal methods and proof / programmer / / ProvinceOrState Texas / / URL http / SocialTag Computer programming Formal specification Programming language Specification C Software development process Ada Algorithm Axiomatic system Computing

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 List