Automation of Java Code Analysis for Programming Exercises

In this paper we present a tool environment for semi-automatic verification of basic programming exercises. We describe how graph transformation can be used for analysis of code structures and present an example from a current course

eine graphbasierte Sprache zur Spezifikation komplexer Suchmuster für die statische Quelltextanalyse

Das Ziel dieser Arbeit ist die Darstellung einer graphbasierten Sprache für die Beschreibung komplexer Suchmuster zur Quelltextanalyse. Der Fokus liegt auf der Möglichkeit einer modularisierten Musterspezifikation, so dass der Nutzer komplexe Muster über die Kombination einzelner Module erstellen kann. Die Sprachsyntax basiert sowohl auf dem Abstrakten Syntaxbaum, als auch auf Elementen der Graphtypen Kontrollabhängigkeitsgraph und Datenabhängigkeitsgraph. Somit kann in einer Musterspezifikation die Graphrepräsentation von Java Syntaxelementen mit abstrakteren Abhängigkeitsbeziehungen kombiniert werden

Designing runtime variation points in product line architectures: Three cases

Abstract. Software product lines provide a common architecture, reusable code, and other common assets for a set of related software products. Variation is a central requirement in this context, as the product line components have to be instantiated, composed, and configured in the context of the products. In many approaches either static composition techniques or dynamic composition techniques based on loose relationships, such as association, aggregation, or replacement of entities, are proposed to design the variation points. If the domain of the product requires runtime variation, however, these approaches do not provide any central management facility for the runtime variation points. As a solution to this problem, we propose a pattern language that provides a domain-specific variation language and runtime variation point management facilities as part of the product line. We present three case studies from the areas of interactive digital television and document archiving in which we have applied this pattern language.

„Die Metaphysik der evolutionären Ökonomik“, in: Erwägen, Wissen, Ethik (EWE) vormals Ethik und Sozialwissenschaften (EuS): Streitforum für Erwägungs- kultur

Köllmann C. Die Metaphysik der evolutionären Ökonomik. In: Erwägen, Wissen, Ethik(EWE) vormals Ethik und Sozialwissenschaften (EuS) ., ed. Streitforum fürErwägungskultur. Vol 15. 2004: 80-82