Ausfhrbare Spezifikation von Directory-Systemen in einer logischen Sprache

Name: Ausfhrbare Spezifikation von Directory-Systemen in einer logischen Sprache
Brand: Springer Nature
SKU: 9783540545460
Availability: InStock

Ausfhrbare Spezifikation von Directory-Systemen in einer logischen Sprache

Brand

Springer Nature

Manufacturer

N/A

Part Number

GTIN

9783540545460

Condition

New

0 Reviews

0 Questions | 0 Answers

Product Description

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.

Available Colors

N/A

Available Sizes

N/A

1 Offer Price Range: $44.99 - $44.99

BEST PRICE

Single Product Purchase

$44.99

@ Link.springer.com BUY Now

Price Comparison

Seller	Contact Seller	List Price	On Sale	Shipping	Best Promo	Final Price	Volume Discount	Financing	Availability	Seller's Page
BEST PRICE 1 Product Purchase @ Link.springer.com Rate Seller This functionality is for registered users only. Go to Login/Register		$44.99	$44.99			$44.99		See Site	In stock	Visit Store