Texas Tech University, Department of Computer Science
TTU Home Whitacre College of Engineering Computer Science Research
Research Experiences for Undergraduates (REU) Past Participation Jeremy G. Valenzuela

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.