open_access
Refine
Year of publication
- 2015 (26) (remove)
Document Type
- Doctoral Thesis (19)
- Part of Periodical (6)
- Other (1)
Has Fulltext
- yes (26)
Is part of the Bibliography
- no (26) (remove)
Keywords
- Computersicherheit (2)
- (generalized) border bases (1)
- (lokale) Bildmerkmale (1)
- AGG (1)
- Abfrageverarbeitung (1)
- Antidiskriminierungsrecht (1)
- Approximation (1)
- Beobachtung (1)
- Beobachtung im Schulpraktikum (1)
- Bildverarbeitung (1)
Institute
Static analysis tools and transformation engines for source code belong to the standard equipment of a software developer. Their use simplifies a developer's everyday work of maintaining and evolving software systems significantly and, hence, accounts for much of a developer's programming efficiency and programming productivity. This is also beneficial from a financial point of view, as programming errors are early detected and avoided in the the development process, thus the use of static analysis tools reduces the overall software-development costs considerably.
In practice, software systems are often developed as configurable systems to account for different requirements of application scenarios and use cases. To implement configurable systems, developers often use compile-time implementation techniques, such as preprocessors, by using #ifdef directives. Configuration options control the inclusion and exclusion of #ifdef-annotated source code and their selection/deselection serve as an input for generating tailor-made system variants on demand. Existing configurable systems, such as the linux kernel, often provide thousands of configuration options, forming a huge configuration space with billions of system variants.
Unfortunately, existing tool support cannot handle the myriads of system variants that can typically be derived from a configurable system. Analysis and transformation tools are not prepared for variability in source code, and, hence, they may process it incorrectly with the result of an incomplete and often broken tool support.
We challenge the way configurable systems are analyzed and transformed by introducing variability-aware static analysis tools and a variability-aware transformation engine for configurable systems' development. The main idea of such tool support is to exploit commonalities between system variants, reducing the effort of analyzing and transforming a configurable system. In particular, we develop novel analysis approaches for analyzing the myriads of system variants and compare them to state-of-the-art analysis approaches (namely sampling). The comparison shows that variability-aware analysis is complete (with respect to covering the whole configuration space), efficient (it outperforms some of the sampling heuristics), and scales even to large software systems. We demonstrate that variability-aware analysis is even practical when using it with non-trivial case studies, such as the linux kernel.
On top of variability-aware analysis, we develop a transformation engine for C, which respects variability induced by the preprocessor. The engine provides three common refactorings (rename identifier, extract function, and inline function) and overcomes shortcomings (completeness, use of heuristics, and scalability issues) of existing engines, while still being semantics-preserving with respect to all variants and being fast, providing an instantaneous user experience. To validate semantics preservation, we extend a standard testing approach for refactoring engines with variability and show in real-world case studies the effectiveness and scalability of our engine.
In the end, our analysis and transformation techniques show that configurable systems can efficiently be analyzed and transformed (even for large-scale systems), providing the same guarantees for configurable systems as for standard systems in terms of detecting and avoiding programming errors.
Krise … continued: Populärkulturelle Funktionen seriellen Krisenerzählens am Beispiel Breaking Bad
(2015)
Die zentrale Fragestellung der folgenden Ausführungen wird dementsprechend lauten, durch welche scheinbar extrem populären Merkmale sich BREAKING BAD aufbauend oder abweichend von Gattungskonventionen auszeichnet und inwiefern diese mit dem kulturellen Krisendiskurs des Produktionszeitraumes korrelieren. Dabei wird die Serie als spezifische Form der Krisenartikulation und -bearbeitung analysiert. Dazu werden anfangs einige theoretische Erwägungen zum seriellen Erzählen vorausgeschickt. Im Rahmen der darauf folgenden Handlungsanalyse wird insbesondere auf das vorgeführte Familienmodell, die kausale Weltordnung der Diegese, Identitätskonflikte des Protagonisten, Bürgerlichkeit als Krisenraum sowie das hier propagierte Gegenmodell poetischer Gerechtigkeit einzugehen sein. Abschließend sollen die daraus resultierenden Befunde einer zusammenfassenden Analyse des Krisendiskurses in BREAKING BAD dienen.
Die erfolgreichsten deutschsprachigen Kino-Produktionen der Jahre 2012 und 2013 erzählen humoristisch von der interkulturellen Annäherung und Verpartnerung zwischen „Deutschen“ und „Migranten mit deutschem Pass“–, so jedenfalls lautet die Bezeichnung in einem intradiegetischen fiktiven Beitrag des ARDONachtmagazins in TÜRKISCH FÜR ANFÄNGER. Diese der Tagesschau-Redaktion unterstellte und von der offiziellen Sprachregelung „Menschen mit Migrationshintergrund“ signifikant abweichende Wortwahl dient einer filmischen Kritik an der öffentlichen Rede über die bezeichneten Personen(-gruppen) in Deutschland, weil sie den Aspekt der (Neu-)Zuwanderung und systemischen Fremdheit bei Menschen ohne eigene Migrations-erfahrung, die bereits in zweiter Generation deutsche Staatsangehörige sind, markiert. En passant und bar jeden Witzes attestiert der Film damit öffentlichen Instanzen – als eine solche wird die Tagesschau im Medienbereich wahrgenommen –, dass sie Personen die Anerkennung einer sozialen und kulturellen Zugehörigkeit verweigern, die faktisch deutsche Mitbürger sind und das Recht haben, als solche betrachtet zu werden: „Wo kommst’n her?“ fragt der Deutschtürke Cem den Deutschgriechen Costa; „Steglitz“, ist die selbstverständliche Antwort, während der Nachrichtenbeitrag im Film zwar eine juristisch-formale (deutscher Pass), nicht aber kulturelle deutsche Identität eben dieser beiden Figuren behauptet. Zentraler Gegenstand der filmischen Verhandlung in TÜRKISCH FÜR ANFÄNGER ist damit das Verhältnis von Deutschen und Postmigranten – so der auch von der Bundeszentrale für politische Bildung aktuell bevorzugte Begriff, der nach Naika Foroutan einer „nationalen und kulturellen Mehrfachzugehörigkeit und -identifikation von Individuen“ Rechnung trägt.
”Volkstümliche Musik” is a significant phenomenon (at least) of the early 1990s. The analysis of this phenomenon can paradigmatically represent the discursive practices and sub-thought systems of large parts of the population of the Federal Republic of Germany at this time. ”Volkstümliche Musik” depends on the political situation and indirectly deals with the needs and problems of individuals which result from such a situation and which lie in the deep structure of their mentalities. It thus takes on a cultural function.
In den letzten Jahren hat sich in der Philosophie, Ästhetik, Kunst- und Bildwissenschaft eine Reihe von Denkern zu Wort gemeldet, die die Semiotik grundlegend kritisieren. Es kann mittlerweile von einer antisemiotischen Bewegung gesprochen werden, die sich mit Namen wie Dieter Mersch, Hans Belting, Gernot Böhme, Hans Ulrich Gumbrecht oder Lambert Wiesing verbindet. Dabei wird mit Begriffen wie „Materialität“, „Präsenz“, „Aura“, „Ereignis“ und „hermeneutischer Widerständigkeit“ argumentiert, um Aspekte zu benennen, die die Semiotik nicht berücksichtigt habe und die in Zukunft anstelle von Zeichenphänomenen verstärkt beachtet werden sollten. Dieser Beitrag setzt sich mit der Kritik auseinander, zeigt die Leistungsfähigkeit und Grenzen semiotischer Theoriebildung auf und diskutiert Konsequenzen für die Semiotik und die Einzelwissenschaften, in denen die Kritik geäußert wird.
Inhalt der ersten Ausgabe der Schriften zur Kultur- und Mediensemiotik | Online
Martin Nies (Hrsg.)
Vorwort zur ersten Ausgabe
Martin Siefkes
Sturm auf die Zeichen:
Was die Semiotik von ihren Kritikern lernen kann
Hans Krah
German “volkstümliche Musik” of the Early Nineties and ‘Modern Society’:
Strategies of De-Individualisation as a Contribution to a Collective Re-Organisation
Martin Nies
Culture-Clash-Komödien der Gegenwart:
Konzeptionen von Transkulturalität, Intrakulturalität und Gender in Türkisch für Anfänger, Fack ju Göhte und Zwei Familien auf der Palme
Martin Hennig
Krise … continued:
Populärkulturelle Funktionen seriellen Krisenerzählens am Beispiel Breaking Bad
Impressum