Delivering environmental decision support systems: software tools and techniques

AE Rizzoli, WJ Young - Environmental Modelling & Software, 1997 - Elsevier
… , or databases or other decision aids, and package them in a … To achieve model integration
we must make existing modelsmodels overcome the need for a mathematical formulation of …

The AMPL modeling language: An aid to formulating and solving optimization problems

DM Gay - Numerical Analysis and Optimization: NAO-III, Muscat …, 2015 - Springer
… Formulating a good model is often an iterative process: we repeatedly try a formulation,
examine its consequences, then modify it. As a simple example, the diet above is still not very …

… approach to aid the characterisation and identification of metabolites of a model drug; partial isotope enrichment combined with novel formula elucidation software

K Hobby, RT Gallagher, P Caldwell… - … in Mass Spectrometry …, 2009 - Wiley Online Library
… Simplicity software employed in this study to calculate the theoretical isotope models of
the ‘… to the qualitative analysis of the metabolites of a model drug with a pre-determined ‘designer…

A model to evaluate variables impacting the productivity of software maintenance projects

RD Banker, SM Datar, CF Kemerer - Management Science, 1991 - pubsonline.informs.org
… the aid of a model. In this research we develop an estimable model of software development2
… Our general model formulation supports a large number of variables. We illustrate the …

A study of user interface aids for model-oriented decision support systems

BLD Santos, ML Bariff - Management Science, 1988 - pubsonline.informs.org
… and choice in software aids will promote improved user performance. For model-based …
The iterative nature of the problem formulation process suggests that DSS provide interface …

The Virtual Cell: a software environment for computational cell biology

LM Loew, JC Schaff - TRENDS in Biotechnology, 2001 - cell.com
… few software … to aid the construction of cell biological models and the generation of simulations
from them. The system enables the formulation of both compartmental and spatial models, …

SAAM II: simulation, analysis, and modeling software for tracer and pharmacokinetic studies

PHR Barrett, BM Bell, C Cobelli, H Golde, A Schumitzky… - Metabolism, 1998 - Elsevier
… to the development of software tools to aid in kinetic analysis. … software tool, Simulation,
Analysis, and Modeling Software II (… A compartmental model is in fact a graphical formulation of a …

Model formulation: What experts think about and when

TR Willemain - Operations Research, 1995 - pubsonline.informs.org
… with the aid of modeling. What better way to begin improving model formulation than to …
Since the main goal of this study was to describe the process of model formulation by experts, it is …

The structure and value of modularity in software design

KJ Sullivan, WG Griswold, Y Cai, B Hallen - ACM SIGSOFT Software …, 2001 - dl.acm.org
… for software designers that neither Parnas’s formulation nor … In particular, we lack models for
assessing the relative … In this paper we introduce an approach to modeling software designs …

Model checking large software specifications

W Chan, RJ Anderson, P Beame… - … on software …, 1998 - ieeexplore.ieee.org
… of using model checking to aid specification development by … widespread application of
model checking to software systems. … This formula was found to be true for our model of the …