Programmiersprache
Wissenschaftliche Fachliteratur
Falls bei Ihnen die Veröffentlichung der Dissertation ansteht, kontaktieren Sie uns gern.
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 […]
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. [...]
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 […]
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, […]
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 […]
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. […]
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 […]
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 […]
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 […]
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, […]