Lecture Notes in Computer Science : Third International Workshop, AOSE 2002, Bologna, Italy, July 15, 2002, Revised Papers and Invited Contributions - Fausto Giunchiglia

Instant online reading.
Don't wait for delivery!

Lecture Notes in Computer Science

Third International Workshop, AOSE 2002, Bologna, Italy, July 15, 2002, Revised Papers and Invited Contributions

By: Fausto Giunchiglia (Editor), James Odell (Editor), Gerhard WeiÃ? (Editor)

Write A Review

Paperback | 25 February 2003

At a Glance

Paperback
244 Pages

Dimensions(cm)
33.02 x 15.24 x 1.27

Paperback

$84.99

or 4 interest-free payments of $21.25 with

Ships in 5 to 7 business days

Over the past three decades, software engineers have derived a progressively better understanding of the characteristics of complexity in software. It is now widely recognised thatinteraction is probably the most important single char- teristic of complex software. Software architectures that contain many dyna- cally interacting components, each with their own thread of control, and eng- ing in complex coordination protocols, are typically orders of magnitude more complex to correctly and e?ciently engineer than those that simply compute a function of some input through a single thread of control. Unfortunately, it turns out that many (if not most) real-world applications have precisely these characteristics. As a consequence, a major research topic in c- puter science over at least the past two decades has been the development of tools and techniques to model, understand, and implement systems in which interaction is the norm. Indeed, many researchers now believe that in future computation itself will be understood as chie?y a process of interaction.

Shipping

	Standard Shipping	Express Shipping
Metro postcodes:	$9.99	$14.95
Regional postcodes:	$9.99	$14.95
Rural postcodes:	$9.99	$14.95

Orders over $89.00 qualify for free shipping.

How to return your order

At Booktopia, we offer hassle-free returns in accordance with our returns policy. If you wish to return an item, please get in touch with Booktopia Customer Care.

Additional postage charges may be applicable.

Defective items

If there is a problem with any of the items received for your order then the Booktopia Customer Care team is ready to assist you.

For more info please visit our Help Centre.

Modeling, Specification, and Validation
Specifying Electronic Societies with the Causal Calculator	p. 1
Modeling Agents and Their Environment	p. 16
Validation of Multiagent Systems by Symbolic Model Checking	p. 32
Patterns, Architectures, and Reuse
Patterns in Agent-Oriented Software Engineering	p. 47
Concurrent Architecture for a Multi-agent Platform	p. 59
Re-use of Interaction Protocols for Agent-Based Control Applications	p. 73
Architecting for Reuse: A Software Framework for Automated Negotiation	p. 88
Multi-agent and Software Architectures: A Comparative Case Study	p. 101
UML and Agent Systems
Using UML State Machine Models for More Precise and Flexible JADE Agent Behaviors	p. 113
Generating Machine Processable Representations of Textual Representations of AUML	p. 126
A UML Profile for External Agent-Object-Relationship (AOR) Models	p. 138
Extending Agent UML Sequence Diagrams	p. 150
Methodologies and Tools
The Tropos Software Development Methodology: Processes, Models and Diagrams	p. 162
Prometheus: A Methodology for Developing Intelligent Agents
Tool-Supported Process Analysis and Design for the Development of Multi-agent Systems	p. 186
Assembling Agent Oriented Software Engineering Methodologies from Features	p. 198
Positions and Perspectives
Agent-Oriented Software Technologies: Flaws and Remedies	p. 210
Author Index	p. 229
Table of Contents provided by Publisher. All Rights Reserved.

Lecture Notes in Computer Science

Third International Workshop, AOSE 2002, Bologna, Italy, July 15, 2002, Revised Papers and Invited Contributions

At a Glance

Paperback

Shipping

How to return your order

Defective items

You Can Find This Book In

More in Compilers & Interpreters

Introduction to Automata Theory and Formal Languages

A Logic Building and Problem-solving Approach

C# Programming in easy steps

Master C# fundamentals!

Applied Mathematics with F#

Bad Programming Practices 101

Become a Better Coder by Learning How (Not) to Program

Java in Two Semesters

Featuring JavaFX

NUnit Pocket Reference

Pocket Reference (O'Reilly)

Pragmatic Programmers

Pragmatic Programmers

Modern Systems Programming with Scala Native

Write Lean, High-Performance Code Without the Jvm

Metaprogramming Elixir

Write Less Code, Get More Done (and Have Fun!)

Introduction to Automata Theory and Formal Languages

A Logic Building and Problem-solving Approach

Compilers

Principles, Techniques, and Tools

Compilers: Pearson New International Edition 2ed

Principles, Techniques, and Tools

International Perspectives on Science, Culture and Society

The Art of Automatic Memory Management

Advanced Asic Chip Synthesis : Using Synopsis Design Compiler and Primetime

Definitive ANTLR 4 Reference

2nd Edition

C++ Programming in easy steps: 6th Edition

Updated for the GNU C Compiler and Visual Studio 2022

Compilers

A Practical Approach

Practical Marko

Progressive HTML Rendering and Micro Front-Ends

Programming Languages and Systems

35th European Symposium on Programming, ESOP 2026, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2026, Turin, Italy, April 11-16, 2026, Proceedings, Part II

Programming Languages and Systems

35th European Symposium on Programming, ESOP 2026, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2026, Turin, Italy, April 11-16, 2026, Proceedings, Part I

SQL and NoSQL Database Fourth Edition

Practical Usage of TSO REXX

Technology in Action Series

Technology in Action Series

Lecture Notes in Computer Science

Second International Workshop, PADL 2000 Boston, MA, USA, January 17-18, 2000. Proceedings

This product is categorised by