Entwicklung eines Modells zur Anwendung inferenzfähiger Ontologien im Software Engineering

Die Arbeit beschreibt die Entwicklung und Anwendung eines Modells zur Repräsentation und Verarbeitung von Wissen auf dem Gebiet des Software Engineering. Im Fokus stehen die Strukturierung, Visualisierung und automatisierte Weiterverarbeitung von Expertenwissen unter Einbezug modellbasierter Inferenzmechanismen. Dabei dienen verschiedene Deduktionsalgorithmen zur Ableitung automatisierter Schlussfolgerungen, die zur Lösung einer Software Engineering Fragestellung beitragen. Darüber hinaus werden unterschiedliche Möglichkeiten dargestellt, um Wissen induktiv, automatisiert aus bereits modelliertem Wissen ableiten zu können. Das entwickelte Modell soll Akteuren des Software- und Knowledge Engineering gleichermaßen dazu dienen, Expertenwissen in Entscheidungsprozesse einzubeziehen, um somit die Entwicklung von Softwarelösungen zu beschleunigen.The thesis describes the development and application of a model for representation and processing knowledge in the field of software engineering. It focuses on the structuring, visualization and automated processing of expert knowledge, including model-based inference mechanisms. Different deductive algorithms are used to derive automated conclusions that contribute for solving a software engineering problem. In addition, different possibilities are presented in order to be able to inductively and automatically derive knowledge. The developed model is intended to help software and knowledge engineering stakeholders to include expert knowledge in decision-making processes, thus speeding up the development of software solutions

On Interdisciplinary Development of Safety-Critical Automotive Assistance and Automation Systems

Assistenz- und Automationssysteme im Automobil zeichnen sich verstärkt durch eine große Komplexität und einen hohen Vernetzungsgrad aus. Weiterhin existiert eine Vielzahl von Anforderungen anderer Fachdisziplinen an die Funktionsentwicklung, beispielsweise im Bereich der funktionalen Sicherheit. Somit ergibt sich für Entwickler nicht nur eine gestiegene Komplexität der Systeme, sondern auch der einzuhaltenden Entwicklungsprozesse. Die vorliegende Arbeit liefert eine neue Methode, die Entwickler bei der Bewältigung dieser Komplexität unterstützt. Dabei wird ihnen problemorientiert und zielgerichtet relevantes Wissen anderer Fachdisziplinen aufbereitet und zur Verfügung gestellt. Somit können Entwurfsalternativen früher als bisher im Kontext der Gesamtentwicklung bewertet werden, was sich positiv auf Produktqualität und Entwicklungszeit auswirkt. Die Basis dieser Methode ist die offen und flexibel gestaltete Formalisierung des Entwicklungsprozesses unter Verwendung der Web Ontology Language (OWL). Darauf aufbauend werden interdisziplinäre Entwicklungsaktivitäten verknüpft und die Analysierbarkeit des formalisierten Wissens wird für automatische Schlussfolgerungen genutzt. So werden insbesondere Einflussanalysen möglich, um über die eigene Domäne hinaus Änderungen bezüglich des Gesamtentwicklungsprozesses zu bewerten. Im Rahmen dieser Arbeit wurde eine prototypische Werkzeugkette implementiert, die die beschriebene Methode umsetzt und deren technische Realisierbarkeit demonstriert. Als Anwendungsbeispiel dient die angedeutete Weiterentwicklung eines radarbasierten Abstandsregeltempomaten zu einem Notbremssystem. Dabei wird insbesondere der Einfluss der funktionalen Sicherheit auf die Funktionsentwicklung beleuchtet, indem aus einem formalisierten Wissensmodell des Standards ISO 26262 notwendige Anforderungen und Methoden für den Gesamtentwicklungsprozess abgeleitet werden.Automotive assistance and automation systems increasingly present high levels of complexity and connectivity. In addition, more and more specific requirements in disciplines like functional safety have to be considered during functional development. Thus, developers have to cope with increasing levels of product complexity, but also complexity of the development process. This thesis presents a new method which supports developers in handling these dimensions of complexity. Therefore relevant knowledge of other disciplines is presented to them in a solution-oriented way. Thus, design alternatives can be assessed much earlier in the overall development process which has a positive impact on product quality and development cycles. The method’s base is an open and flexible formalization of the development process using the Web Ontology Language (OWL). OWL is used to link different interdisciplinary development activities whereas the analyzability of formalized knowledge enables automated reasoning. This especially introduces an impact analysis to assess major cross-cutting changes to the product in the context of the overall development process. For this thesis a prototype toolchain has been developed which implements the described method and demonstrates its technical feasibility. The extension of a radar-based adaptive cruise control system towards an emergency braking system is sketched as an example for the prototype toolchain. In this example, the impact of functional safety on the functional development is focused, involving a formalized model of requirements and methods from ISO 26262

Hyper-Text-Linguistik

This doctoral thesis suggests a text-linguistic approach dealing with linked electronic texts, so called HYPERTEXTS. After explaining the concept and philosophy of the hypertext-idea and elaborating on a pragmatic definition of WWW-hypertexts (Part A of the thesis), a linguistic framework, the Textlinguistisches Analysemodell für Hypertexte (TAH), is proposed (Part B). TAH provides a pragmatic-functional, top-down model to analyze CONTEXT, FUNCTION and STRUCTURE of complete hypertexts and the hypertext-components NODE and LINK. Main aim of TAH is to strictly separate the different aspects of each hypertext- and linguistic level – without isolating them. The theoretical approach of TAH is used for a case study (Part C). Therefore a corpus of WWW-hypertexts, mainly informative and instructive ones, is examined with TAH-methods. Aim of this study is on the one hand to provide some sort of evidence for the plausibility of TAH and is on the other hand linked with a specific question of research: It deals with possibilities provided by linguistics to enhance hypertext-links with logically, semantically and/or rhetorically typed information. The conclusion of the study is to distinguish exactly between semantics of a deepstructure-knowledge-presentation, semantic and rhetoric relations of the surface, i.e. the hypertext the user can see, and the layout or traversal behavior respectively of the user interface, i.e. the browsersoftware. Part C mainly deals with problems of typed links on the surface of hypertexts

“The Bard meets the Doctor” – Computergestützte Identifikation intertextueller Shakespearebezüge in der Science Fiction-Serie Dr. Who.

A single abstract from the DHd-2019 Book of Abstracts.Sofern eine editorische Arbeit an dieser Publikation stattgefunden hat, dann bestand diese aus der Eliminierung von Bindestrichen in Überschriften, die aufgrund fehlerhafter Silbentrennung entstanden sind, der Vereinheitlichung von Namen der Autor*innen in das Schema "Nachname, Vorname" und/oder der Trennung von Überschrift und Unterüberschrift durch die Setzung eines Punktes, sofern notwendig

Software zur kreativen Ideenfindung : eine Produktskizze für kleinere und mittlere Kommunikationsagenturen

Die Diplomarbeit erarbeitet eine Softwareskizze für kleine und mittlere Kommunikations-agenturen in Deutschland, die diese bei der Ideenfindung , -verwaltung und -archivierung unterstützen soll. Dazu werden die theoretischen Grundlagen der Kreativ- und Teamarbeit aufgearbeitet, die tatsächliche Arbeitsweise der Teams mittels einer Umfrage und bereits vorhandene Software auf deren Einsatzmöglichkeiten untersucht. Am Ende der Arbeit fließen die gewonnenen Erkenntnisse in der Erstellung eines Softwarekonzeptes zusammen, welches auf wissenschaftlichen Grundlagen basiert und durch die Analyseergebnisse ergänzt wird