Formal Methods for Open Object-Based Distributed Systems presents the leading edge in several related fields, specifically object-orientated programming, open distributed systems and formal methods for object-oriented systems. With increased support within industry regarding these areas, this book captures the most up-to-date information on the subject.
Many topics are discussed, including the following important areas: object-oriented design and programming; formal specification of distributed systems; open distributed platforms; types, interfaces and behaviour; formalisation...

This volume presents carefully refereed versions of the best papers presented at the Workshop on Models and Languages for Coordination of Parallelism and Distribution, held during ECOOP '94 in Bologna, Italy in July 1994.
Recently a new class of models and languages for distributed and parallel programming has evolved; all these models share a few basic concepts: simple features for data description and a small number of mechanisms for coordinating the work of agents in a distributed setting. This volume demonstrates that integrating such features with those known from concurrent...

One of the most important reasons for the intensity of interest in agent technology is that the concept of an agent, as an autonomous system capable of interacting with other agents in order to satisfy its design objectives, is a natural one for software designers. Just as we can under stand many systems as being composed of essentially passive objects, which have a state and upon which we can perform operations, so we can understand many others as being made up of interacting semi-autonomous agents. This book brings together revised versions of papers presented at the First International...

This book constitutes the refereed proceedings of First IFIP Entertainment Computing Symposium held at the 20th World Computer Congress in Milano, Italy on September 7-10, 2008.

The IFIP series publishes state-of-the-art results in the sciences and technologies of information and communication. The scope of the series includes: foundations of computer science; software theory and practice; education; computer applications in technology; communication systems; systems modeling and optimization; information systems; computers and society; computer systems technology; security and...

We welcome you to Coordination '99, the third in a series of conferences d- icated to an important perspective on the development of complex software systems. That perspective is shared by a growing community of researchers - terested in models, languages, and implementation techniques for coordination. The last decade has seen the emergence of a class of models and languages variously termed "coordination languages," "con?guration languages," "arc- tectural description languages," and "agent-oriented programming languages." Theseformalismsprovideacleanseparationbetweenindividualsoftwarecom-...

This book constitutes the refereed proceedings of First IFIP Entertainment Computing Symposium held at the 20th World Computer Congress in Milano, Italy on September 7-10, 2008.

The IFIP series publishes state-of-the-art results in the sciences and technologies of information and communication. The scope of the series includes: foundations of computer science; software theory and practice; education; computer applications in technology; communication systems; systems modeling and optimization; information systems; computers and society; computer systems technology; security and...

The topics treated in this handbook cover all areas of games and entertainment technologies, such as digital entertainment; technology, design/art, and sociology. The handbook consists of contributions from top class scholars and researchers from the interdisciplinary topic areas. The aim of this handbook is to serving as a key reference work in the field and provides readers with a holistic picture of this interdisciplinary field covering technical issues, aesthetic/design issues, and sociological issues. At present, there is no reference work in the field that provides such a broad and...

This book presents high-quality original contributions on new software engineering models, approaches, methods, and tools and their evaluation in the context of defence and security applications. In addition, important business and economic aspects are discussed, with a particular focus on cost/benefit analysis, new business models, organizational evolution, and business intelligence systems. The contents are based on presentations delivered at SEDA 2015, the 4th International Conference in Software Engineering for Defence Applications, which was held in Rome, Italy, in May 2015. This...