|
| 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
| ASCII Text | x | ||
| Richard K. Jüllig, "Applying Formal Software Synthesis," IEEE Software, vol. 10, no. 3, pp. 11-22, May/June, 1993. | |||
| BibTex | x | ||
| @article{ 10.1109/52.210596, author = {Richard K. Jüllig}, title = {Applying Formal Software Synthesis}, journal ={IEEE Software}, volume = {10}, number = {3}, issn = {0740-7459}, year = {1993}, pages = {11-22}, doi = {http://doi.ieeecomputersociety.org/10.1109/52.210596}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, } | |||
| RefWorks Procite/RefMan/Endnote | x | ||
| TY - MGZN JO - IEEE Software TI - Applying Formal Software Synthesis IS - 3 SN - 0740-7459 SP11 EP22 EPD - 11-22 A1 - Richard K. Jüllig, PY - 1993 KW - 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 VL - 10 JA - IEEE Software ER - | |||
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/52.210596
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.