Agent-Oriented Software Engineering VI by Franco Zambonelli
This book represents the thoroughly refereed post-proceedings of the 6th International Workshop on Agent-Oriented Software Engineering, AOSE 2005. The papers are organized in topical sections on modeling tools, analysis and validation tools, multiagent systems design, implementation tools, and experiences and comparative evaluations.-
Fundamentals of Software Engineering
-
Software Engineering and Formal Methods
-
Formal Methods for Eternal Networked Software Systems
-
Autonomic and Trusted Computing
-
Analytical and Stochastic Modeling Techniques and Applications
-
Principles and Practice of Constraint Programming
-
Software Architecture
-
Runtime Verification
-
Computer Safety, Reliability, and Security
-
Formal Techniques for Distributed Objects, Components, and Systems
-
Search-Based Software Engineering
-
Fields of Logic and Computation III
-
Web Services – ICWS 2020
-
Tests and Proofs
-
Formal Methods for Industrial Critical Systems
-
Software Language Engineering
-
Service-Oriented Computing--ICSOC 2013 Workshops
-
Services Computing – SCC 2020
-
Energy-Efficient Data Centers
-
Intelligent Tutoring Systems
-
Programming Languages and Systems
-
Foundations of Health Information Engineering and Systems
-
Rules and Reasoning
-
OpenSHMEM and Related Technologies. Experiences, Implementations, and Tools
-
Selected Topics in Performance Evaluation and Benchmarking
-
Formal Methods for Components and Objects
-
Automated Technology for Verification and Analysis
-
OpenMP: Conquering the Full Hardware Spectrum
-
Computer Performance Engineering
-
ECOOP 2014 -- Object-Oriented Programming
-
Software Engineering
-
Software Engineering for Self-Adaptive Systems
-
Mathematical and Engineering Methods in Computer Science
-
Formal Methods: Foundations and Applications
-
Formal Aspects of Component Software
-
NASA Formal Methods
-
Large-Scale Complex IT Systems. Development, Operation and Management
-
Language Engineering and Rigorous Software Development
-
Foundations of Computer Software: Future Trends and Techniques for Development
-
Software Process and Product Measurement
-
Rule Interchange and Applications
-
Verified Software: Theorie, Tools, Experiments
-
Web Services and Formal Methods
Prof. Dr. J�rg P. M�ller holds a Chair for Business Information Technology at Technical University of Clausthal. Previously, J�rg was Principal Researcher with Siemens AG, John Wiley & Sons, Zuno Ltd., Mitsubishi Electric, and the German Artificial Intelligence Research Center. He holds a Ph.D. from Saarbr�cken University and an M.Sc. in Computer Science from Kaiserslautern University. Within the last fifteen years, he has published more than 100 papers on intelligent agents and multi-agent systems, business information systems and distributed computing. His current research interests include technologies for interoperability, model-driven business process automation, and business applications of agent technology, peer-to-peer and grid computing.
| SKU | Unavailable |
| ISBN 13 | 9783540340973 |
| ISBN 10 | 3540340971 |
| Title | Agent-Oriented Software Engineering VI |
| Author | Jrg Mller |
| Series | Programming And Software Engineering |
| Condition | Unavailable |
| Binding Type | Paperback |
| Publisher | Springer |
| Year published | 2006-05-15 |
| Number of pages | 249 |
| Cover note | Book picture is for illustrative purposes only, actual binding, cover or edition may vary. |
| Note | Unavailable |