scispace - formally typeset
P

Paolo Ciancarini

Researcher at University of Bologna

Publications -  284
Citations -  5197

Paolo Ciancarini is an academic researcher from University of Bologna. The author has contributed to research in topics: Software development & Logic programming. The author has an hindex of 32, co-authored 278 publications receiving 4984 citations. Previous affiliations of Paolo Ciancarini include National Research Council & Yale University.

Papers
More filters
Book ChapterDOI

Agent-oriented software engineering: the state of the art

TL;DR: It is argued that intelligent agents and multi-agent systems are just such tools, including methodologies for agent-oriented analysis and design, formal specification and verification methods for agent systems, and techniques for implementing agent specifications.
Book ChapterDOI

Agent-oriented software engineering

TL;DR: The ATAL-99 workshop as discussed by the authors focuses on the links between the theory and practice of intelligent agents, focusing on the wider issues of agents as a software engineering paradigm, with a special track on programming languages for agent-oriented development.
Journal ArticleDOI

Coordination models and languages as software integrators

TL;DR: A coordination model provides a framework in which the interaction of active and independent entities called agents can be expressed and should cover the issues of creation and destruction of agents, communication among agents, and spatial distribution of agents as well as synchronization and distribution of their actions over time.
BookDOI

Agent-Oriented Software Engineering II

TL;DR: Die Online-Fachbuchhandlung beck-shop.de ist spezialisiert auf Fachbücher, insbesondere Recht, Steuern und Wirtschaft, und ergänzt das Programm durch Services wie Neuerscheinungsdienst oder Zusammenstellungen von Büchern zu Sonderpreisen.
BookDOI

Coordination Languages and Models

TL;DR: Klaim (a Kernel Language for Agents Interaction and Mobility) is an experimental programming language designed for programming mobile agents that supports a programming paradigm where both processes and data can be moved across di erent computing environments.