Информация о книге

3540407006

Главная  » Научно-техническая литература » Информационные технологии. Компьютеры » Управление и проектирование информационных систем » Проектирование ИС » Understanding Agent Systems (Springer Series on Agent Technology)

D`Inverno M., Luck M., Understanding Agent Systems (Springer Series on Agent Technology)

, 3540407006


Описание книги

This book presents a formal approach to dealing with agents and agent systems. The Z specification language is used to establish an accessible and unified formal account of agent systems and inter-agent relationships. In particular, the framework provides precise and unambiguous meanings for common concepts and terms for agent systems, allows for the description of alternative agent models and architectures, and serves as a foundation for subsequent development of increasingly refined agent concepts. Thepracticability of this approach is verified by applying the formal framework to three detailed case studies. The methodology presented takes a very significant step towards organising and structuring the diverse and disparate landscape of agent-based systems by applying formal methods to develop a defining and encompassing agent framework. The book will appeal equally to researchers, students, and professionals in industry.

Поделиться ссылкой на книгу




Об авторе

D`Inverno M.

Luck M.


Последние поступления в рубрике "Проектирование ИС"



Применение UML 2.0 и шаблонов проектирования. Практическое руководство Применение UML 2.0 и шаблонов проектирования. Практическое руководство Ларман К.

В книге рассматриваются основные принципы и приемы объектно-ориентированного анализа и проектирования (ООА/П). В ней вы найдете сведения об итеративном и гибком моделировании, шаблонах проектирования, архитектурном анализе и многих других вопросах.......

Программная инженерия. Визуальное моделирование программных систем. Учебник для СПО Программная инженерия. Визуальное моделирование программных систем. Учебник для СПО Черткова Е.

В учебнике изложены ключевые понятия программной инженерии методы, технологии, модели процесса разработки программного обеспечения. Рассмотрены инструментальные средства программной инженерии, предназначенные для автоматизации процессов разработки......

Проектирование информационных систем. Учебное пособие для вузов Проектирование информационных систем. Учебное пособие для вузов Григорьева И.С., Григорьев М.А.

В пособии хорошо представлены основные современные методы и программные решения создания информационных систем, особенно рассмотрены аспекты, имеющие непосредственное отношение к работе аналитика (проектировщика) и даны соответствующие описательные примеры, представлены методы расчета и статистические данные....

Если Вы задавались вопросами "где найти книгу в интернете?", "где купить книгу?" и "в каком книжном интернет-магазине нужная книга стоит дешевле?", то наш сайт именно для Вас. На сайте книжной поисковой системы Книгопоиск Вы можете узнать наличие книги D`Inverno M., Luck M., Understanding Agent Systems (Springer Series on Agent Technology) в интернет-магазинах. Также Вы можете перейти на страницу понравившегося интернет-магазина и купить книгу на сайте магазина. Учтите, что стоимость товара и его наличие в нашей поисковой системе и на сайте интернет-магазина книг может отличаться, в виду задержки обновления информации.