{"product_id":"ausfuhrbare-spezifikation-von-directory-systemen-in-einer-logischen-sprache-von-rolf-stadler","title":"Ausführbare Spezifikation von Directory-Systemen in einer logischen Sprache","description":"Das Buch behandelt die Spezifikation von Directory-Systemen\nunter Anwendung von Konzepten der logischen Programmierung.\nAusgehend von der Definition derArchitektur eines\nDirectory-Systems wird eine Spezifikationsmethode         zur\nBeschreibung solcher Architekturen vorgestellt.                         Als\nSpezifikationssprache dient die Sprache der\nHornklausel-Logik,      erweitert um Negation. Im Buch werden\neine von D.B. Terry bei Xerox PARC    entworfene Architektur\nund ein Ausschnitt aus der Architektur des           internationalen\nStandards f}r Directory-Systeme (X.500) spezifiziert.       Daran\nlassen sich die Vorteile der vorgeschlagenen Methode\naufzeigen:   Die Spezifikationen sind kompakt, gut lesbar und\nbesitzen eine deklarative  und eine prozedurale Semantik.\nDie erstellten Spezifikationen lassen sich   auf einem\nProlog-System ausf}hren. Die Ausf}hrbarkeit                       der\nSpezifikationen erweist sich als vielseitig anwendbare\nEigenschaft, welche beispielsweise die Simulation eines\nDirectory-Systems bei gegebener  Konfiguration erm|glicht\noder die ]berpr}fung (Verifikation, Validierung)   einer\nSpezifikation erleichtert.\u003cdiv class=\"aw-variant-hidden-subtitle-div\" id=\"aw-variant-subtitle-9783540545460\"\u003e\u003ch3\u003e\u003c\/h3\u003e\u003c\/div\u003e","brand":"Libri","offers":[{"title":"Softcover - 9783540545460","offer_id":39426073395293,"sku":"9783540545460","price":54.99,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0940\/0622\/files\/58680b5c-1c82-4aaa-ac7f-387133bbf242.jpg?v=1746507752","url":"https:\/\/shop.autorenwelt.de\/products\/ausfuhrbare-spezifikation-von-directory-systemen-in-einer-logischen-sprache-von-rolf-stadler","provider":"Autorenwelt Shop","version":"1.0","type":"link"}