مشخصات کتاب

Agent Technology from a Formal Perspective

ویرایش: 1st Edition. 
نویسندگان: Michael Hinchey,  James Rash,  Walt Truszkowski,  Diana F. Gordon-Spears,  Christopher Rouff  
سری: NASA Monographs in Systems and Software Engineering 
ISBN (شابک) : 1852339470, 9781846282713 
ناشر: Springer 
سال نشر: 2005 
تعداد صفحات: 359 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 4 مگابایت 

در صورت تبدیل فایل کتاب Agent Technology from a Formal Perspective به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب فناوری نمایندگی از منظر رسمی نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.

توضیحاتی در مورد کتاب فناوری نمایندگی از منظر رسمی



زمینه سیستم‌های عامل و چند عاملی رشد فوق‌العاده‌ای را تجربه می‌کند در حالی که روش‌های رسمی نیز شکوفا شده است. کارگاه‌های FAABS (رویکردهای رسمی به سیستم‌های مبتنی بر عامل)، که دغدغه‌های این دو حوزه را ادغام می‌کرد، به موقع بود. این کتاب از پاسخ بسیار زیاد به FAABS '00, '02 و '04 نشات گرفته است و همه فصل ها به روز شده اند یا نشان دهنده تحقیقات جدید هستند و برای ارائه یک درمان عمیق تر از موضوع طراحی شده اند. نمونه‌هایی از نحوه استفاده دیگران از روش‌های رسمی برای سیستم‌های مبتنی بر عامل، به‌علاوه ابزارها و تکنیک‌های روش رسمی که خوانندگان می‌توانند در سیستم‌های خود اعمال کنند، گنجانده شده است.

تکنولوژی عامل از دیدگاه رسمی، دیدی عمیق از مسائل کلیدی مرتبط با فناوری عامل از دیدگاه رسمی ارائه می دهد. از آنجایی که این یک رشته میان رشته ای نسبتاً جدید است، فضای زیادی برای رشد بیشتر وجود دارد و این کتاب نه تنها پایه اولیه را ایجاد می کند، بلکه به شکاف ها نیز اشاره می کند. نشان‌دهنده مشکلات باز است که باید توسط محققان، دانشجویان و پزشکان آینده مورد توجه قرار گیرد.

توضیحاتی درمورد کتاب به خارجی

The field of agent & multi-agent systems is experiencing tremendous growth whilst that of formal methods has also blossomed. The FAABS (Formal Approaches to Agent-Based Systems) workshops, merging the concerns of the two fields, were thus timely. This book has arisen from the overwhelming response to FAABS ’00, ’02 & ’04 and all chapters are updated or represent new research, & 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 in-depth view of the key issues related to agent technology from a formal perspective. As this is a relatively new interdisciplinary field, there is enormous room for further growth and this book not only creates an initial foundation, but points to the gaps; indicating open problems to be addressed by future researchers, students & practitioners.

فهرست مطالب

What Is an Agent? And What Is an Agent Community?....Pages 3-24
Introduction to Formal Methods....Pages 25-64
Formal Methods and Agent-Based Systems....Pages 65-96
A Process-Algebraic Agent Abstraction....Pages 99-137
Dynamic Team Formation in Executable Agent-Based Systems....Pages 139-158
Scenario-Based Engineering of Multi-Agent Systems....Pages 159-189
Verification Within the KARO Agent Theory....Pages 193-225
Assuring the Behavior of Adaptive Agents....Pages 227-257
Agents in a Wild World....Pages 259-283
Formal Methods at NASA Goddard Space Flight Center....Pages 287-309
Formal Verification of Autonomy Models....Pages 311-339

نظرات کاربران

کتاب های تصادفی

دانلود کتاب A Theory of Human Motivation

دانلود کتاب Attachment Disturbances in Adults: Treatment for Comprehensive Repair

دانلود کتاب Encounters in the New World: Jesuit Cartography of the Americas

دانلود کتاب Teologia sistematica. L'esistenza e il Cristo

دانلود کتاب Transcultural Medicine: Dealing with patients from different cultures