| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNISA996465751303316 |
|
|
Titolo |
Engineering Multi-Agent Systems [[electronic resource] ] : 4th International Workshop, EMAS 2016, Singapore, Singapore, May 9-10, 2016, Revised, Selected, and Invited Papers / / edited by Matteo Baldoni, Jörg P. Müller, Ingrid Nunes, Rym Zalila-Wenkstern |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 |
|
|
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Edizione |
[1st ed. 2016.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (XII, 227 p. 66 illus.) |
|
|
|
|
|
|
Collana |
|
Lecture Notes in Artificial Intelligence ; ; 10093 |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Artificial intelligence |
Software engineering |
Computer programming |
Computer communication systems |
Mathematical logic |
Computers and civilization |
Artificial Intelligence |
Software Engineering |
Programming Techniques |
Computer Communication Networks |
Mathematical Logic and Formal Languages |
Computers and Society |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Sommario/riassunto |
|
This book constitutes revised, selected, and invited papers from the 4th International Workshop on Engineering Multi-Agent Systems, EMAS 2016, held in Singapore, in May 2016, in conjunction with AAMAS. The 10 full papers presented in this volume were carefully reviewed and selected from 14 submissions. The book also contains 2 invited papers; extended versions of AAMAS 2016 demonstration abstracts. EMAS deals with MAS software engineering processes, methodologies and |
|
|
|
|
|
|
|
|
|
|
|
|
|
techniques; Programming languages for MAS; Formal methods and declarative technologies for the specification, validation and verification of MAS; and development tools. |
|
|
|
|
|
|
2. |
Record Nr. |
UNISA996466211103316 |
|
|
Titolo |
Human-Centered Software Engineering [[electronic resource] ] : 4th International Conference, HCSE 2012, Toulouse, France, October 29-31, 2012, Proceedings / / edited by Marco Winckler, Peter Forbrig, Regina Bernhaupt |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2012 |
|
|
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Edizione |
[1st ed. 2012.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (XII, 370 p. 121 illus.) |
|
|
|
|
|
|
Collana |
|
Programming and Software Engineering ; ; 7623 |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Software engineering |
User interfaces (Computer systems) |
Application software |
Artificial intelligence |
Computer communication systems |
Computers and civilization |
Software Engineering |
User Interfaces and Human Computer Interaction |
Information Systems Applications (incl. Internet) |
Artificial Intelligence |
Computer Communication Networks |
Computers and Society |
Conference proceedings. |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
International conference proceedings. |
|
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references and author index. |
|
|
|
|
|
|
Sommario/riassunto |
|
This book constitutes the refereed proceedings of the 4th International |
|
|
|
|
|
|
|
|
|
|
Conference on Human-Centered Software Engineering, HCSE 2012, held in Toulouse, France, in October 2012. The twelve full papers and fourteen short papers presented were carefully reviewed and selected from various submissions. The papers cover the following topics: user interface design, examining the relationship between software engineering and human-computer interaction and on how to strengthen user-centered design as an essential part of software engineering process. |
|
|
|
|
|
| |