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.
Proceedings of the 15th Workshop on Early Aspects
| Proceedings of the 15th Workshop on Early Aspects |
| Autore | Garcia Alessandro |
| Pubbl/distr/stampa | [Place of publication not identified], : Association for Computing Machinery, 2009 |
| Descrizione fisica | 1 online resource (52 p.;) |
| Collana | ACM Conferences |
| Soggetto topico | Information Technology - Computer Science (Hardware & Networks) |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Altri titoli varianti | EA '09 |
| Record Nr. | UNINA-9910375802703321 |
Garcia Alessandro
|
||
| [Place of publication not identified], : Association for Computing Machinery, 2009 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Proceedings of the 2006 International Workshop on Software Engineering for Large-Scale Multi-Agent Systems
| Proceedings of the 2006 International Workshop on Software Engineering for Large-Scale Multi-Agent Systems |
| Autore | Choren Ricardo |
| Pubbl/distr/stampa | [Place of publication not identified], : ACM, 2006 |
| Descrizione fisica | 1 online resource (114 pages) |
| Collana | ACM Conferences |
| Soggetto topico |
Engineering & Applied Sciences
Computer Science |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Altri titoli varianti | SELMAS '06 |
| Record Nr. | UNINA-9910376484403321 |
|
Choren Ricardo
|
||
| [Place of publication not identified], : ACM, 2006 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Proceedings of the 2018 26th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering / / Gary T. Leavens, Alessandro Garcia, Corina S. Păsăreanu ; Association for Computing Machinery-Digital Library, contributor
| Proceedings of the 2018 26th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering / / Gary T. Leavens, Alessandro Garcia, Corina S. Păsăreanu ; Association for Computing Machinery-Digital Library, contributor |
| Autore | Leavens Gary T. |
| Pubbl/distr/stampa | New York, NY, USA : , : ACM, , 2018 |
| Descrizione fisica | 1 online resource |
| Disciplina | 005.1 |
| Collana | ACM Conferences |
| Soggetto topico | Software engineering |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910375699603321 |
|
Leavens Gary T.
|
||
| New York, NY, USA : , : ACM, , 2018 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Proceedings of the XXII Brazilian Symposium on Software Quality / / Edited by Edna Dias Canedo, Daniel de Paula Porto, Fábio Lúcio Lopes Mendonça, Rafael Timóteo de Sousa Júnior, Monalessa Perini Barcellos, Ismayle Sousa Santos, Sheila Reinehr, Sergio Soares, Uirá Kulesza, Érica Ferreira de Souza, Adriano Albuquerque, Carla Bezerra, Rodrigo Santos, Alessandro Garcia, Simone Dornelas Costa, Adolfo Gustavo Serra Seca Neto
| Proceedings of the XXII Brazilian Symposium on Software Quality / / Edited by Edna Dias Canedo, Daniel de Paula Porto, Fábio Lúcio Lopes Mendonça, Rafael Timóteo de Sousa Júnior, Monalessa Perini Barcellos, Ismayle Sousa Santos, Sheila Reinehr, Sergio Soares, Uirá Kulesza, Érica Ferreira de Souza, Adriano Albuquerque, Carla Bezerra, Rodrigo Santos, Alessandro Garcia, Simone Dornelas Costa, Adolfo Gustavo Serra Seca Neto |
| Pubbl/distr/stampa | Association for Computing Machinery, 2023 |
| Descrizione fisica | 1 online resource (391 p.;) |
| Altri autori (Persone) |
CanedoEdna Dias
PortoDaniel de Paula MendonçaFábio Lúcio Lopes de Sousa JúniorRafael Timóteo BarcellosMonalessa Perini SantosIsmayle Sousa ReinehrSheila SoaresSergio KuleszaUirá de SouzaÉrica Ferreira AlbuquerqueAdriano BezerraCarla SantosRodrigo GarciaAlessandro CostaSimone Dornelas Seca NetoAdolfo Gustavo Serra |
| Collana | ACM Other conferences |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ||| |
| Altri titoli varianti | SBQS '23 |
| Record Nr. | UNINA-9910776182303321 |
| Association for Computing Machinery, 2023 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Proceedings of the XXII Brazilian Symposium on Software Quality / / Edited by Edna Dias Canedo, Daniel de Paula Porto, Fábio Lúcio Lopes Mendonça, Rafael Timóteo de Sousa Júnior, Monalessa Perini Barcellos, Ismayle Sousa Santos, Sheila Reinehr, Sergio Soares, Uirá Kulesza, Érica Ferreira de Souza, Adriano Albuquerque, Carla Bezerra, Rodrigo Santos, Alessandro Garcia, Simone Dornelas Costa, Adolfo Gustavo Serra Seca Neto
| Proceedings of the XXII Brazilian Symposium on Software Quality / / Edited by Edna Dias Canedo, Daniel de Paula Porto, Fábio Lúcio Lopes Mendonça, Rafael Timóteo de Sousa Júnior, Monalessa Perini Barcellos, Ismayle Sousa Santos, Sheila Reinehr, Sergio Soares, Uirá Kulesza, Érica Ferreira de Souza, Adriano Albuquerque, Carla Bezerra, Rodrigo Santos, Alessandro Garcia, Simone Dornelas Costa, Adolfo Gustavo Serra Seca Neto |
| Pubbl/distr/stampa | Association for Computing Machinery, 2023 |
| Descrizione fisica | 1 online resource (391 p.;) |
| Altri autori (Persone) |
CanedoEdna Dias
PortoDaniel de Paula MendonçaFábio Lúcio Lopes de Sousa JúniorRafael Timóteo BarcellosMonalessa Perini SantosIsmayle Sousa ReinehrSheila SoaresSergio KuleszaUirá de SouzaÉrica Ferreira AlbuquerqueAdriano BezerraCarla SantosRodrigo GarciaAlessandro CostaSimone Dornelas Seca NetoAdolfo Gustavo Serra |
| Collana | ACM Other conferences |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ||| |
| Altri titoli varianti | SBQS '23 |
| Record Nr. | UNISA-996572363903316 |
| Association for Computing Machinery, 2023 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Software Engineering for Large-Scale Multi-Agent Systems [[electronic resource] ] : Research Issues and Practical Applications / / edited by Alessandro Garcia, Carlos Lucena, Franco Zambonelli, Andrea Omicini, Jaelson Castro
| Software Engineering for Large-Scale Multi-Agent Systems [[electronic resource] ] : Research Issues and Practical Applications / / edited by Alessandro Garcia, Carlos Lucena, Franco Zambonelli, Andrea Omicini, Jaelson Castro |
| Edizione | [1st ed. 2003.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2003 |
| Descrizione fisica | 1 online resource (XIII, 287 p.) |
| Disciplina | 005.1 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Artificial intelligence
Software engineering Computer communication systems Computer programming Application software User interfaces (Computer systems) Artificial Intelligence Software Engineering Computer Communication Networks Programming Techniques Information Systems Applications (incl. Internet) User Interfaces and Human Computer Interaction |
| ISBN | 3-540-35828-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Software Engineering Foundations -- Taming Agents and Objects in Software Engineering -- The Role of Roles in Designing Effective Agent Organizations -- Requirements Engineering and Software Architecture -- Requirements Engineering for Large-Scale Multi-agent Systems -- Requirements Traceability in Agent Oriented Development -- The Reflective Blackboard Pattern: Architecting Large Multi-agent Systems -- Coordination and Mobility -- A Declarative Approach to Agent-Centered Context-Aware Computing in Ad Hoc Wireless Environments -- Engineering Mobility in Large Multi Agent Systems: A Case Study in Urban Traffic Management -- Sustainable Information Ecosystems -- Reuse -- Achieving the Promise of Reuse with Agent Components -- Application-Specific Reuse of Agent Roles -- Assisting the Development of Aspect-Based Multi-agent Systems Using the Smartweaver Approach -- Dependability -- Dynamic and Adaptive Replication for Large-Scale Reliable Multi-agent Systems -- Achieving Software Robustness via Large-Scale Multiagent Systems -- Empirical Studies and Applications -- What Can Cellular Automata Tell Us about the Behavior of Large Multi-agent Systems? -- The RETSINA MAS, a Case Study -- Secure Multi-agent Coordination in a Network Monitoring System -- Towards Monitored Data Consistency and Business Processing Based on Declarative Software Agents1. |
| Record Nr. | UNISA-996465295903316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2003 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Software Engineering for Large-Scale Multi-Agent Systems : Research Issues and Practical Applications / / edited by Alessandro Garcia, Carlos Lucena, Franco Zambonelli, Andrea Omicini, Jaelson Castro
| Software Engineering for Large-Scale Multi-Agent Systems : Research Issues and Practical Applications / / edited by Alessandro Garcia, Carlos Lucena, Franco Zambonelli, Andrea Omicini, Jaelson Castro |
| Edizione | [1st ed. 2003.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2003 |
| Descrizione fisica | 1 online resource (XIII, 287 p.) |
| Disciplina | 005.1 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Artificial intelligence
Software engineering Computer communication systems Computer programming Application software User interfaces (Computer systems) Artificial Intelligence Software Engineering Computer Communication Networks Programming Techniques Information Systems Applications (incl. Internet) User Interfaces and Human Computer Interaction |
| ISBN | 3-540-35828-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Software Engineering Foundations -- Taming Agents and Objects in Software Engineering -- The Role of Roles in Designing Effective Agent Organizations -- Requirements Engineering and Software Architecture -- Requirements Engineering for Large-Scale Multi-agent Systems -- Requirements Traceability in Agent Oriented Development -- The Reflective Blackboard Pattern: Architecting Large Multi-agent Systems -- Coordination and Mobility -- A Declarative Approach to Agent-Centered Context-Aware Computing in Ad Hoc Wireless Environments -- Engineering Mobility in Large Multi Agent Systems: A Case Study in Urban Traffic Management -- Sustainable Information Ecosystems -- Reuse -- Achieving the Promise of Reuse with Agent Components -- Application-Specific Reuse of Agent Roles -- Assisting the Development of Aspect-Based Multi-agent Systems Using the Smartweaver Approach -- Dependability -- Dynamic and Adaptive Replication for Large-Scale Reliable Multi-agent Systems -- Achieving Software Robustness via Large-Scale Multiagent Systems -- Empirical Studies and Applications -- What Can Cellular Automata Tell Us about the Behavior of Large Multi-agent Systems? -- The RETSINA MAS, a Case Study -- Secure Multi-agent Coordination in a Network Monitoring System -- Towards Monitored Data Consistency and Business Processing Based on Declarative Software Agents1. |
| Record Nr. | UNINA-9910143879103321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2003 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Software Engineering for Multi-Agent Systems II [[electronic resource] ] : Research Issues and Practical Applications / / edited by Carlos Lucena, Alessandro Garcia, Alexander Romanovsky, Jaelson Castro, Paulo S.C. Alencar
| Software Engineering for Multi-Agent Systems II [[electronic resource] ] : Research Issues and Practical Applications / / edited by Carlos Lucena, Alessandro Garcia, Alexander Romanovsky, Jaelson Castro, Paulo S.C. Alencar |
| Edizione | [1st ed. 2004.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 |
| Descrizione fisica | 1 online resource (xii, 278 p. ) : ill. ; |
| Disciplina | 005.1 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Software engineering
Computer communication systems Computer programming User interfaces (Computer systems) Artificial intelligence Software Engineering/Programming and Operating Systems Software Engineering Computer Communication Networks Programming Techniques User Interfaces and Human Computer Interaction Artificial Intelligence |
| ISBN |
1-280-30702-1
9786610307029 3-540-24625-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Requirements Engineering -- The Agent at the Center of the Requirements Engineering Process -- Lexicon Based Ontology Construction -- Multi-agent Systems and Security Requirements Analysis -- Software Architecture and Design -- Separation of Concerns in Multi-agent Systems: An Empirical Study -- Architecting the Design of Multi-agent Organizations with Proto-frameworks -- A Basic Taxonomy for Role Composition -- Modeling -- Object-Oriented Modeling Approaches to Agent-Based Workflow Services -- Using the MAS-ML to Model a Multi-agent System -- Software Engineering Challenges for Mutable Agent Systems -- Dependability -- Improving Exception Handling in Multi-agent Systems -- On Manageability and Robustness of Open Multi-agent Systems -- Security Mechanisms for Mobile Agent Platforms Based on SPKI/SDSI Chains of Trust -- MAS Frameworks -- Farm: A Scalable Environment for Multi-agent Development and Evaluation -- Role-Based Approaches for Engineering Interactions in Large-Scale Multi-agent Systems -- Evaluating Agent Architectures: Cougaar, Aglets and AAA. |
| Record Nr. | UNISA-996465542303316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Software Engineering for Multi-Agent Systems II : Research Issues and Practical Applications / / edited by Carlos Lucena, Alessandro Garcia, Alexander Romanovsky, Jaelson Castro, Paulo S.C. Alencar
| Software Engineering for Multi-Agent Systems II : Research Issues and Practical Applications / / edited by Carlos Lucena, Alessandro Garcia, Alexander Romanovsky, Jaelson Castro, Paulo S.C. Alencar |
| Edizione | [1st ed. 2004.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 |
| Descrizione fisica | 1 online resource (xii, 278 p. ) : ill. ; |
| Disciplina | 005.1 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Software engineering
Computer communication systems Computer programming User interfaces (Computer systems) Artificial intelligence Software Engineering/Programming and Operating Systems Software Engineering Computer Communication Networks Programming Techniques User Interfaces and Human Computer Interaction Artificial Intelligence |
| ISBN |
1-280-30702-1
9786610307029 3-540-24625-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Requirements Engineering -- The Agent at the Center of the Requirements Engineering Process -- Lexicon Based Ontology Construction -- Multi-agent Systems and Security Requirements Analysis -- Software Architecture and Design -- Separation of Concerns in Multi-agent Systems: An Empirical Study -- Architecting the Design of Multi-agent Organizations with Proto-frameworks -- A Basic Taxonomy for Role Composition -- Modeling -- Object-Oriented Modeling Approaches to Agent-Based Workflow Services -- Using the MAS-ML to Model a Multi-agent System -- Software Engineering Challenges for Mutable Agent Systems -- Dependability -- Improving Exception Handling in Multi-agent Systems -- On Manageability and Robustness of Open Multi-agent Systems -- Security Mechanisms for Mobile Agent Platforms Based on SPKI/SDSI Chains of Trust -- MAS Frameworks -- Farm: A Scalable Environment for Multi-agent Development and Evaluation -- Role-Based Approaches for Engineering Interactions in Large-Scale Multi-agent Systems -- Evaluating Agent Architectures: Cougaar, Aglets and AAA. |
| Record Nr. | UNINA-9910144204803321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Software Engineering for Multi-Agent Systems III [[electronic resource] ] : Research Issues and Practical Applications / / edited by Ricardo Choren, Alessandro Garcia, Carlos Lucena, Alexander Romanovsky
| Software Engineering for Multi-Agent Systems III [[electronic resource] ] : Research Issues and Practical Applications / / edited by Ricardo Choren, Alessandro Garcia, Carlos Lucena, Alexander Romanovsky |
| Edizione | [1st ed. 2005.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2005 |
| Descrizione fisica | 1 online resource (XII, 291 p.) |
| Disciplina | 005.1 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Artificial intelligence Computer communication systems Computer programming User interfaces (Computer systems) Software Engineering Artificial Intelligence Computer Communication Networks Programming Techniques User Interfaces and Human Computer Interaction |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Agent Methodologies and Processes -- From Object-Oriented to Agent-Oriented Software Engineering Methodologies -- MASUP: An Agent-Oriented Modeling Process for Information Systems -- Composition of a New Process to Meet Agile Needs Using Method Engineering -- A Generative Approach for Multi-agent System Development -- Requirements Engineering and Software Architectures -- A Social-Driven Design of e-Business System -- Systematic Integration Between Requirements and Architecture -- Integrating Free-Flow Architectures with Role Models Based on Statecharts -- Aspectizing Multi-agent Systems: From Architecture to Implementation -- Modeling Languages -- CAMLE: A Caste-Centric Agent-Oriented Modelling Language and Environment -- A Formal Approach for the Modelling and Verification of Multiagent Plans Based on Model Checking and Petri Nets -- Specification of Role-Based Interactions Components in Multi-agent Systems -- The ANote Modeling Language for Agent-Oriented Specification -- Dependability and Coordination -- A Software Framework for Automated Negotiation -- Efficient Agent Communication in Multi-agent Systems -- Adaptive Access Control in Coordination-Based Mobile Agent Systems -- Separation of Concerns for Mechatronic Multi-agent Systems Through Dynamic Communities. |
| Record Nr. | UNISA-996465953703316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2005 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
