Synthesis of mathematical-modeling software

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...

Full description

Saved in:
Bibliographic Details
Published in:IEEE software Vol. 10; no. 3; pp. 30 - 41
Main Author: Kant, E.
Format: Journal Article
Language:English
Published: Los Alamitos IEEE 01.05.1993
IEEE Computer Society
Subjects:
Algebra
Algorithms
Application software
Approximation
Automation
Computer science
Coordinate transformations
Equations
Fourier transforms
Inheritances
Interfaces
Knowledge
Laboratories
Language
Mathematical model
Mathematical programming
Mathematics
Power system modeling
Product development
Propagation
Scientific computing
Software
Software systems
Space heating
ISSN:0740-7459, 1937-4194
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary: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.< >
Bibliography:ObjectType-Article-1
SourceType-Scholarly Journals-1
content type line 14
ObjectType-Article-2
ObjectType-Feature-1
content type line 23
ISSN:0740-7459
1937-4194
DOI:10.1109/52.210600