Designing large software systems is one of the big technical challenges of our time. The
scope and complexity of software have now reached dimensions that push all established …

Der Inhalt umfaßt im wesentlichen den traditionellen Lehrstoff der Analysis-Kurse des ersten
Semesters an deutschen Universitäten und Technischen Hochschulen. Bei der Stoffauswahl …

Probleme begegnen uns täglich. Von einfachen Alltagsschwierigkeiten bis zu folgereichen
Lebensentscheidungen, von eng vernetzten Organisationsaufgaben bis zu globalen …

In this chapter we study Time Petri nets: After the introduction of this kind of time-dependent
Petri net, we will discuss variations of the rules defining the possible state changes. We then …

There have been drastic changes in a variety of corporations' competitive conditions. Goods,
labor, and information markets are increasingly globalized. The use of new communication …

Der Autor entwickelt in seinem nun in dritter Auflage vorliegenden Werk einen zeitgemäßen
Ansatz für den Informatikunterricht. In einem ersten, nicht fachspezifischen Teil werden …

Im kontinuierlich wachsenden Portfolio von Entwicklungstechniken zeichnen sich zwei
aktuelle Trends ab. Zum einen dominiert UML als Modellierungssprache. Zum anderen …

We present a first step towards a seamless integration of MSCS into the system
development process. In particular, we show how scenario-based system requirements …

This paper discusses a model-based approach to software development. It argues that an
approach using models as central development artifact needs to be added to the portfolio of …

Sinn dieser Übungsaufgabe ist es, den Zusammenhang zwischen kontinuierlicher und
diskreter Betrachtungsweise herzustellen. Eine ereignisdiskrete Betrachtung eines …