Richard M. Keller, Michal Rimon, Aseem Das  Home/Search
Context Related
| nasa.gov/ic/projects/sig...fia9329.ps Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: nasa.gov/ic/projects/sig...biblio (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Over the past 30 years, scientific software models have played an increasingly prominent role in the conduct of science. Unfortunately, scientific models can be difficult and time-consuming to implement, and there is little software engineering support specifically available for constructing scientific models. Because these models are not easily specified to scientifically-naive programmers, and because the scientist requires intimate knowledge of the code to conduct experiments, many... (Update)
Context of citations to this paper: More
.... design of hull geometries [Ellman et al. 1993] and a planetary scientist s model of the atmosphere of the moon Titan [Keller et al. 1994]. Simulators for such systems can be constructed as configurations of numerical integration and root extraction routines....
...as the behavior at a fixed point in time. The SIGMA system developed at NASA Ames Research Center [Keller and Rimon, 1992; Keller et al. 1994] is a tool which aids a scientist user in building a model. After the interaction with the user, it produces a model specified in...
Cited by: More
Generic Directed Acyclic Graphs - Generic Dags Tze (Correct)
A Multiple Criteria Decision Support System for Testing.. - Mackay, Robinson (2000) (Correct)
Deductive Synthesis of Numerical Simulation Programs from .. - Thomas Ellman Takahiro (1996) (Correct)
Active bibliography (related documents): More All
0.5: On the scattering-greenhouse effect of CO - Ice Clouds Pierrehumbert (Correct)
0.3: MC1: A Dynamic Vegetation Model for Estimating the.. - Bachelet, al. (Correct)
0.3: Prototyping of MODIS LAI and FPAR Algorithm with.. - Tian, Zhang.. (2000) (Correct)
Similar documents based on text: More All
0.5: Scientific Models as Works - Coleman (Correct)
0.1: Next Generation Remote Agent Planner - Jónsson, Morris, al. (1999) (Correct)
0.0: An Autonomous Spacecraft Agent Prototype - Pell, Bernard, Chien, Gat.. (1998) (Correct)
Related documents from co-citation: More All
3: Intelligent model selection for hillclimbing search in computer-aided design - Ellman, Keane et al. - 1993
3: Cambridge University Press (context) - Flannery, Press et al. - 1992
2: ons to Franz, Inc.'s Allegro Common Lisp foreign function interface (context) - Keane - 1996
BibTeX entry: (Update)
Keller, R. M.; Rimon, M.; and Das, A. 1994. A knowledge based prototyping environment for construction of scientific modeling software. Automated Software Engineering 1(1). http://citeseer.ist.psu.edu/keller94knowledgebased.html More
@misc{ keller94knowledge,
author = "R. Keller and M. Rimon and A. Das",
title = "A knowledge based prototyping environment for construction of scientific
modeling software",
text = "Keller, R. M.; Rimon, M.; and Das, A. 1994. A knowledge based prototyping
environment for construction of scientific modeling software. Automated
Software Engineering 1(1).",
year = "1994",
url = "citeseer.ist.psu.edu/keller94knowledgebased.html" }
Citations (may not include all citations):131 Readings in Qualitative Reasoning about Physical Systems (context) - Weld, deKleer - 1990
117 Compositional Modeling: Finding the right model for the job - Falkenhainer, Forbus - 1991
98 A System for Doing Mathematics by Computer (context) - Wolfram - 1988
82 Cyc: A Mid-Term Report (context) - Guha, Lenat - 1990
70 REDUCE User's Manual (context) - Hearn - 1991
48 Data Flow Program Graphs (context) - Davis, Keller - 1982
32 A Systematized Collection of ODE Solvers (context) - Hindmarsh - 1983
32 Intelligence in Scientific Computing - Abelson, Eisenberg et al. - 1989
28 Eco-Logic: Logic-Based Approaches to Ecological Modelling (context) - Robertson, Bundy et al. - 1991
26 Automated Modeling of Physical Systems (context) - Nayak - 1992
17 Approximation reformulations (context) - Weld - 1990
17 Scientific Programming by Automated Synthesis (context) - Kant, Daube et al. - 1991
16 Domain-Specific Automatic Programming (context) - Barstow - 1985
11 An Overview of GINA -- the Generic Interactive Application (context) - Spenke, Beilken - 1990
9 Graphs of models (context) - Addanki, Cremonini et al. - 1991
9 The Programming Language Aspects of ThingLab (context) - Borning - 1981
9 Reasoning with Worlds and Truth Maintenance in a Knowledge-B.. (context) - Filman - 1988
7 Visual Programming Environments (context) - Glinert - 1990
6 The ECO Program Construction System: ways of increasing its .. (context) - Robertson, Bundy et al. - 1989
5 Sharing and Reuse of Requirements Knowledge (context) - Johnson, Harris - 1991
4 Representation of Models for Expert Problem Solving in Physi.. (context) - Kook, Jr - 1991
3 A General Model of Forest Ecosystem Processes for Regional A.. (context) - Running, Coughlan - 1988
2 The Thermal Structure of Titan's Atmosphere (context) - McKay, Pollack et al. - 1989
1 Contexts: A formalization and some applications (context) - Environment, Scientific et al. - 1991
1 The Reason Project No (context) - Atwood, Blankenbecler et al. - 1990
1 SIMLAB: Automatically Creating Physical Systems Simulators (context) - Environment, Scientific et al. - 1991
1 Maple Users Guide (context) - Char - 1988
1 A Program to Generate Physics Simulation Codes from Natural .. (context) - Jr - 1990
1 An Overview of Fnix (context) - Barstow, Duffey et al. - 1982
1 Development of an Advanced Software Tool for Ecosystem Simul.. (context) - Dungan, Keller - 1991
1 Software product (context) - IDF - 1992
1 Domain Modeling -- Evolving Research (context) - Iscoe - 1991
1 Software products (context) - IThink - 1992
The graph only includes citing articles where the year of publication is known.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC