Refiner: A Problem-Solving Environment for Scientific Simulator Creation

DOI10.1177/0037549702078011002zbMATH Open1060.68137OpenAlexW2054788679MaRDI QIDQ4456573FDOQ4456573

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

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

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)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Qualitative simulation
• Program development by stepwise refinement
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)

Cited In (4)

• Automatically building customized circuit-based simulation models using symbolic computing
• Telescoping languages: A strategy for automatic generation of scientific problem-solving systems from annotated libraries
• Refiner
• Title not available (Why is that?)

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)