Toward reliable reactive systems
IWSSD '89 Proceedings of the 5th international workshop on Software specification and design
KIDS: A Semiautomatic Program Development System
IEEE Transactions on Software Engineering
The CARE toolset for developing verified programs from formal specifications
SAST '96 Proceedings of the Proceedings of the Fourth International Symposium on Assessment of Software Tools (SAST '96)
| Hi-index | 0.00 |
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.