000			03165nam a22004815i 4500
999			_c200434339 _d52551
003			DE-He213
005			20231104114350.0
007			cr nn 008mamaa
008			151114s2015 gw | s |||| 0|eng d
020			_a9783319261843 _z978-3-319-26184-3
024	7		_a10.1007/978-3-319-26184-3 _2doi
040			_aTR-AnTOB _beng _cTR-AnTOB _erda
050		4	_aQ334-342
072		7	_aUYQ _2bicssc
072		7	_aCOM004000 _2bisacsh
072		7	_aUYQ _2thema006.3 _223
245	1	0	_aEngineering Multi-Agent Systems : _bThird International Workshop, EMAS 2015, Istanbul, Turkey, May 5, 2015, Revised, Selected, and Invited Papers / _cedited by Matteo Baldoni, Luciano Baresi, Mehdi Dastani.
250			_a1st ed. 2015.
264		1	_aCham : _bSpringer International Publishing : _bImprint: Springer, _c2015.
300			_a1 online resource
336			_atext _btxt _2rdacontent
337			_acomputer _bc _2rdamedia
338			_aonline resource _bcr _2rdacarrier
347			_atext file _bPDF _2rda
490	0		_aLecture Notes in Artificial Intelligence ; _v9318
505	0		_aProgramming 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.
520			_aThis 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.
650		0	_aArtificial intelligence.
650		0	_aSoftware engineering.
650		0	_aComputer science.
650	1	4	_aArtificial Intelligence. _0http://scigraph.springernature.com/things/product-market-codes/I21000
650	2	4	_aSoftware Engineering. _0http://scigraph.springernature.com/things/product-market-codes/I14029
650	2	4	_aProgramming Techniques. _0http://scigraph.springernature.com/things/product-market-codes/I14010
700	1		_aBaldoni, Matteo. _eeditor. _4edt _4http://id.loc.gov/vocabulary/relators/edt
700	1		_aBaresi, Luciano. _eeditor. _4edt _4http://id.loc.gov/vocabulary/relators/edt
700	1		_aDastani, Mehdi. _eeditor. _4edt _4http://id.loc.gov/vocabulary/relators/edt
710	2		_aSpringerLink (Online service)
856	4	0	_3Springer eBooks _zOnline access link to the resource _uhttps://doi.org/10.1007/978-3-319-26184-3
942			_2lcc _cEBK
041			_aeng