Wissenschaftliche LiteraturProgrammierspracheInformatik
Eine Auswahl unserer Fachbücher
Falls bei Ihnen die Veröffentlichung der Dissertation, Habilitation oder Masterarbeit ansteht, kontaktieren Sie uns jederzeit gern.
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…
BABELCompilercompilergestütztDatenflussInformatikParallelisierungsprozessPrallelisierungProgrammierspracheProgrammtransformationGENGED: 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…
GENGEDGraphgrammatikInformatikKlassendiagrammProgrammierspracheSoftware-EntwicklungVisual languageVisuelle SpracheVisuelle UmgebungTransformationsbasierte 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…
ExTeLLInformatikProgrammierlogikProgrammierspracheProgrammierungReduktionTemporallogikTransformationProgrammieren 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. [...]
AlgorithmenDidaktikInduktionInformatikInformatik-DidaktikModell ALIProblemlösungProgrammierProgrammiersprachen