Wissenschaftliche Literatur Programmiersprache

Silviya Schwaiger

Wortformerkennung des Bulgarischen

Morphologische Analyse auf Basis einer formalen Grammatik

PHILOLOGIA – Sprachwissenschaftliche Forschungsergebnisse

Die automatisierte Wortformerkennung des Bulgarischen in ihrer computerlinguistischen Implementierung sowie ihre theoretischen Grundlagen sind Untersuchungsgegenstand dieses Buchs. Auf der beiliegenden CD wird eine Software zur automatisierten Wortformerkennung des Bulgarischen zur Verfügung gestellt.

Die Software zur Wortformerkennung ist die erste ihrer Art: Sie analysiert Wortformen der Simplizia, Derivata und Komposita anhand eines Lexikons mit 26 620…

Roland Küstermann

Softwareunterstützung in der Programmierausbildung

Ein holistisches Blended-Learning-Szenario

Medienpädagogik und Mediendidaktik

Wissen im Bereich Informations- und Kommunikationstechnologien gehört zu den wichtigsten Erfolgsfaktoren einer Unternehmung, nicht nur in wirtschaftlichen, sondern auch in wissenschaftlichen Einsatzgebieten. Bedingt durch die Aufgabe der Universitäten, Studierende auf den Berufseinstieg vorzubereiten, ist die Vermittlung fundierter Grundlagen der Informatik in der Regel Bestandteil aller natur- und ingenieurswissenschaftlich ausgerichteten Studiengänge. Zu diesen…

Werner Hans

Automatische Ausdrucksparallelisierung einer funktional-logischen Programmiersprache

Forschungsergebnisse der Programmentwicklung

Diese Arbeit beschäftigt sich mit der compilergestützten Parallelisierung der funktionallogischen Programmiersprache BABEL. Hiebei werden unter Berücksichtigung der verwendeten Auswertungsstrategie im Parallelisierungsprozess sich gegenseitig nicht-beeinflussende Ausdrücke durch Datenflussanalysemethoden und Programmtransformation approximativ bestimmt und zugehörige Annotationen in das zu übersetzende Quellprogramm eingebettet. [...]

Roswitha Bardohl

GENGED: Visual Definition of Visual Languages

based on Algebraic Graph Transformation

Forschungsergebnisse zur Informatik

Master Ittei said, „In calligraphy it is progress when the paper, brush and ink are in harmony“ [Yam79]. Today in software modeling and specification we are far away from this principle. Visual specifications might be a step in the right direction. We built the GENGED environment to make software modeling and specification easy and reliable. The visual definition of visual languages and the generation of an appropriate editor contains a great potential to bring more…

Klaus Spies

Transformationsbasierte temporallogische Programmierung

Forschungsergebnisse der Programmentwicklung

IIn dieser Arbeit wird die Möglichkeit der transformationsbasierten temporallogischen Programmierung untersucht. Dabei werden neben den einfacher zu handhabenden deterministischen zukunftsbezogenen Konstrukten wie etwa next sowohl nichtdeterministische Konstrukte wie or und sometimes als auch vergangenheitsbezogene Operationen wie previous und always-in-the-past berücksichtigt.

Zu diesem Zweck wird zunächst die Temporallogik EITeL…

Hyun Joo Olbrich-Lee

Maschinelle Analyse deutscher Präfixverben mit PROLOG unter morphosemantischem Aspekt

PHILOLOGIA – Sprachwissenschaftliche Forschungsergebnisse

Untersuchungsgegenstand der Arbeit ist eine vorgegebene Menge deutscher Präfixverben. Die Bedeutung einer Wortbildungskonstruktion ist - außer bei idiomatisierten Wortbildungen - aus jeder Bedeutung bzw. Funktion ihrer semantischen Bestandteile rekonstruierbar. In diesem Sinne ist eine Wortbildungsbedeutung "durchsichtbar" und "motiviert". Das Ziel der Arbeit ist, durchsichtbare bzw. motivierte Bedeutungen von im Lexikon nicht enthaltenen Präfixverben maschinell zu…

Wolfram Amme

Datenabhängigkeitsanalyse in Programmen mit Zeigern

Forschungsergebnisse zur Informatik

Die Bestimmung von Datenabhängigkeiten spielt eine entscheidende Rolle in vielen Bereichen der Softwareentwicklung, wie beispielsweise in der Optimierungsphase herkömmlicher Übersetzer oder in der Analysephase von Restrukturierungssystemen. Für die Datenabhängigkeitsanalyse von Programmen, die ausschließlich auf Reihungsoperanden und Schleifen basieren, sind ausgereifte Techniken bekannt. Dagegen ist das Gebiet der Bestimmung von Datenabhängigkeiten in Programmen mit…

Lorenz Hilty

Programmieren und Induktion

Untersuchungen zur kognitiven Modellierung des Algorithmen-Entwurfs

Forschungsergebnisse der Programmentwicklung

Immer mehr Schüler und Studenten sind heute mit den Grundlagen der Computerprogrammierung vertraut. Noch ist kaum erforscht, wie das Erlernen von Programmiersprachen sich auf Problemlösefähigkeiten auswirkt, und auf welche Weise Programmierer von einer Problemstellung zu einem Algorithmus gelangen.

Dieses Buch geht von der These aus, dass konkrete Beispiele in der Programmierung eine entscheidende Rolle spielen: Algorithmen als allgemeine Problemlösungen…

Helmut Wächter

Fehlertolerantes Workflow-Management

Eine Architektur für die zuverlässige Ausführung verteilter Geschäftsprozesse

Studien zur Wirtschaftsinformatik

Gegenstand dieser Arbeit ist die zuverlässige Ausführung von langandauernden Geschäftsprozessen auf Datenbanken und anderen gemeinsam genutzten Ressourcen. Bei komplexen Produkten kann sich beispielsweise der Prozess Auftragsabwicklung von der Anfrage eines Kunden über die Angebotserstellung, Vorbereitung und Durchführung der Fertigung, bis zur Auslieferung und vollständigen Bezahlung leicht über mehrere Wochen oder Monate hinziehen. An seiner Ausführung sind eine…

Marion Kremer

Entwurf eines sprachunabhängigen Verifikationssystems auf der Basis denotationaler Semantikbeschreibungen

Forschungsergebnisse zur Informatik

Da Software in zunehmendem Maße auch in sicherheitsrelevanten Anwendungen eingesetzt wird, steigt der Bedarf an Software-Prüfung, die über das Testen hinausgeht. In dieser Arbeit wird ein System zur Prüfung von mit Zusicherungen angereicherten Programmen entwickelt, dessen Kern konstant ist und bei dem die sprachspezifischen Anteile aus der für die Erstellung eines Compilers vorhandenen Sprachbeschreibung generiert werden können. Die Grundidee für ein solches System…