This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Applying Formal Software Synthesis
May/June 1993 (vol. 10 no. 3)
pp. 11-22

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.

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
Usage of this product signifies your acceptance of the Terms of Use.