Engineering multi-agent systems [electronic resource] : Third International Workshop, EMAS 2015, Istanbul, Turkey, May 5, 2015, Revised, Selected, and Invited Papers / edited by Matteo Baldoni, Luciano Baresi, Mehdi Dastani.
2015
QA76.76.I58
Linked e-resources
Linked Resource
Concurrent users
Unlimited
Authorized users
Authorized users
Document Delivery Supplied
Can lend chapters, not whole ebooks
Details
Title
Engineering multi-agent systems [electronic resource] : Third International Workshop, EMAS 2015, Istanbul, Turkey, May 5, 2015, Revised, Selected, and Invited Papers / edited by Matteo Baldoni, Luciano Baresi, Mehdi Dastani.
Meeting Name
ISBN
9783319261843 electronic book
3319261843 electronic book
9783319261836
3319261843 electronic book
9783319261836
Published
Cham : Springer, 2015.
Language
English
Description
1 online resource (x, 231 pages) : illustrations.
Item Number
10.1007/978-3-319-26184-3 doi
Call Number
QA76.76.I58
Dewey Decimal Classification
006.3
Summary
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.
Access Note
Access limited to authorized users.
Digital File Characteristics
text file PDF
Series
Lecture notes in computer science ; 9318.
Lecture notes in computer science. Lecture notes in artificial intelligence ; 9318.
LNCS sublibrary. SL 7, Artificial intelligence.
Lecture notes in computer science. Lecture notes in artificial intelligence ; 9318.
LNCS sublibrary. SL 7, Artificial intelligence.
Available in Other Form
Print version: 9783319261836
Linked Resources
Record Appears in
Table of Contents
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
Empirical studies and (industrial) experience reports.
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
Empirical studies and (industrial) experience reports.