Software Engineering

For the ninth time now, the European Conference on Object-Oriented P- gramming provides a mid-summer gathering place for researchers, practitioners, students and newcomers in the field of object technology.

AMAST's goal is to advance awareness of algebraic and logical methodology as part of the fundamental basis of software technology.

\My tailor is Object-Oriented"e;.

These are the proceedings of the Sixth International Conference on High Performance Computing (HiPC'99) held December 17-20 in Calcutta, India.

Thisvolumerecordstheproceedingsofthe?

Modernsoftwaresystemsincreasinglyusecommercial-o?

This volume constitutes the proceedings of REFLECTION 2001, the Third Int- national Conference on Metalevel Architectures and Separation of Crosscutting Concerns, which was held in Kyoto, September 25-28, 2001.

The8thInternationalConferenceonReliableSoftwareTechnologies,Ada-Europe 2003,tookplaceinToulouse,France,June18-20,2003.

This volume constitutes the proceedings of the 14th International Conference on Theorem Proving in Higher Order Logics (TPHOLs 2001) held 3-6 September 2001 in Edinburgh, Scotland.

missions in fact also treat an envisaged mutual impact among them.

The Extensible Markup Language (XML) is playing an increasingly important role in the exchange of a wide variety of data on the Web and elsewhere.

With the rapid development of Web-based learning and new concepts like virtual cla- rooms, virtual laboratories and virtual universities, many issues need to be addressed.

1 The tenth anniversary of the LOPSTR symposium provided the incentive for this volume.

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.

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 LNCS journal Transactions on ComputationalScience reflects recent developments in the field of Computational Science,conceiving the field not as a mere ancillary science but rather as aninnovative approach supporting many other scientific disciplines.

The use of stochastic models in computer science is wide spread, for instance in performance modeling, analysis of randomized algorithms and communication protocols which form the structure of the Internet.

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.

This volume is the eighth in the Intelligent Agents series associated with the ATAL workshops.

XPAgileUniverse2003isthethirdconferenceinaseriesrunninginNorthA- rica and attracting participants from all over the world who are interested in the research, development and application of agile software processes.

This volume contains the papers presented at the 11th SDL Forum, Stuttgart.

Since the late 1980s, the CAiSE conferences have provided a forum for the p- sentation and exchange of research results and practical experiences within the ?

This book constitutes the refereed proceedings of the 15th European Conference on Object-Oriented Programming, ECOOP 2001, held in Budapest, Hungary, in June 2001.

ETAPS 2001 is the fourth instance of the European Joint Conferences on Theory and Practice of Software.

ETAPS 2001 was the fourth instance of the European Joint Conferences on Theory and Practice of Software.

This volume contains the Proceedings of the Fourth International Conference on Coordination Models and Languages, Coordination 2000.

Thepastyearhasbeenaneventfuloneforthoseinterestedinsoftwaremodeling.

Declarative languages build on sound theoretical bases to provide attractive frameworks for application development.

 This book constitutes the refereed proceedings of the 16th International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, IEA/AIE 2003, held in Loughborough, UK in June 2003.

 This book constitutes the refereed proceedings of the 6th International Symposium on Self-Stabilizing Systems, SSS 2003, held in San Francisco, CA, USA, in June 2003.

 Agents in multiagent systems are concurrent autonomous entities that need to coordinate and to cooperate so as to perform their tasks; these coordination and cooperation tasks might be achieved through communication.

The Third International Conference on Product Focused Software Process Improvement (PROFES 2001) continued the success of the PROFES'99 and PROFES 2000 conferences.

Euro-Par - the European Conference on Parallel Computing - is an international conference series dedicated to the promotion and advancement of all aspects of parallel computing.

This book constitutes the thoroughly refereed post-proceedings of the First International Workshop on Formal Modeling and Analysis of Timed Systems, FORMATS 2003, held in Marseille, France in September 2003.

The papers collected here are those selected for presentation at the Second International Symposium on Handheld and Ubiquitous Computing 2000 (HUC 2000) held in Bristol, UK in September 2000.

The characteristics of software systems are undergoing dramatic changes.

This book constitutes revised lectures from the 11th Symposium on Formal Methods for Components and Object, FMCO 2012, held in Bertinoro, Italy, in September 2012.

The Transactions on Pattern Languages of Programming subline aims to publish papers on patterns and pattern languages as applied to software design, development, and use, throughout all phases of the software life cycle, from requirements and design to implementation, maintenance and evolution.