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

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:IEEE software Jg. 10; H. 3; S. 30 - 41
1. Verfasser: Kant, E.
Format: Journal Article
Sprache:Englisch
Veröffentlicht: Los Alamitos IEEE 01.05.1993
IEEE Computer Society
Schlagworte:
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-Zugang:Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung: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.< >
Bibliographie: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