Distributed Architectures and Concurrency

Agent-based Web Services

Agent-UML and OCL for Combinatorial Problems

Agent Interaction Protocols

Software Reuse through Formal Methods

Assistance Tool for Specification Reuse

Implementation of Formal Specifications to Object-Oriented Code