Ausfeuhrbare Spezifikation Von Directory-Systemen in Einer Logischen Sprache (German, Paperback, 1991 ed.)

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.

General

Imprint:	Springer-Verlag
Country of origin:	Germany
Release date:	September 1991
First published:	September 1991
Authors:	Rolf Stadler
Dimensions:	244 x 170 x 8mm (L x W x T)
Format:	Paperback
Pages:	143
Edition:	1991 ed.
ISBN-13:	978-3-540-54546-0
Languages:	German
Categories:	Books > Computing & IT > Computer hardware & operating systems > General Books > Computing & IT > Computer programming > Object-oriented programming (OOP) Books > Computing & IT > Computer communications & networking > General Books > Computing & IT > Internet > Network computers Promotions
LSN:	3-540-54546-8
Barcode:	9783540545460

Is the information for this product incomplete, wrong or inappropriate? Let us know about it.

Does this product have an incorrect or missing image? Send us a new image.

Is this product missing categories? Add more categories.

Review This Product

No reviews yet - be the first to create one!