Engineering Multi-Agent Systems: Third International Workshop, EMAS 2015, Istanbul, Turkey, May 5, 2015, Revised, Selected, and Invited Papers (Lecture Notes in Computer Science)
暫譯: 多代理系統工程:第三屆國際研討會 EMAS 2015,土耳其伊斯坦堡,2015年5月5日,修訂版、選定及邀請論文(計算機科學講義)
- 出版商: Springer
- 出版日期: 2015-11-15
- 售價: $2,420
- 貴賓價: 9.5 折 $2,299
- 語言: 英文
- 頁數: 231
- 裝訂: Paperback
- ISBN: 3319261835
- ISBN-13: 9783319261836
-
相關分類:
Computer-Science
海外代購書籍(需單獨結帳)
相關主題
商品描述
This book constitutes the refereed proceedings of the Third International Workshop on Engineering Multi-Agent Systems, EMAS 2015, held in Istanbul, Turkey, in May 2015.
The 10 full papers, presented with two invited talks, were carefully reviewed and selected from 19 submissions. The focus of the papers is on the topics such as: programming frameworks, languages, models and abstractions for MAS; formal methods and declarative technologies for specification, verification and engineering of MAS; MAS software engineering methodologies and techniques, and development concerns; interoperability and integration; tools and testbeds; MAS techniques; and empirical studies and (industrial) experience reports.
商品描述(中文翻譯)
本書為第三屆國際多代理系統工程研討會(EMAS 2015)的經過審稿的會議論文集,該會議於2015年5月在土耳其伊斯坦堡舉行。
這10篇完整的論文,連同兩場邀請演講,經過仔細審查和選擇,來自19篇投稿。論文的重點包括以下主題:多代理系統(MAS)的程式設計框架、語言、模型和抽象;用於MAS的規範、驗證和工程的形式方法和聲明技術;MAS軟體工程方法論和技術,以及開發問題;互操作性和整合;工具和測試平台;MAS技術;以及實證研究和(工業)經驗報告。