Informatik

Rainer Fehling

Hierarchische Petrinetze

Forschungsergebnisse zur Informatik

Hamburg 1992, 224 Seiten

Ausgehend von Netzmorphismen werden “hierarchische Petrinetze” definiert, die dazu dienen, große dynamische, diskrete Systeme zu modellieren und sie in geeigneten Ausschnitten auf unterschiedlichen Abstraktionsebenen darzustellen. Dies ist nur…

Lorenz Hilty

Programmieren und Induktion

Untersuchungen zur kognitiven Modellierung des Algorithmen-Entwurfs

Forschungsergebnisse der Programmentwicklung

Hamburg 1991, 252 Seiten

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…

Martin Kramer

Ein planungsorientiertes Betriebssystemmodell

Forschungsergebnisse zur Informatik

Hamburg 1991, 251 Seiten

Der kostenintensivste Teil bei früher eingesetzten Computern war die jeweils benötigte Rechenzeit. Daher wurde bei der Entwicklung von Programmsystemen jeder Art auf alles verzichtet, was nur den Rechenzeitbedarf erhöhte und nicht zur gewünschten…

Sabine Kämper

PEGROS

Ein Konzept zur Entwicklung eines graphischen, objektorientierten Modellbildungs- und Simulationswerkzeugs auf der Basis von Petri-Netzen

Forschungsergebnisse zur Informatik

Hamburg 1991, 198 Seiten

Sabine Kämper will Modellentwicklern aus unterschiedlichen Anwendungsbereichen ein methodisch fundiertes Werkzeug zur Verfügung stellen. Das Ziel ihres Buches ist es, mit PEGROS ein Modellbildungs- und Simulationswerkzeug zu entwickeln, das…

Ludger Schäfers

Temporal Modeling in Relational Database-Systems

Studien zur Datenbankforschung

Hamburg 1991, 156 Seiten

Die Fähigkeit der Modellierung von Zeitaspekten der Realwelt in Datenbanken ist seit längerer Zeit bereits als eine in vielen Anwendungen wichtige Eigenschaft eines Datenmodells erkannt worden. Zu einer solchen Modellierung gehört in jedem Falle…

Rudolf Jäger

Computer-Kommunikation für lokale Rechnernetze

Leistungsbewertung und Verbesserung der Realzeiteigenschaften bei Tokenbus-basierten LANs

Forschungsergebnisse zur Informatik

Hamburg 1991, 164 Seiten

Das Buch befaßt sich mit Leistungsuntersuchungen des Mediumzugriffsverfahrens, wie es für das Manufacturing Automation Protocol (MAP) vorgeschlagen wurde.

Lokale Rechnernetze haben für die Verbindung der unterschiedlichen Komponenten, wie…

Rudolf Keller

Prototypingorientierte Systemspezifikation

Konzepte, Methoden, Werkzeuge und Konsequenzen

Forschungsergebnisse der Programmentwicklung

Hamburg 1988, 300 Seiten

Die Ermittlung, Beschreibung und Analyse der Anforderungen an Softwaresysteme ist aufwendig und fehleranfällig, die Kommunikation zwischen Entwicklern und Benutzern ist oft ungenügend und häufig wird das Falsche spezifiziert. Es wird gezeigt,…

Thomas Pálffy

Rechnergestützte Qualitätssicherung im betrieblichen Software-Entwurf

Studien zur Wirtschaftsinformatik

Hamburg 1987, 236 Seiten

In seiner Studie zeigt Pálffy, wie der Rechner im betrieblichen Software-Entwurf zur Qualitätssicherung eingesetzt werden kann.

Die Hauptschwierigkeit bei der Sicherung der Qualität betrieblicher Software liegt in der Komplexität der…

Markus Hudec

TEWIDOK II.

Ein computergestütztes theaterwissenschaftliches Dokumentationssystem

Forschungsergebnisse zur Informatik

Hamburg 1987, 210 Seiten

1.    Einleitung

2.    Datenmodellierung

2.1   Allgemeine Aspekte der Datenmodellierung [...]