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

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.

Index Terms:
mathematical modeling software synthesis; knowledge based system; Sinapse; Fortran-77; Connection Machine Fortran; C programs; specifications; mathematical equations; numerical methods; problem-solving; automatic programming; formal specification; knowledge based systems; mathematics computing; software tools
Citation:
Elaine Kant, "Synthesis of Mathematical-Modeling Software," IEEE Software, vol. 10, no. 3, pp. 30-41, May-June 1993, doi:10.1109/52.210600
Usage of this product signifies your acceptance of the Terms of Use.