LEADER 04464nam  22007695  450 
001 996466043503316
005 20200701074331.0
010   $a3-642-19208-4
024 7 $a10.1007/978-3-642-19208-1
035   $a(CKB)2670000000071955
035   $a(SSID)ssj0000475845
035   $a(PQKBManifestationID)11315865
035   $a(PQKBTitleCode)TC0000475845
035   $a(PQKBWorkID)10478994
035   $a(PQKB)10402330
035   $a(DE-He213)978-3-642-19208-1
035   $a(MiAaPQ)EBC3066484
035   $a(PPN)151585164
035   $a(EXLCZ)992670000000071955
100   $a20110221d2011      u|             0
101 0 $aeng
135   $aurnn|008mamaa
181   $ctxt
182   $cc
183   $acr
200 10$aAgent-Oriented Software Engineering X$b[electronic resource] $e10th International Workshop, AOSE 2009, Budapest, Hungary, May 11-12, 2009, Revised Selected Papers /$fedited by Marie-Pierre Gleizes, Jorge J. Gomez-Sanz
205   $a1st ed. 2011.
210  1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2011.
215   $a1 online resource (XII, 229 p. 56 illus., 28 illus. in color.) 
225 1 $aProgramming and Software Engineering ;$v6038
300   $aBibliographic Level Mode of Issuance: Monograph
311   $a3-642-19207-6 
320   $aIncludes bibliographical references and index.
330   $aThis volume constitutes the thoroughly refereed post-conference proceedings of the 10th International Workshop on Agent-Oriented Software Engineering, AOSE 2009, held in Budapest, Hungary, in May 2009 as part of AAMAS 2009, the 8th International Conference on Autonomous Agents and Multiagent Systems. The 10 revised full papers presented were carefully selected from numerous initial submissions during two rounds of reviewing and improvement. The papers have been organized into three sections on multi-agent organizations, concrete development techniques, and - one step higher - going beyond the concrete technique and proposing a development method for designing concrete types of systems. This state-of-the-art survey is rounded off by five additional lectures ressing key areas in development: agent-oriented modelling languages, implementation of MAS, testing of MAS, software processes, and formal methods for the development of MAS. They permit analysis of the current state in the generation of specifications of MAS, the way these specifications can be implemented, how they can be validated, and what steps are necessary to do so.
410  0$aProgramming and Software Engineering ;$v6038
606   $aSoftware engineering
606   $aArtificial intelligence
606   $aComputer logic
606   $aComputer programming
606   $aComputer communication systems
606   $aProgramming languages (Electronic computers)
606   $aSoftware Engineering$3https://scigraph.springernature.com/ontologies/product-market-codes/I14029
606   $aArtificial Intelligence$3https://scigraph.springernature.com/ontologies/product-market-codes/I21000
606   $aLogics and Meanings of Programs$3https://scigraph.springernature.com/ontologies/product-market-codes/I1603X
606   $aProgramming Techniques$3https://scigraph.springernature.com/ontologies/product-market-codes/I14010
606   $aComputer Communication Networks$3https://scigraph.springernature.com/ontologies/product-market-codes/I13022
606   $aProgramming Languages, Compilers, Interpreters$3https://scigraph.springernature.com/ontologies/product-market-codes/I14037
615  0$aSoftware engineering.
615  0$aArtificial intelligence.
615  0$aComputer logic.
615  0$aComputer programming.
615  0$aComputer communication systems.
615  0$aProgramming languages (Electronic computers).
615 14$aSoftware Engineering.
615 24$aArtificial Intelligence.
615 24$aLogics and Meanings of Programs.
615 24$aProgramming Techniques.
615 24$aComputer Communication Networks.
615 24$aProgramming Languages, Compilers, Interpreters.
676   $a005.1
702   $aGleizes$b Marie-Pierre$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aGomez-Sanz$b Jorge J$4edt$4http://id.loc.gov/vocabulary/relators/edt
712 12$aAOSE (Workshop)
906   $aBOOK
912   $a996466043503316
996   $aAgent-Oriented Software Engineering X$92829734
997   $aUNISA