Termersetzungssysteme
Termersetzungssysteme sind ein nicht-deterministisches Berechnungsmodell aus dem Bereich der funktionalen Programmierung. Die Funktionen werden durch rekursive Regeln spezifiziert und durch Untertermersetzung ohne explizite Kontrolle ausgewertet. Die logische Programmierung geht auf den Anfang der 70er Jahre zurück und wurde besonders populär in Verbindung mit der Programmiersprache PROLOG. Die algebraische Programmierung entstand in ihren Grundzügen Mitte der 70er Jahre, als die ersten ...
73,00 CHF
Dynamische Integrität von Datenbanken
Aufgabe des Datenbank-Entwurfs ist es, nicht nur die statische Struktur, sondern auch das dynamische Verhalten eines Datenbanksystems zu spezifizieren. Um festzulegen, welche Folgen von Datenbankzuständen zulässig sind, gibt man dynamische Integritätsbedingungen an. Komplementär dazu bestimmen Transaktionen als Grundbausteine von Anwendungsprogrammen die ausführbaren Zustandsfolgen. Diese Monographie stellt zwei Ansätze zur Überwachung der dynamischen Integrität von Datenbanken vor. Es werden theoretische und ...
73,00 CHF
Desktop als Mensch-Maschine-Schnittstelle
Die Mensch-Maschine-Schnittstelle erlangt immer größere Bedeutung im Hinblick auf schnelle und ergonomische Kommunikation zwischen Mensch und Rechner. Mit graphischen Hilfsmitteln sowie leistungsfähigen Eingabemedien, wie Maus und Touch-Screen, können Dialogtechniken realisiert werden, die dem Interaktionsverhalten des Benutzers immer mehr entgegenkommen. Im Zusammenhang damit ist der Begriff Desktop (Schreibtisch) bekannt geworden, wo alltägliche Tätigkeiten der Büroarbeit mit der Benutzeroberfläche eines Systems imitiert ...