Jens Kohlmeyer

Learn More
State Machines In diesem Kapitel wird der Formalismus der Abstract State Machines (ASMs) eingeführt. Mit den ASMs kann das Verhalten eines Systems formal beschrieben werden, wie im nächsten Abschnitt erläutert wird. In dieser Arbeit werden die ASMs verwendet, um die formalen Semantiken der einzelnen UML 2 Modelle und die Semantik für deren Verknüpfung zu(More)
We define a formal semantics of the combined use of UML 2 state machines, activities and interactions using Abstract State Machines. The behaviour of software models can henceforth be specified by composing these diagrams, choosing the most adequate formalism at each level of abstraction. We present several reasonable ways to link different kinds of(More)
The Model Driven Development propagates facilitation of modification and maintenance of software. Abstraction and graphical formalization combined with code generation indeed facilitates the Unanticipated Software Evolution, but is often restricted to early phases of software development. Usually, only class stubs are generated from class diagrams. We try(More)
We present an approach to Model Driven Development that combines models and code in a new way. UML 2 activity diagrams created for modeling control flows during analysis and design are seamlessly reused for the implementation phase. A model interpreter executes these diagrams and calls handwritten code at specific points. The degree of functionality modeled(More)
der Pilz Trichoderma lignorum, der bei Myzellarinokulation immer das Welken der infizierten Zweige verursacht . 0. Eichhorn Wildbolz, Th. n. W. Vogel, 1959: Uber den EinfluB von inteusiver and sebonender Insektizidsprii3ung in Apfelanlagen. Schweiz. Z . f. Obstu. Weinbau, 68, S. 78-86. Die Autoren fiihren seit einer Reihe von Jahren ansgedehnte(More)
Informationssysteme werden oftmals in einer Schichtenarchitektur realisiert, die Datenbankund Anwendungscode zur besseren Übersicht, Wartung und Verteilung trennt. Dennoch ist es nicht möglich, den Anwendungscode vollkommen frei von Datenbankaspekten zu halten, da oftmals auch die Synchronisation auf dieser Ebene erfolgen muss. Um eine vollständige Trennung(More)
OBJECTIVE Somatosensory evoked potentials (SSEPs) could be suitable for elucidating the properties of synaptic potentials (SPs). Two experiments were designed for this purpose. METHODS 1st experiment: the sural nerve was stimulated in 13 subjects with single or trains of 3 stimuli (1Hz or 0.4Hz), the within train interstimulus interval (ISI) was stepwise(More)
  • 1