This paper addresses the problem of implementing an context model. First, the abstract context model is represented by a network of situations. Two different implementations for t...
We developed an infant circulation model which incorporates an accurate myocardial cell model including a beta adrenergic system. The beta adrenergic system is essential for the re...
We identify the success factors of collaborative modeling of business processes by a qualitative analysis of the experiences of participants in group modeling sessions. The factors...
Several methods based upon textual programming languages or graphical notations have been proposed for manual modeling of business process models. But since manual process modeling...
Thomas Hornung, Agnes Koschmider, Andreas Oberweis
Model programs are high-level behavioral specifications used for software testing and design analysis. Composition of model programs is a versatile technique that, at one end of t...