Software Engineering

These transactions publish research in computer-based methods of computational collective intelligence (CCI) and their applications in a wide range of fields such as the semantic web, social networks, and multi-agent systems.

The 5th edition of the VECPAR series of conferences marked a change of the conference title.

This two volume set consists of the peer-reviewed papers from 15 workshops of the 2025 International Conference on Advanced Research in Technologies, Information, Innovation and Sustainability, ARTIIS 2025, held in Cartagena de Indias, Colombia, during October 21–23, 2025.

Die Herausforderungen, denen sich Projektleiter, Führungskräfte und andere Verantwortliche in Softwareprojekten tagtäglich stellen, sind vielfältig.

This two volume set consists of the peer-reviewed papers from 15 workshops of the 2025 International Conference on Advanced Research in Technologies, Information, Innovation and Sustainability, ARTIIS 2025, held in Cartagena de Indias, Colombia, during October 21–23, 2025.

This book constitutes the proceedings of the 27th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2026, which took place in Rennes, France, during January 12-13, 2026.

This book constitutes the proceedings of the 27th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2026, which took place in Rennes, France, during January 12-13, 2026.

The 14th volume of ToPNoC contains revised and extended versions of a selection of the best workshop and tutorial papers presented at the 39th International Conference on Application and Theory of Petri Nets and Concurrency, Petri Nets 2018, and the 18th International Conference on Application of Concurrency to System Design, ACSD 2018.

In this monograph, Joachim Baumann provides in-depth coverage of essential research issues; namely, mechanisms for locating and terminating mobile agents and for orphan detection in a mobile agent system.

This festschrift volume constitutes a unique tribute to Zohar Manna on the occasion of his 64th birthday.

The 3rd International Workshop on Software Engineering and Middleware {SEM 2002) was held May 20-21, 2002, in Orlando, Florida, as a co-located event of the 2002 International Conference on Software Engineering.

This book presents 5 tutorial lectures by leading researchers given at the ICTAC 2013 Software Engineering School on Unifying Theories of Programming and Formal Engineering Methods, held in Shanghai, China in August 2013.

This Festschrift volume, published in honor of Samson Abramsky, contains contributions written by some of his colleagues, former students, and friends.

Data management has evolved over the years from being strictly associated with database systems, through active databases, to become a topic that has grown beyond the scope of a single field encompassing a large range of subjects, such as distributed systems, event-driven systems, and peer-to-peer and streaming systems.

Thetopicof"e;Model-BasedEngineeringofReal-TimeEmbeddedSystems"e;brings together a challenging problem domain (real-time embedded systems) and a - lution domain (model-based engineering).

The Pernambuco School on Software Engineering (PSSE) 2007 was the second in a series of events devoted to the study of advanced computer science and to the promotion of international scienti?

Software defects lead to enormous costs for the software industry and society as a whole.

work for small problems, but it introduces signi?

Human Machine Interaction, or more commonly Human Computer Interaction, is the study of interaction between people and computers.

As software systems become ubiquitous, the issues of dependability become more and more crucial.

This book gives a comprehensive account of Maude, a language and system based on rewriting logic.

"e;The-computer-as-we-know-it"e; will have no role in our future everyday lives.

This book constitutes the strictly reviewed post-workshop documentation of the First International Conference on Cooperative Multimodal Communication held in Eindhoven, The Netherlands, in 1995.

This volume contains the proceedings of the 19th annual International Conference on Application and Theory of Petri Nets.

Code motion techniques are integrated in many optimizing production and research compilers.

This volume contains a collection of selected papers presented at the Symposium on Conceptual Modeling, which was held in Los Angeles, California, on December 2, th 1997, immediately before the 16 International Conference on Conceptual Modeling (ER'97), which was held at UCLA.

This book constitutes the refereed proceedings of the First International Workshop on Active Networks, IWAN'99, held in Berlin, Germany in June/July 1999.

This volume contains the contributions presented at the International Workshop on Current Trends in Applied Formal Methods organized October 7-9, 1998, in Boppard, Germany.

Nowadays, the Internet is the most commonly used medium for the exchange of data in di?

This book contains the proceedings of the Fourth International Workshop on Product Family Engineering, PFE-4, held in Bilbao, Spain, October 3-5, 2001.

Creation Techniques for Software Development and Deployment, Agent-Based Management, Virtual Home Environment, Integrated and Scalable Solutions for Telecommunications Management.

The full title of the HCM network project behind this volume is VIM: A virtual multicomputer for symbolic applications.

Scalable Coherent Interface (SCI) is an innovative interconnect standard (ANSI/IEEE Std 1596-1992) addressing the high-performance computing and networking domain.

This book constitutes the refereed proceedings of the 6th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2000, held as part of ETAPS 2000 in Berlin, Germany, in March/April 2000.

This book constitutes the refereed proceedings of the 8th International Conference on Principles and Practice of Constraint Programming, CP 2002, held in Ithaca, NY, USA in September 2002.

Computational Science is the scienti?

This volume contains the proceedings of the 22nd International Conference on Application and Theory of Petri Nets.

This book constitutes the refereed proceedings of the 5th International Workshop on Hybrid Systems: Computation and Control, HSCC 2002, held in Stanford, California, USA, in March 2002.

This volume contains the papers selected for presentation at the Third Inter- tional Conference on Rough Sets and Current Trends in Computing (RSCTC 2002) held at Penn State Great Valley, Malvern, Pennsylvania, U.