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

Celý popis

Uloženo v:
Podrobná bibliografie
Vydáno v:IEEE software Ročník 10; číslo 3; s. 30 - 41
Hlavní autor: Kant, E.
Médium: Journal Article
Jazyk:angličtina
Vydáno: Los Alamitos IEEE 01.05.1993
IEEE Computer Society
Témata:
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
On-line přístup:Získat plný text
Tagy: Přidat tag
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
Popis
Shrnutí: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.< >
Bibliografie: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