Ausführbare Spezifikation von Directory-Systemen in einer...
Stadler, Rolf![Ausführbare Spezifikation von Directory-Systemen in einer logischen Sprache](https://support.digitalhusky.com/media/annotations/sorted/163/16365057/CHSBZCOP0316365057.jpg)
Das Buch behandelt die Spezifikation von Directory-Systemen
unter Anwendung von Konzepten der logischen Programmierung.
Ausgehend von der Definition derArchitektur eines
Directory-Systems wird eine Spezifikationsmethode zur
Beschreibung solcher Architekturen vorgestellt. Als
Spezifikationssprache dient die Sprache der
Hornklausel-Logik, erweitert um Negation. Im Buch werden
eine von D.B. Terry bei Xerox PARC entworfene Architektur
und ...