LEADER 03806nam  22007095  450 
001 996466224403316
005 20200629211029.0
010   $a3-319-26184-3
024 7 $a10.1007/978-3-319-26184-3
035   $a(CKB)4340000000001201
035   $a(SSID)ssj0001585081
035   $a(PQKBManifestationID)16263472
035   $a(PQKBTitleCode)TC0001585081
035   $a(PQKBWorkID)14865089
035   $a(PQKB)10164837
035   $a(DE-He213)978-3-319-26184-3
035   $a(MiAaPQ)EBC6297079
035   $a(MiAaPQ)EBC5610505
035   $a(Au-PeEL)EBL5610505
035   $a(OCoLC)932169833
035   $a(PPN)190529369
035   $a(EXLCZ)994340000000001201
100   $a20151114d2015      u|             0
101 0 $aeng
135   $aurnn#008mamaa
181   $ctxt
182   $cc
183   $acr
200 10$aEngineering Multi-Agent Systems$b[electronic resource] $eThird International Workshop, EMAS 2015, Istanbul, Turkey, May 5, 2015, Revised, Selected, and Invited Papers /$fedited by Matteo Baldoni, Luciano Baresi, Mehdi Dastani
205   $a1st ed. 2015.
210  1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2015.
215   $a1 online resource (X, 231 p. 55 illus. in color.)
225 1 $aLecture Notes in Artificial Intelligence ;$v9318
300   $aBibliographic Level Mode of Issuance: Monograph
311   $a3-319-26183-5 
320   $aIncludes bibliographical references and index.
327   $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.
330   $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.
410  0$aLecture Notes in Artificial Intelligence ;$v9318
606   $aArtificial intelligence
606   $aSoftware engineering
606   $aComputer programming
606   $aArtificial Intelligence$3https://scigraph.springernature.com/ontologies/product-market-codes/I21000
606   $aSoftware Engineering$3https://scigraph.springernature.com/ontologies/product-market-codes/I14029
606   $aProgramming Techniques$3https://scigraph.springernature.com/ontologies/product-market-codes/I14010
615  0$aArtificial intelligence.
615  0$aSoftware engineering.
615  0$aComputer programming.
615 14$aArtificial Intelligence.
615 24$aSoftware Engineering.
615 24$aProgramming Techniques.
676   $a006.3
702   $aBaldoni$b Matteo$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aBaresi$b Luciano$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aDastani$b Mehdi$4edt$4http://id.loc.gov/vocabulary/relators/edt
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a996466224403316
996   $aEngineering Multi-Agent Systems$92803788
997   $aUNISA