000 -LEADER |
fixed length control field |
04507nam a22005655i 4500 |
020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
ISBN |
9783540709459 |
-- |
978-3-540-70945-9 |
082 04 - DEWEY DECIMAL CLASSIFICATION NUMBER |
Classification number |
005.1 |
245 10 - TITLE STATEMENT |
Title |
Agent-Oriented Software Engineering VII |
Sub Title |
7th International Workshop, AOSE 2006, Hakodate, Japan, May 8, 2006, Revised and Invited Papers / |
Statement of responsibility, etc |
edited by Lin Padgham, Franco Zambonelli. |
260 #1 - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT) |
Place of publication |
Berlin, Heidelberg : |
Name of publisher |
Springer Berlin Heidelberg, |
Year of publication |
2007. |
300 ## - PHYSICAL DESCRIPTION |
Number of Pages |
XII, 229 p. Also available online. |
Other physical details |
online resource. |
490 1# - SERIES STATEMENT |
Series statement |
Lecture Notes in Computer Science, |
505 0# - FORMATTED CONTENTS NOTE |
Formatted contents note |
Modelling and Design of Agent Systems -- An Agent-Environment Interaction Model -- Allocating Goals to Agent Roles During MAS Requirements Engineering -- An Aspect-Oriented Modeling Framework for Multi-Agent Systems Design -- Modelling Open Agent Systems -- Extending UML Sequence Diagrams to Model Agent Mobility -- Applying the Governance Framework Technique to Promote Maintainability in Open Multi-Agent Systems -- Designing Institutional Multi-Agent Systems -- Formal Reasoning About Designs -- Modeling Mental States in the Analysis of Multiagent Systems Requirements -- Observed-MAS: An Ontology-Based Method for Analyzing Multi-Agent Systems Design Models -- Using Risk Analysis to Evaluate Design Alternatives -- Testing, Debugging and Evolvability -- SUNIT: A Unit Testing Framework for Test Driven Development of Multi-Agent Systems -- Monitoring Group Behavior in Goal-Directed Agents Using Co-efficient Plan Observation -- Evaluating a Model Driven Development Toolkit for Domain Experts to Modify Agent Based Systems -- Building the Core Architecture of a NASA Multiagent System Product Line. |
520 ## - SUMMARY, ETC. |
Summary, etc |
Software architectures that contain many dynamically interacting components, each with their own thread of control, and engaging in complex coordination protocols, are difficult to correctly and efficiently engineer. Agent-oriented modelling techniques are important for supporting the design and development of such applications. This book provides a diverse and interesting overview of the work that is currently being undertaken by a growing number of researchers and research groups in the area of Agent-Oriented Software Engineering. The papers present leading edge research in this field, which is of critical importance in facilitating industry take-up of powerful agent technologies. This volume constitutes the thoroughly refereed post-proceedings of the 7th International Workshop on Agent-Oriented Software Engineering, AOSE 2006, held in Hakodate, Japan, in May 2006 as part of AAMAS 2006. The 13 revised full papers were carefully selected from numerous submissions during two rounds of reviewing and improvement and have been complemented by invited papers from leading researchers in the field. The papers are organized in topical sections on modelling and design of agent systems, modelling open agent systems, formal reasoning about designs, as well as testing, debugging and evolvability. |
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
Topical Term |
Computer science. |
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
Topical Term |
Computer Communication Networks. |
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
Topical Term |
Software engineering. |
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
Topical Term |
Logic design. |
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
Topical Term |
Artificial intelligence. |
650 14 - SUBJECT ADDED ENTRY--TOPICAL TERM |
Topical Term |
Computer Science. |
650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM |
Topical Term |
Software Engineering. |
650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM |
Topical Term |
Artificial Intelligence (incl. Robotics). |
650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM |
Topical Term |
Logics and Meanings of Programs. |
650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM |
Topical Term |
Programming Techniques. |
650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM |
Topical Term |
Computer Communication Networks. |
650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM |
Topical Term |
Programming Languages, Compilers, Interpreters. |
700 1# - ADDED ENTRY--PERSONAL NAME |
Personal name |
Padgham, Lin. |
700 1# - ADDED ENTRY--PERSONAL NAME |
Personal name |
Zambonelli, Franco. |
856 40 - ELECTRONIC LOCATION AND ACCESS |
Uniform Resource Identifier |
http://dx.doi.org/10.1007/978-3-540-70945-9 |
942 ## - ADDED ENTRY ELEMENTS (KOHA) |
Koha item type |
E-BOOKS |
264 #1 - |
-- |
Berlin, Heidelberg : |
-- |
Springer Berlin Heidelberg, |
-- |
2007. |
336 ## - |
-- |
text |
-- |
txt |
-- |
rdacontent |
337 ## - |
-- |
computer |
-- |
c |
-- |
rdamedia |
338 ## - |
-- |
online resource |
-- |
cr |
-- |
rdacarrier |
347 ## - |
-- |
text file |
-- |
PDF |
-- |
rda |
830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE |
-- |
0302-9743 ; |