CONVERSION OF EXECUTABLE DESCARTES SPECIFICATIONS INTO PROGRAM CODE

摘要

Automatic programming is the systematic generation of arnprogram from a given specification. The goal of automaticrnprogramming is to allow programmers to specify what arnprogram should do, and let the system generate the programrncode describing how the given program will work.rnPrograms can be specified using a constructible, formal, andrncomprehensible specification language. Descartes is onernsuch formal specification language, based on the functionalrnmodel and has the advantages of easy constructability andrncomprehensibility. This paper overviews the use of formalrnmethods to specify requirements and the advantage of usingrnan executable formal specification language in order tornspecify software systems. In Descartes, specifications arerndescribed by defining the input and output data and relatingrnthe output data as a function of the input data. This researchrnpaper analyzes the various approaches towards automaticrnprogramming and reduces the gap between specification andrnprogramming, by introducing a method to automaticallyrntransform a Descartes specification of a program intornexecutable Java code.