• Tony Hürlimann
Part of the Applied Optimization book series (APOP, volume 31)


Computer-based modeling is not an “ad hoc science” where we could apply the slogan “everything goes”; on the contrary, it is, like software engineering, a discipline which must follow certain criteria of quality. These criteria are reliability to ensure correctness and robustness of models, and transparency to enhance model extendibility, reusability and compatibility. Reliability can be achieved by a unique notation, in which models are coded, by a formal specification of its semantics, and by introducing types, units and other checking mechanisms, in order to enforce domain consistencies. Transparency can be obtained by flexible decomposition techniques which fractionates the whole model into easily maintainable software modules and components.


Software Engineering Modeling Language Procedural Knowledge Indexing Mechanism Language Design 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer Science+Business Media Dordrecht 1999

Authors and Affiliations

  • Tony Hürlimann
    • 1
  1. 1.Institute for InformaticsUniversity of FribourgSwitzerland

Personalised recommendations