Issue No. 03 - May/June (1993 vol. 10)
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/52.210596
<p>A software synthesis method that combines elements of graphical tools, specification writing, and code construction is discussed. Practical applications of the components and efforts to integrate them into a conceptually coherent prototype environment are described. The hallmarks of the approach are the use of formal methods and a general-purpose inference engine, supported by a comprehensive, interactive development environment. The development model is a formal method, but it differs from other formal approaches in that its notations are used primarily to represent programming knowledge and support automated code generation. The performance of the system is also described.</p>
system performance; software synthesis method; graphical tools; specification writing; code construction; prototype environment; general-purpose inference engine; interactive development environment; automated code generation; automatic programming; formal specification; programming environments; software tools
R. K. Jüllig, "Applying Formal Software Synthesis," in IEEE Software, vol. 10, no. , pp. 11-22, 1993.