000 03604nam a22004215i 4500
001 291633
003 MX-SnUAN
005 20160429154908.0
007 cr nn 008mamaa
008 150903s2006 xxk| o |||| 0|eng d
020 _a9781846282713
_99781846282713
024 7 _a10.1007/1846282713
_2doi
035 _avtls000343779
039 9 _a201509030750
_bVLOAD
_c201404121003
_dVLOAD
_c201404090741
_dVLOAD
_y201402061204
_zstaff
040 _aMX-SnUAN
_bspa
_cMX-SnUAN
_erda
050 4 _aQA8.9-QA10.3
100 1 _aRouff, Christopher A.
_eeditor.
_9323021
245 1 0 _aAgent Technology from a Formal Perspective /
_cedited by Christopher A. Rouff, Michael Hinchey, James Rash, Walter Truszkowski, Diana Gordon-Spears.
264 1 _aLondon :
_bSpringer London,
_c2006.
300 _axvI, 354 páginas 83 ilustraciones
_brecurso en línea.
336 _atexto
_btxt
_2rdacontent
337 _acomputadora
_bc
_2rdamedia
338 _arecurso en línea
_bcr
_2rdacarrier
347 _aarchivo de texto
_bPDF
_2rda
490 0 _aNASA Monographs in Systems and Software Engineering,
_x1860-0131
500 _aSpringer eBooks
505 0 _aWhat Is an Agent? And What Is an Agent Community? -- to Formal Methods -- Formal Methods and Agent-Based Systems -- A Process-Algebraic Agent Abstraction -- Dynamic Team Formation in Executable Agent-Based Systems -- Scenario-Based Engineering of Multi-Agent Systems -- Verification Within the KARO Agent Theory -- Assuring the Behavior of Adaptive Agents -- Agents in a Wild World -- Formal Methods at NASA Goddard Space Flight Center -- Formal Verification of Autonomy Models.
520 _aThe field of agent & multi-agent systems is experiencing tremendous growth. At the same time the field of formal methods is blossoming and has proven its importance in industrial and government applications. The FAABS (Formal Approaches to Agent-Based Systems) workshops, merging the concerns of the two fields, provided a timely and compelling platform on which the growing concerns and requirement of agent-based systems users that systems should be accompanied by behavioral assurances, could be discussed. This book has arisen from the overwhelming response to FAABS ’00, ’02 & ’04 and all chapters are updated or represent new research, and are designed to provide a more in-depth treatment of the topic. Examples of how others have applied formal methods to agent-based systems are included, plus formal method tools & techniques that readers can apply to their own systems. Agent Technology from a Formal Perspective provides an invaluable in-depth view of the key issues related to agent technology from a formal perspective, for both researchers and practitioners. This is a relatively new interdisciplinary field, and there is enormous room for further growth The book not only creates an initial foundation, but points to the gaps; indicating open problems to be addressed by future researchers, students & practitioners.
590 _aPara consulta fuera de la UANL se requiere clave de acceso remoto.
700 1 _aHinchey, Michael.
_eeditor.
_9323022
700 1 _aRash, James.
_eeditor.
_9323023
700 1 _aTruszkowski, Walter.
_eeditor.
_9322923
700 1 _aGordon-Spears, Diana.
_eeditor.
_9323024
710 2 _aSpringerLink (Servicio en línea)
_9299170
776 0 8 _iEdición impresa:
_z9781852339470
856 4 0 _uhttp://remoto.dgb.uanl.mx/login?url=http://dx.doi.org/10.1007/1-84628-271-3
_zConectar a Springer E-Books (Para consulta externa se requiere previa autentificación en Biblioteca Digital UANL)
942 _c14
999 _c291633
_d291633