Wir berichten von zwei ähnlichen Softwaretechnikpraktika mit Schwerpunkt Qualitätssicherung. In der ersten Version wurde ein freies Softwaresystem entlang wöchentlicher Übungsblätter hinsichtlich Qualitätsmängel untersucht. Im Kontrast zu diesem sehr angeleiteten Vorgehen gab es in der zweiten Version lediglich die eine Zielvorgabe, möglichst viele Schwachstellen zu finden. Der Weg dorthin blie...

Zusammenfassung. Mobile Roboter, die Tätigkeiten in einer IndoorUmgebung ausführen sollen, benötigen zur Orientierung eine Karte ihrer Umgebung, die sie im besten Falle selbst erstellen sollten. Bei der Exploration unbekannter Umgebung hat sich die Verwendung topologiebasierter Karten als sinnvoll erwiesen, da diese die Lokalisierung und Navigation für mobile Roboter vereinfachen. Probleme gab ...

Im Jahr 2007 gab es außerdem einen Workshop mit einem erweiterten Teilnehmerkreis zu dem speziellen Thema Metamodellierung. Dieser Workshop fand am 4. und 5. Mai 2007 in Bad Endorf statt. Anlass für den Workshop war u.a. eine Artikelserie zu diesem Thema in der Zeitschrift Software and Systems Modeling (SoSyM) Vol. 5, Nr. 4. Der Autor des auslösenden Artikels Matters on (Meta-) Modeling Thomas ...

Viral or buzz marketing takes advantage of communication linkages to propagate positive in uence regarding a product or service. TelE-commerce is an ideal domain within which to study viral marketing, because communication linkages can be observed. In this paper, we follow a new telE-commerce service. In particular, we observe how the communication networks of existing customers in uence the ra...

In the following statement, gr denotes the category of free groups of finite rank, VecQ the category of Q-vector spaces, a : gr→ VecQ the composition of abelianisation and rationalisation (a(G) = Gab ⊗ Q) and Λ the j-th exterior power. As usual, Fr is a free group of rank r; gr-Mod is the category of functors from gr to VecQ. Theorem 1. Let F : gr → VecQ be a polynomial functor of degree d and ...

We study triangulated surface models with nontrivial surface metrices for membranes. The surface model is defined by a mapping r from a two-dimensional parameter space M to the three-dimensional Euclidean space R3. The metric variable gab, which is always fixed to the Euclidean metric δab, can be extended to a more general non-Euclidean metric on M in the continuous model. The problem we focus ...

Mobile government (M-government) is a new delivery channel for governments to provide timely information and services ubiquitously to residents, businesses and other government departments through mobile devices. Developing countries have a higher mobile penetration rate than the fixed line internet rates which opens doors of opportunities for these countries to bridge the digital gab and gain ...

G(u,u',u") = 0, (1) where u = u(x, x,..., x), and u', u" denote all the first and second partial derivatives of u. For simplicity we will assume here that both u and G are scalars and denote by ua, uab, the partial derivatives dau and respectively dahu; a,b =1,2, ..., n+1. Let u (x) be a given solution of (1). Our equation is said to be elliptic or hyperbolic at u°(x) according to whether the (...