Refiner: A Problem-Solving Environment for Scientific Simulator Creation

DOI10.1177/0037549702078011002MaRDI QIDQ4456573zbMATH OpenOpenAlexFDO

Authors Kenny A. Hunt, James F. Cremer

Publication date 16 March 2004

Published in SIMULATION (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1177/0037549702078011002

zbMATH Keywords

formal specificationprogram refinementcode generationprogram transformationPSEscientific simulation

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)

Recommendations

• scientific article; zbMATH DE number 1538927
• A Fortran programming system for computional problems
• Automatically building customized circuit-based simulation models using symbolic computing
• Component‐based, problem‐solving environments for large‐scale scientific computing
• Publication:4861677

Cites work

• scientific article; zbMATH DE number 417605 (Why is no real title available?)
• scientific article; zbMATH DE number 50188 (Why is no real title available?)
• scientific article; zbMATH DE number 107769 (Why is no real title available?)
• scientific article; zbMATH DE number 1292563 (Why is no real title available?)
• scientific article; zbMATH DE number 1324523 (Why is no real title available?)
• scientific article; zbMATH DE number 1131170 (Why is no real title available?)
• scientific article; zbMATH DE number 1497425 (Why is no real title available?)
• Program development by stepwise refinement
• Qualitative simulation

Cited in

(4)

• Automatically building customized circuit-based simulation models using symbolic computing
• scientific article; zbMATH DE number 3881872 (Why is no real title available?)
• Refiner
• Telescoping languages: A strategy for automatic generation of scientific problem-solving systems from annotated libraries

Describes a project that uses

Uses Software

• Mathematica
• OOPM
• AMPL
• ACSL

This page was built for publication: Refiner: A Problem-Solving Environment for Scientific Simulator Creation

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4456573)