04464nam 22007695 450 99646604350331620200701074331.03-642-19208-410.1007/978-3-642-19208-1(CKB)2670000000071955(SSID)ssj0000475845(PQKBManifestationID)11315865(PQKBTitleCode)TC0000475845(PQKBWorkID)10478994(PQKB)10402330(DE-He213)978-3-642-19208-1(MiAaPQ)EBC3066484(PPN)151585164(EXLCZ)99267000000007195520110221d2011 u| 0engurnn|008mamaatxtccrAgent-Oriented Software Engineering X[electronic resource] 10th International Workshop, AOSE 2009, Budapest, Hungary, May 11-12, 2009, Revised Selected Papers /edited by Marie-Pierre Gleizes, Jorge J. Gomez-Sanz1st ed. 2011.Berlin, Heidelberg :Springer Berlin Heidelberg :Imprint: Springer,2011.1 online resource (XII, 229 p. 56 illus., 28 illus. in color.) Programming and Software Engineering ;6038Bibliographic Level Mode of Issuance: Monograph3-642-19207-6 Includes bibliographical references and index.This 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.Programming and Software Engineering ;6038Software engineeringArtificial intelligenceComputer logicComputer programmingComputer communication systemsProgramming languages (Electronic computers)Software Engineeringhttps://scigraph.springernature.com/ontologies/product-market-codes/I14029Artificial Intelligencehttps://scigraph.springernature.com/ontologies/product-market-codes/I21000Logics and Meanings of Programshttps://scigraph.springernature.com/ontologies/product-market-codes/I1603XProgramming Techniqueshttps://scigraph.springernature.com/ontologies/product-market-codes/I14010Computer Communication Networkshttps://scigraph.springernature.com/ontologies/product-market-codes/I13022Programming Languages, Compilers, Interpretershttps://scigraph.springernature.com/ontologies/product-market-codes/I14037Software engineering.Artificial intelligence.Computer logic.Computer programming.Computer communication systems.Programming languages (Electronic computers).Software Engineering.Artificial Intelligence.Logics and Meanings of Programs.Programming Techniques.Computer Communication Networks.Programming Languages, Compilers, Interpreters.005.1Gleizes Marie-Pierreedthttp://id.loc.gov/vocabulary/relators/edtGomez-Sanz Jorge Jedthttp://id.loc.gov/vocabulary/relators/edtAOSE (Workshop)BOOK996466043503316Agent-Oriented Software Engineering X2829734UNISA