| 000 | 03524nam a22006135i 4500 | ||
|---|---|---|---|
| 001 | 978-3-642-19208-1 | ||
| 003 | DE-He213 | ||
| 005 | 20240423125741.0 | ||
| 007 | cr nn 008mamaa | ||
| 008 | 110221s2011 gw | s |||| 0|eng d | ||
| 020 |
_a9783642192081 _9978-3-642-19208-1 |
||
| 024 | 7 |
_a10.1007/978-3-642-19208-1 _2doi |
|
| 050 | 4 | _aQA76.758 | |
| 072 | 7 |
_aUMZ _2bicssc |
|
| 072 | 7 |
_aCOM051230 _2bisacsh |
|
| 072 | 7 |
_aUMZ _2thema |
|
| 082 | 0 | 4 |
_a005.1 _223 |
| 245 | 1 | 0 |
_aAgent-Oriented Software Engineering X _h[electronic resource] : _b10th International Workshop, AOSE 2009, Budapest, Hungary, May 11-12, 2009, Revised Selected Papers / _cedited by Marie-Pierre Gleizes, Jorge J. Gomez-Sanz. |
| 250 | _a1st ed. 2011. | ||
| 264 | 1 |
_aBerlin, Heidelberg : _bSpringer Berlin Heidelberg : _bImprint: Springer, _c2011. |
|
| 300 |
_aXII, 229 p. 56 illus., 28 illus. in color. _bonline resource. |
||
| 336 |
_atext _btxt _2rdacontent |
||
| 337 |
_acomputer _bc _2rdamedia |
||
| 338 |
_aonline resource _bcr _2rdacarrier |
||
| 347 |
_atext file _bPDF _2rda |
||
| 490 | 1 |
_aProgramming and Software Engineering, _x2945-9168 ; _v6038 |
|
| 520 | _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. | ||
| 650 | 0 | _aSoftware engineering. | |
| 650 | 0 | _aArtificial intelligence. | |
| 650 | 0 | _aComputer science. | |
| 650 | 0 | _aComputer programming. | |
| 650 | 0 | _aComputer networks . | |
| 650 | 0 | _aCompilers (Computer programs). | |
| 650 | 1 | 4 | _aSoftware Engineering. |
| 650 | 2 | 4 | _aArtificial Intelligence. |
| 650 | 2 | 4 | _aComputer Science Logic and Foundations of Programming. |
| 650 | 2 | 4 | _aProgramming Techniques. |
| 650 | 2 | 4 | _aComputer Communication Networks. |
| 650 | 2 | 4 | _aCompilers and Interpreters. |
| 700 | 1 |
_aGleizes, Marie-Pierre. _eeditor. _4edt _4http://id.loc.gov/vocabulary/relators/edt |
|
| 700 | 1 |
_aGomez-Sanz, Jorge J. _eeditor. _4edt _4http://id.loc.gov/vocabulary/relators/edt |
|
| 710 | 2 | _aSpringerLink (Online service) | |
| 773 | 0 | _tSpringer Nature eBook | |
| 776 | 0 | 8 |
_iPrinted edition: _z9783642192074 |
| 776 | 0 | 8 |
_iPrinted edition: _z9783642192098 |
| 830 | 0 |
_aProgramming and Software Engineering, _x2945-9168 ; _v6038 |
|
| 856 | 4 | 0 | _uhttps://doi.org/10.1007/978-3-642-19208-1 |
| 912 | _aZDB-2-SCS | ||
| 912 | _aZDB-2-SXCS | ||
| 912 | _aZDB-2-LNC | ||
| 942 | _cSPRINGER | ||
| 999 |
_c181324 _d181324 |
||