Synthesis of mathematical-modeling software
- 1 May 1993
- journal article
- Published by Institute of Electrical and Electronics Engineers (IEEE) in IEEE Software
- Vol. 10 (3) , 30-41
- https://doi.org/10.1109/52.210600
Abstract
Sinapse, a knowledge-based, domain-specific system for synthesizing mathematical-modeling software, is discussed. Sinapse generates Fortran-77, Connection Machine Fortran, or C programs from specifications of mathematical equations and numerical methods. The synthesis process is divided into phases of refinement that attempt to duplicate the users' problem-solving processes in the design, implementation, and evolution states of mathematical modeling. These phases, with automated implementation, help modelers increase their productivity because they can write concise specifications and quickly experiment with variations on their models and algorithms by modifying specifications rather than implementations.Keywords
This publication has 4 references indexed in Scilit:
- A knowledge-based software development environment for scientific model-buildingPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- Seven layers of knowledge representation and reasoning in support of software developmentIEEE Transactions on Software Engineering, 1992
- On the Efficient Synthesis of Efficient ProgramsPublished by Elsevier ,1986
- Research on Knowledge-Based Software Environments at Kestrel InstituteIEEE Transactions on Software Engineering, 1985