The Community for Technology Leaders
RSS Icon
Subscribe
Issue No.03 - May/June (1993 vol.10)
pp: 11-22
ABSTRACT
<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>
INDEX TERMS
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
CITATION
Richard K. Jüllig, "Applying Formal Software Synthesis", IEEE Software, vol.10, no. 3, pp. 11-22, May/June 1993, doi:10.1109/52.210596
27 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool