Giancarlo Succi

Paolo Ciancarini

Artem Kruglov

This volume constitutes selected papers presented at the First International Conference on Frontiers in Software Engineering, ICFSE 2021, hekd in Innopolis, Russia, in June 2021. The 13 presented full papers were thoroughly reviewed and selected from 37 submissions. The papers present discussion on such topics as software engineering tools and environments; empirical software engineering; model-driven and domain-specific engineering, human factors and social aspects of software engineering, cooperative, distributed, and global software engineering, component-based software engineering, software metrics, and software engineering for green and sustainable technologies.

First International Conference, ICFSE 2021, Innopolis, Russia, June 17–18, 2021, Revised Selected Papers

Frontiers in Software Engineering

Valentina Presutti

Francesco Poggi

Mathieu d'Aquin

Matthew Horridge

Jun Zhao

Tudor Groza

Mari Carmen Suarez-Figueroa

This book contains the best selected papers of two Satellite Events held at the 20th International Conference on Knowledge Engineering and Knowledge Management, EKAW 2016, in November 2016 in Bologna, Italy: The Second International Workshop on Educational Knowledge Management, EKM 2016, and the First Workshop: Detection, Representation and Management of Concept Drift in Linked Open Data, Drift-an-LOD 2016. The 6 revised full papers included in this volume were carefully reviewed and selected from the 13 full papers that were accepted for presentation at the conference from the initial 82 submissions. This volume also contains the 37 accepted contributions for the EKAW 2016 tutorials, demo and poster sessions, and the doctoral consortium. The special focus of this year's EKAW was "evolving knowledge", which concerns all aspects of the management and acquisition of knowledge representations of evolving, contextual, and local models. This includes change management, trend detection, model evolution, streaming data and stream reasoning, event processing, time-and space dependent models, contextual and local knowledge representations with a special emphasis on the evolvability and localization of knowledge and the correct usage of these limits.

EKAW 2016 Satellite Events, EKM and Drift-an-LOD, Bologna, Italy, November 19–23, 2016, Revised Selected Papers

Knowledge Engineering and Knowledge Management

Oscar Nierstrasz

Akinori Yonezawa

European Conference on Object-Oriented Programming (1994 : Bologna)

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 object-oriented programming is very promising with regard to language support for distribution and software composition.

ECOOP '94 Workshop on Models and Languages for Coordination of Parallelism and Distribution, Bologna, Italy, July 5, 1994. Selected Papers

Object-Based Models and Languages for Concurrent Systems

Ryohei Nakatsu

Matthias Rauterberg

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 complete picture of the field. Engineers and researchers who want to learn about this emerging area will be able to find adequate answers regarding technology issues on digital entertainment. Designers and artists can learn how their skills and expertise can contribute to this emerging area. Also researchers working in the field of sociology and psychology will find how their experience and knowledge are connected to other areas such as technology and art/design. Although topics are written by foremost experts from the field, the description for each topic has been intended to be easily understandable but yet comprehensive enough so that it caters not only for the experts but also beginners and students in the field.

Handbook of Digital Games and Entertainment Technologies

Herbert Wiklicky

This book constitutes the refereed proceedings of the 8th International Conference on Coordination Models and Languages, COORDINATION 2006, held in Bologna, Italy, June 2006. The 17 revised full papers presented were carefully reviewed and selected from 50 submissions. Among the topics addressed are component connectors, negotiation in service-oriented computing, process algebraic specification, workflow patterns, reactive XML, ubiquitous coordination, type systems, ad-hoc network coordination, choreography, communication coordination, and distributed embedded systems.

8th International Conference, COORDINATION 2006, Bologna, Italy, June 14-16, 2006, Proceedings

Coordination Models and Languages

Alberto Sillitti

Stanislav Litvinov

Angelo Messina

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 2016, the 5th International Conference in Software Engineering for Defence Applications, which was held in Rome, Italy, in May 2016. This conference series represents a targeted response to the growing need for research that reports and debates the practical implications of software engineering within the defence environment and also for software performance evaluation in real settings through controlled experiments as well as case and field studies. The book will appeal to all with an interest in modeling, managing, and implementing defence-related software development products and processes in a structured and supportable way.

SEDA 2016

Proceedings of 5th International Conference in Software Engineering for Defence Applications

Michael J. Wooldridge

Gerhard Weiß

Since the 1980s, software agents and multi-agent systems have grown into what is now one of the most active areas of research and development activity in computing generally. One of the most important reasons for the current intensity of interest in the agent-based computing paradigm certainly 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. This recognition has led to the growth of interest in agents as a new paradigm for software engineering. This book reflects the state of the art in the field by presenting 14 revised full papers accepted for the second workshop on this topic, AOSE 2001, together with five invited survey articles. The book offers topical sections on societies and organizations, protocols and interaction frameworks, UML and agent systems, agent-oriented requirements capture and specification, and analysis and design.

Second International Workshop, AOSE 2001, Montreal, Canada, May 29, 2001. Revised Papers and Invited Contributions

Agent-Oriented Software Engineering II

Marco Roccetti

This book constitutes the refereed proceedings of the 1st IFIP Entertainment Computing Symposium held in Milan, 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 protection in information processing systems; artificial intelligence; and human-computer interaction. Proceedings and post-proceedings of refereed international conferences in computer science and interdisciplinary fields are featured. These results often precede journal publication and represent the most current research. The principal aim of the IFIP series is to encourage education and the dissemination and exchange of information about all aspects of computing.

IFIP 20th World Computer Congress, First IFIP Entertainment Computing Symposium (ECS 2008), September 7-10, 2008, Milano, Italy

New Frontiers for Entertainment Computing

Roberto Gorrieri

Alessandro Fantechi

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 of object-oriented methods. This volume comprises the proceedings of the International Workshop on Formal Methods for Open Object-based Distributed Systems (FMOODS), sponsored by the International Federation for Information Processing (IFIP) which was held in Florence, Italy, in February 1999. Formal Methods for Open Object-Based Distributed Systems is suitable as a secondary text for graduate-level courses in computer science and telecommunications, and as a reference for researchers and practitioners in industry, commerce and government.

IFIP TC6 / WG6.1 Third International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS), February 15–18, 1999, Florence, Italy

Formal Methods for Open Object-Based Distributed Systems

Eva Blomqvist

Fabio Vitali

This book constitutes the refereed proceedings of the 20th InternationalConference on Knowledge Engineering and Knowledge Management, EKAW 2016,held in Bologna, Italy, in November 2016. The 51 full papers presented were carefully reviewed and selected from 171 submissions. The papers cover all aspects of eliciting, acquiring, modeling, and managing knowledge, the construction of knowledge-intensive systems and services for the Semantic Web, knowledge management, e-business, natural language processing,intelligent information integration, personal digital assistance systems, and a variety of other related topics. A special focus was on "evolving knowledge", i.e., the impact of space and time on knowledge representation, concerning all aspects of the management and acquisition of knowledge representation of evolving, contextual, and local models.

20th International Conference, EKAW 2016, Bologna, Italy, November 19-23, 2016, Proceedings

Paolo Ciancarini

Books

Your next favorite book is out there