Reasoning Web. Semantic Technologies for Software Engineering: 6th International Summer School 2010, Dresden, Germany, August 30 - September 3, 2010. ... 6325 (Lecture Notes in Computer Science) - Tapa blanda

A�mann, Uwe

9783642155420: Reasoning Web. Semantic Technologies for Software Engineering: 6th International Summer School 2010, Dresden, Germany, August 30 - September 3, 2010. ... 6325 (Lecture Notes in Computer Science)

Tapa blanda

ISBN 10: 3642155421 ISBN 13: 9783642155420

Editorial: Springer, 2010

Ver todas las copias de esta edici�n del ISBN

2 Usado

De EUR 33,95

1 Nuevo

De EUR 87,87

Hard to Find book

"Sinopsis" puede pertenecer a otra edici�n de este libro.

Rese�a del editor

This book provides a coherent introduction to semantic web methods and research issues with a particular emphasis on reasoning. It is based on a collection of six thoroughly revised tutorial papers culled from lectures given by leading researchers.

Rese�a del editor

Welcome to the proceedings of Reasoning Web 2010 which was held in Dresden. Reasoning Web is a summer school series on theoretical foundations,contemporary approaches, and practical solutions for reasoning in a Web of Semantics. It has est- lished itself as a meeting point for experts from research institutes and industry, as well as students undertakingtheir PhDs in related ?elds. This volume contains tutorial notes of the sixth school in the series, held from August 30 to September 3, 2010. This year, the school focused on applications of semantic technologies in software engineeringandthereasoningtechnologiesappropriateforsuchanendeavor. Asit turns out, semantic technologies in software engineering are not so easily applied, and s- eral issues mustbe resolvedbeforesoftware modelingcanbene?t fromreasoning. First, reasoning has to be fast and scalable, since models and programscan be quite large and voluminous. SincemanyreasoninglanguagesareexponentialorNP-complete,appro- mation, incrementalization,and other optimizationtechniques are extremelyimportant. Second, software engineering needs to model software systems, in contrast to mod- ing domains of the world. Thus, the modeling techniques are prescriptive rather than descriptive [1], which in?uences the way models are reasoned about. When a software system is modeled, its behavior is prescribed by the model, that is, “the truth is in the model”[2]; when a domainof the world is described,its behaviorcannotbe prescribed, only described by the model (“the truth is in the world”). Therefore, reasoning has to distinguish between prescriptiveness and descriptiveness, leading to different assu- tions about the closeness or openness of the world (closed-world assumption, CWA vs. open-world assumption, OWA).

"Sobre este t�tulo" puede pertenecer a otra edici�n de este libro.

EditorialSpringer
A�o de publicaci�n2010
ISBN 10 3642155421
ISBN 13 9783642155420
Encuadernaci�nTapa blanda
IdiomaIngl�s
N�mero de edici�n1
N�mero de p�ginas196
EditorBartho Andreas, Wende Christian

Comprar usado

VII, 181 S. OBr. Ehem. Bibliotheksexemplar...

Ver este art�culo

EUR 33,95

Convertir moneda

EUR 16,00 gastos de env�o desde Alemania a Estados Unidos de America

Destinos, gastos y plazos de env�o

A�adir al carrito

Comprar nuevo

Ver este art�culo

EUR 87,87

Convertir moneda

EUR 11,90 gastos de env�o desde Reino Unido a Estados Unidos de America

Destinos, gastos y plazos de env�o

A�adir al carrito

Resultados de la b�squeda para Reasoning Web. Semantic Technologies for Software Engineerin...

Imagen del vendedor

Reasoning Web : semantic technologies for software engineering ; 6th international summer school 2010, Dresden, Germany, August 30 - September 3, 2010 ; tutorial lectures. (= Lecture notes in computer science ; 6325 : Tutorial)

A�mann, Uwe (Herausgeber),

Publicado por Berlin ; Heidelberg ; New York, NY : Springer, 2010

ISBN 10: 3642155421 ISBN 13: 9783642155420

Antiguo o usado Softcover

Librería: Antiquariat Bookfarm, L�bnitz, Alemania

Calificaci�n del vendedor: 5 de 5 estrellas

Softcover. VII, 181 S. OBr. Ehem. Bibliotheksexemplar m. Stempel u. Sign. Einband leicht berieben und besto�en, Schnitte etwas nachgedunkelt. Gr��tenteils textsauberes Exemplar (kleinere Anstreichungen m�glich). --- Ex-library book with catalogue no. on spine and stamps. Book cover slightly rubbed and bumped. Text mostly clean, few minor text markings possible. 9783642155420 Sprache: Englisch Gewicht in Gramm: 297. N� de ref. del art�culo: 1000333

Contactar al vendedor