Jeremy G. Valenzuela
A Foundation for Automatic Programming Using the Descartes Specification Language
Specification languages were created in order to bridge the gap between software analysis and design. On the other hand, many have sought to close the gap using automatic programming methods. A popular method in automatic programming is creating a program that converts system specifications into code, which was the focus of this research. Descartes is the executable specification language that was chosen for this research because it provides formal specifications, design assurance, and it is easily extendable, which are all attributes needed in proper software development. These research results provide a foundation for extensions to Descartes that would further the work on creation of an automatic programming system using Descartes. Namely, a Descartes executor, that translates Descartes modules into C++ code.