Applying formal software synthesis
- 1 May 1993
- journal article
- Published by Institute of Electrical and Electronics Engineers (IEEE) in IEEE Software
- Vol. 10 (3) , 11-22
- https://doi.org/10.1109/52.210596
Abstract
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.Keywords
This publication has 5 references indexed in Scilit:
- Track assignment in an air traffic control system: a rational reconstruction of system designPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- A mechanical verifier for supporting the design of reliable reactive systemsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Automated Design of Displays for Technical DataPublished by Defense Technical Information Center (DTIC) ,1990
- KIDS: a semiautomatic program development systemIEEE Transactions on Software Engineering, 1990
- Toward reliable reactive systemsPublished by Association for Computing Machinery (ACM) ,1989