This chapter gives a general overview of some modeling tools that support the specification and verification of a mathematical model, as well as its analysis, maintenance, and documentation. While computerized modeling is an art, it is an art based on knowledge — both in the disciplinary field relevant to the phenomena represented by a model and in the interdisciplinary field of computational techniques of modeling. This chapter attempts to give a basic overview of the second interdisciplinary field.
Unable to display preview. Download preview PDF.