Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
Agent-Oriented Software Engineering III [[electronic resource] ] : Third International Workshop, AOSE 2002, Bologna, Italy, July 15, 2002, Revised Papers and Invited Contributions / / edited by Fausto Giunchiglia, James Odell, Gerhard Weiß
| Agent-Oriented Software Engineering III [[electronic resource] ] : Third International Workshop, AOSE 2002, Bologna, Italy, July 15, 2002, Revised Papers and Invited Contributions / / edited by Fausto Giunchiglia, James Odell, Gerhard Weiß |
| Edizione | [1st ed. 2003.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2003 |
| Descrizione fisica | 1 online resource (X, 234 p.) |
| Disciplina | 005.1 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Software engineering
Computers Computer communication systems Programming languages (Electronic computers) Software Engineering/Programming and Operating Systems Science, Humanities and Social Sciences, multidisciplinary Theory of Computation Software Engineering Computer Communication Networks Programming Languages, Compilers, Interpreters |
| ISBN | 3-540-36540-0 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Modeling, Specification, and Validation -- Specifying Electronic Societies with the Causal Calculator -- Modeling Agents and Their Environment -- Validation of Multiagent Systems by Symbolic Model Checking -- Patterns,Architectures,and Reuse -- Patterns in Agent-Oriented Software Engineering -- Concurrent Architecture for a Multi-agent Platform -- Re-use of Interaction Protocols for Agent-Based Control Applications -- Architecting for Reuse: A Software Framework for Automated Negotiation -- Multi-agent and Software Architectures: A Comparative Case Study -- UML and Agent Systems -- Using UML State Machine Models for More Precise and Flexible JADE Agent Behaviors -- Generating Machine Processable Representations of Textual Representations of AUML -- A UML Profile for External Agent-Object-Relationship (AOR) Models -- Extending Agent UML Sequence Diagrams -- Methodologies and Tools -- The Tropos Software Development Methodology: Processes, Models and Diagrams -- Prometheus: A Methodology for Developing Intelligent Agents -- Tool-Supported Process Analysis and Design for the Development of Multi-agent Systems -- Assembling Agent Oriented Software Engineering Methodologies from Features -- Positions and Perspectives -- Agent-Oriented Software Technologies: Flaws and Remedies. |
| Record Nr. | UNISA-996465275203316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2003 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Agent-Oriented Software Engineering III : Third International Workshop, AOSE 2002, Bologna, Italy, July 15, 2002, Revised Papers and Invited Contributions / / edited by Fausto Giunchiglia, James Odell, Gerhard Weiß
| Agent-Oriented Software Engineering III : Third International Workshop, AOSE 2002, Bologna, Italy, July 15, 2002, Revised Papers and Invited Contributions / / edited by Fausto Giunchiglia, James Odell, Gerhard Weiß |
| Edizione | [1st ed. 2003.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2003 |
| Descrizione fisica | 1 online resource (X, 234 p.) |
| Disciplina | 005.1 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Software engineering
Computers Computer networks Programming languages (Electronic computers) Software Engineering/Programming and Operating Systems Science, Humanities and Social Sciences, multidisciplinary Theory of Computation Software Engineering Computer Communication Networks Programming Languages, Compilers, Interpreters |
| ISBN | 3-540-36540-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Modeling, Specification, and Validation -- Specifying Electronic Societies with the Causal Calculator -- Modeling Agents and Their Environment -- Validation of Multiagent Systems by Symbolic Model Checking -- Patterns,Architectures,and Reuse -- Patterns in Agent-Oriented Software Engineering -- Concurrent Architecture for a Multi-agent Platform -- Re-use of Interaction Protocols for Agent-Based Control Applications -- Architecting for Reuse: A Software Framework for Automated Negotiation -- Multi-agent and Software Architectures: A Comparative Case Study -- UML and Agent Systems -- Using UML State Machine Models for More Precise and Flexible JADE Agent Behaviors -- Generating Machine Processable Representations of Textual Representations of AUML -- A UML Profile for External Agent-Object-Relationship (AOR) Models -- Extending Agent UML Sequence Diagrams -- Methodologies and Tools -- The Tropos Software Development Methodology: Processes, Models and Diagrams -- Prometheus: A Methodology for Developing Intelligent Agents -- Tool-Supported Process Analysis and Design for the Development of Multi-agent Systems -- Assembling Agent Oriented Software Engineering Methodologies from Features -- Positions and Perspectives -- Agent-Oriented Software Technologies: Flaws and Remedies. |
| Record Nr. | UNINA-9910143882703321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2003 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Agent-Oriented Software Engineering IV [[electronic resource] ] : 4th International Workshop, AOSE 2003, Melbourne, Australia, July 15, 2003, Revised Papers / / edited by Paolo Giorgini, Jörg Müller, James Odell
| Agent-Oriented Software Engineering IV [[electronic resource] ] : 4th International Workshop, AOSE 2003, Melbourne, Australia, July 15, 2003, Revised Papers / / edited by Paolo Giorgini, Jörg Müller, James Odell |
| Edizione | [1st ed. 2004.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 |
| Descrizione fisica | 1 online resource (x, 245 p. ) : ill. ; |
| Disciplina | 005.1 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Software engineering
Computer programming Programming languages (Electronic computers) Computer logic Artificial intelligence Software Engineering/Programming and Operating Systems Software Engineering Programming Techniques Programming Languages, Compilers, Interpreters Logics and Meanings of Programs Artificial Intelligence |
| ISBN |
1-280-30670-X
9786610306701 3-540-24620-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Modeling Agents and Multiagent Systems -- Using UML in the Context of Agent-Oriented Software Engineering: State of the Art -- Towards a Recursive Agent Oriented Methodology for Large-Scale MAS -- Agent-Oriented Modeling by Interleaving Formal and Informal Specification -- The ROADMAP Meta-model for Intelligent Adaptive Multi-agent Systems in Open Environments -- Modeling Deployment and Mobility Issues in Multiagent Systems Using AUML -- Methodologies and Tools -- A Knowledge-Based Methodology for Designing Reliable Multi-agent Systems -- A Framework for Constructing Multi-agent Applications and Training Intelligent Agents -- Activity Theory for the Analysis and Design of Multi-agent Systems -- A Design Taxonomy of Multi-agent Interactions -- Automatic Derivation of Agent Interaction Model from Generic Interaction Protocols -- Patterns, Architectures, and Reuse -- Building Blocks for Agent Design -- Supporting FIPA Interoperability for Legacy Multi-agent Systems -- Dynamic Multi-agent Architecture Using Conversational Role Delegation -- Roles and Organizations -- Temporal Aspects of Dynamic Role Assignment -- From Agents to Organizations: An Organizational View of Multi-agent Systems -- Modelling Multi-agent Systems with Soft Genes, Roles, and Agents. |
| Record Nr. | UNISA-996466169603316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Agent-Oriented Software Engineering IV : 4th International Workshop, AOSE 2003, Melbourne, Australia, July 15, 2003, Revised Papers / / edited by Paolo Giorgini, Jörg Müller, James Odell
| Agent-Oriented Software Engineering IV : 4th International Workshop, AOSE 2003, Melbourne, Australia, July 15, 2003, Revised Papers / / edited by Paolo Giorgini, Jörg Müller, James Odell |
| Edizione | [1st ed. 2004.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 |
| Descrizione fisica | 1 online resource (x, 245 p. ) : ill. ; |
| Disciplina | 005.1 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Software engineering
Computer programming Compilers (Computer programs) Computer science Artificial intelligence Software Engineering Programming Techniques Compilers and Interpreters Computer Science Logic and Foundations of Programming Artificial Intelligence |
| ISBN |
1-280-30670-X
9786610306701 3-540-24620-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Modeling Agents and Multiagent Systems -- Using UML in the Context of Agent-Oriented Software Engineering: State of the Art -- Towards a Recursive Agent Oriented Methodology for Large-Scale MAS -- Agent-Oriented Modeling by Interleaving Formal and Informal Specification -- The ROADMAP Meta-model for Intelligent Adaptive Multi-agent Systems in Open Environments -- Modeling Deployment and Mobility Issues in Multiagent Systems Using AUML -- Methodologies and Tools -- A Knowledge-Based Methodology for Designing Reliable Multi-agent Systems -- A Framework for Constructing Multi-agent Applications and Training Intelligent Agents -- Activity Theory for the Analysis and Design of Multi-agent Systems -- A Design Taxonomy of Multi-agent Interactions -- Automatic Derivation of Agent Interaction Model from Generic Interaction Protocols -- Patterns, Architectures, and Reuse -- Building Blocks for Agent Design -- Supporting FIPA Interoperability for Legacy Multi-agent Systems -- Dynamic Multi-agent Architecture Using Conversational Role Delegation -- Roles and Organizations -- Temporal Aspects of Dynamic Role Assignment -- From Agents to Organizations: An Organizational View of Multi-agent Systems -- Modelling Multi-agent Systems with Soft Genes, Roles, and Agents. |
| Record Nr. | UNINA-9910144208803321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Agent-Oriented Software Engineering V [[electronic resource] ] : 5th International Workshop, AOSE 2004, New York, NY, USA, July 2004, Revised Selected Papers / / edited by James Odell, Paolo Giorgini, Jörg, P. Müller
| Agent-Oriented Software Engineering V [[electronic resource] ] : 5th International Workshop, AOSE 2004, New York, NY, USA, July 2004, Revised Selected Papers / / edited by James Odell, Paolo Giorgini, Jörg, P. Müller |
| Edizione | [1st ed. 2005.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2005 |
| Descrizione fisica | 1 online resource (X, 246 p.) |
| Disciplina | 005.1 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Artificial intelligence Computer logic Computer programming Computer communication systems Software Engineering/Programming and Operating Systems Software Engineering Artificial Intelligence Logics and Meanings of Programs Programming Techniques Computer Communication Networks |
| ISBN | 3-540-30578-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Modeling -- Organizational and Social Concepts in Agent Oriented Software Engineering -- Representing Agent Interaction Protocols with Agent UML -- AML: Agent Modeling Language Toward Industry-Grade Agent-Based Modeling -- Formal Semantics for AUML Agent Interaction Protocol Diagrams -- A Study of Some Multi-agent Meta-models -- A Metamodel for Agents, Roles, and Groups -- Design -- Bridging the Gap Between Agent-Oriented Design and Implementation Using MDA -- A Design Process for Adaptive Behavior of Situated Agents -- Evaluation of Agent–Oriented Software Methodologies – Examination of the Gap Between Modeling and Platform -- A Formal Approach to Design and Reuse Agent and Multiagent Models -- An Agent Construction Model for Ubiquitous Computing Devices -- Reuse and Platforms -- A Framework for Patterns in Gaia: A Case-Study with Organisations -- Enacting and Deacting Roles in Agent Programming -- A Platform for Agent Behavior Design and Multi Agent Orchestration -- A Formal Reuse-Based Approach for Interactively Designing Organizations. |
| Record Nr. | UNISA-996466054503316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2005 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||