Die Programmierung ist das zentrale Arbeitsfeld der praktischen Informatik; das erste Kapitel gibt einen kurzen Überblick in das Umfeld und die Bedeutung dieses Kerngebiets: Die charakteristischen Eigenschaften verschiedener Sprachtypen und ihre Entwicklung sowie grundlegende Sichtweisen und...

Bei der Bearbeitung von ad-hoc Tätigkeiten am kollaborativen Arbeitsplatz ist häufig der Zugriff auf eine größere Anzahl von Dokumenten notwendig, die verteilt über verschiedene Repositories vorliegen. Bei der Aktivitäts-zentrischen Organisation und Strukturierung dieser Dokumente wird der...

This paper describes MOLES 1.0, an integrated land-use and transport model developed with Object-Oriented Programming principles in order to combine selected characteristics from Spatial Computable General Equilibrium and microsimulation models.

In diesem dritten Teil einer Reihe von Arbeitspapieren wird schwerpunktmäßig die algebraische Spezifikation abstrakter Datentypen behandelt. Ausgehend von den Problemen einer Fixierung auf die syntaktischen Aspekte von Datentypen erfolgt eine Abgrenzung verschiedener Interpretationen des...

A toric arrangement is a finite set of hypersurfaces in a complex torus, every hypersurface being the kernel of a character. In the present paper we build a CW-complex S homotopy equivalent to the arrangement complement Rx, with a combinatorial description similar to that of the well-known...

A toric arrangement is a finite set of hypersurfaces in a complex torus, every hypersurface being the kernel of a character. In the present paper we build a CW-complex S homotopy equivalent to the arrangement complement Rx, with a combinatorial description similar to that of the well-known...

The Web Ontology Language (OWL) is the most expressive standard language for modeling ontologies on the Semantic Web. In this paper, we present a temporal extension of the very expressive fragment SHIN(D) of the OWL-DL language resulting in the tOWL language. Through a layered approach we...

We present an object-oriented software framework allowing to specify, solve, and estimate nonlinear dynamic general equilibrium (DSGE) models. The implemented solution methods for finding the unknown policy function are the standard linearization around the deterministic steady state, and a...

We present an object-oriented software framework allowing to specify, solve, and estimate nonlinear dynamic general equilibrium (DSGE) models. The implemented solution methods for finding the unknown policy function are the standard linearization around the deterministic steady state, and a...

Controlling sichert die Rationalität der Unternehmensführung. Wie genau können dann aber Rationalitätsdefizite im Rahmen der Unternehmensführung greifbar gemacht werden? Die Beitragsautoren wählen in diesem Werk die Methode der abnehmenden Abstraktion von Siegwart M. Lindenberg als...

Objekte und Objektklassen -- Assoziationen -- Assoziationsklassen -- Aggregation und Komposition -- Generalisierung / Spezialisierung -- Zusammenwirken durch Nachrichtenverkehr -- Modellierung von Verhalten und Abl#x00E4;ufen -- Aktionen -- Aktivit#x00E4;ten -- Sequenzen -- Anwendungsf#x00E4;lle --...

Angesichts der wachsenden Bedeutung von Informationen als strategischer Erfolgsfaktor hat die strategische Informationssystemplanung neben der Unterstützung der Unternehmungsstrategie auch die Aufgabe, der Unternehmung neue Wettbewerbspotentiale zu erschließen. Die Einrichtung einer geeigneten...

"The software engineering community has advanced greatly in recent years and we currently have numerous defined items of knowledge, such as standards, methodologies, methods, metrics, techniques, languages, patterns, knowledge related to processes, concepts, etc.The main objective of this book...

Many formal approaches for pattern specification are emerging as a means to cope with the inherent shortcomings of informal description. This book presents multiple mathematical, formal approaches for pattern specification, emphasizing software development processes for engineering disciplines....