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 ein Ausschnitt aus der Architektur des internationalen
Standards f}r Directory-Systeme (X.500) spezifiziert. Daran
lassen sich die Vorteile der vorgeschlagenen Methode
aufzeigen: Die Spezifikationen sind kompakt, gut lesbar und
besitzen eine deklarative und eine prozedurale Semantik.
Die erstellten Spezifikationen lassen sich auf einem
Prolog-System ausf}hren. Die Ausf}hrbarkeit der
Spezifikationen erweist sich als vielseitig anwendbare
Eigenschaft, welche beispielsweise die Simulation eines
Directory-Systems bei gegebener Konfiguration erm|glicht
oder die ]berpr}fung (Verifikation, Validierung) einer
Spezifikation erleichtert.
Aktualisiert: 2023-04-04
> findR *
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 ein Ausschnitt aus der Architektur des internationalen
Standards f}r Directory-Systeme (X.500) spezifiziert. Daran
lassen sich die Vorteile der vorgeschlagenen Methode
aufzeigen: Die Spezifikationen sind kompakt, gut lesbar und
besitzen eine deklarative und eine prozedurale Semantik.
Die erstellten Spezifikationen lassen sich auf einem
Prolog-System ausf}hren. Die Ausf}hrbarkeit der
Spezifikationen erweist sich als vielseitig anwendbare
Eigenschaft, welche beispielsweise die Simulation eines
Directory-Systems bei gegebener Konfiguration erm|glicht
oder die ]berpr}fung (Verifikation, Validierung) einer
Spezifikation erleichtert.
Aktualisiert: 2023-04-04
> findR *
MEHR ANZEIGEN
Bücher zum Thema Rechnernetze und Kommunikationssyseme
Sie suchen ein Buch über Rechnernetze und Kommunikationssyseme? Bei Buch findr finden Sie eine große Auswahl Bücher zum
Thema Rechnernetze und Kommunikationssyseme. Entdecken Sie neue Bücher oder Klassiker für Sie selbst oder zum Verschenken. Buch findr
hat zahlreiche Bücher zum Thema Rechnernetze und Kommunikationssyseme im Sortiment. Nehmen Sie sich Zeit zum Stöbern und finden Sie das
passende Buch für Ihr Lesevergnügen. Stöbern Sie durch unser Angebot und finden Sie aus unserer großen Auswahl das
Buch, das Ihnen zusagt. Bei Buch findr finden Sie Romane, Ratgeber, wissenschaftliche und populärwissenschaftliche
Bücher uvm. Bestellen Sie Ihr Buch zum Thema Rechnernetze und Kommunikationssyseme einfach online und lassen Sie es sich bequem nach
Hause schicken. Wir wünschen Ihnen schöne und entspannte Lesemomente mit Ihrem Buch.
Rechnernetze und Kommunikationssyseme - Große Auswahl Bücher bei Buch findr
Bei uns finden Sie Bücher beliebter Autoren, Neuerscheinungen, Bestseller genauso wie alte Schätze. Bücher zum
Thema Rechnernetze und Kommunikationssyseme, die Ihre Fantasie anregen und Bücher, die Sie weiterbilden und Ihnen wissenschaftliche
Fakten vermitteln. Ganz nach Ihrem Geschmack ist das passende Buch für Sie dabei. Finden Sie eine große Auswahl
Bücher verschiedenster Genres, Verlage, Autoren bei Buchfindr:
Sie haben viele Möglichkeiten bei Buch findr die passenden Bücher für Ihr Lesevergnügen zu entdecken. Nutzen Sie
unsere Suchfunktionen, um zu stöbern und für Sie interessante Bücher in den unterschiedlichen Genres und Kategorien
zu finden. Unter Rechnernetze und Kommunikationssyseme und weitere Themen und Kategorien finden Sie schnell und einfach eine Auflistung
thematisch passender Bücher. Probieren Sie es aus, legen Sie jetzt los! Ihrem Lesevergnügen steht nichts im Wege.
Nutzen Sie die Vorteile Ihre Bücher online zu kaufen und bekommen Sie die bestellten Bücher schnell und bequem
zugestellt. Nehmen Sie sich die Zeit, online die Bücher Ihrer Wahl anzulesen, Buchempfehlungen und Rezensionen zu
studieren, Informationen zu Autoren zu lesen. Viel Spaß beim Lesen wünscht Ihnen das Team von Buchfindr.