176 research outputs found

    Konstruktion domänenspezifischer Modellierungstechniken für die Modellierung von Fachkonzepten

    Full text link
    Ausgehend von einem konstruktionsorientierten Modellierungsverständnis und den Grundlagen des sprachkritischen Ansatzes zeigt der Beitrag welche wesentlichen Schritte der Konstruktion von Modellen erforderlich sind und geht auf Methoden zu deren Unterstützung ein. Diese Überlegungen führen zur Frage, wie Modellierungstechniken, die die konstruktionsorientierte Modellierung von Informationssystemen unterstützen sollen, aufgebaut sein müssen und gestaltet werden können. Der Beitrag zeigt, dass die Entwicklung von Modellierungstechniken selbst ebenfalls als Konstruktionsprozess im sprachkritischen Sinne zu begreifen ist und leitet aus dieser Erkenntnis ein methodologisches Vorgehen zur Entwicklung von Modellierungstechniken ab. Die Ausführungen werden anhand einer Fallstudie aus der Domäne des Data Warehousing illustriert. <br/

    Mitteilungen : Amtsblatt der BTU Cottbus, 2012,10 (22.02.2012)

    Get PDF
    Erste Satzung zur Änderung der Prüfungs- und Studienordnung des Master-Studienganges Informatik vom 19. Dezember 2011 Neubekanntmachung: Prüfungs- und Studienordnung des Master-Studienganges Informatik vom 16. Februar 2012 (Korrigierte Fassung) (siehe AMbl 25/2017

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

    Get PDF
    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

    Test-sets und Termersetzungen für die Generierung rekursiv definierter Algorithmen aus Existenzaussagen

    Get PDF
    In dieser Arbeit wurde ein Verfahren vorgestellt, mit dem man rekursiv definierte Algorithmen aus Gueltigkeitsbeweisen von Existenzformeln extrahieren kann.Das Verfahren beschränkt sich auf einen einfachen Formalismus und basiert auf Test-sets und einem Vereinfachungsmechanismus.Termersetzungen und logische Simplifikationen bilden den Kern dieses Vereinfachungsmechanismus, waehrend Test-sets eine Beschreibung des initialen Modells einer Axiommenge darstellen.In this thesis we presented a method for extracting recursive defined algorithms from existentially quantified formulas, being based on a simple formalism, test sets and a simplification strategy.Term rewriting and logical simplification represent the core of that simplification strategy and test sets the description of the initial model of a set of axioms

    Fakultät Informatik (2017) / Technische Universität Dresden

    Get PDF
    Informationen über die Fakultät Informatik der TU Dresden, Daten und Fakten sowie eine Auswahl aktueller Forschungsprojekte, 2017Information about the Faculty of Computer Science of the Technische Universität Dresden, data and facts and a selection of current research projects, 201
    corecore