General

This volume contains the technical papers presented in the workshops, which took place at the 9th European Conference on Service-Oriented and Cloud Computing, ESOCC 2022, held in Wittenberg, Germany, in March 2022.The 4 full papers and 7 short papers...

This book presents thoroughly revised tutorial papers based on lectures given by leading researchers at the International Training School on Domain Modeling and the Duration Calculus, held in Shanghai, China, as an associated event of ICTAC 2007. Topics...

This book presents 5 tutorial lectures given by leading researchers at the 15th edition of the International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2015, held in Bertinoro, Italy, in June 2015. SFM...

The refereed proceedings of the 6th International Symposium on Self-Stabilizing Systems, SSS 2003, held in San Francisco, CA, USA, in June 2003. The 15 revised full papers presented were carefully reviewed and selected from 27 submissions. The papers...

This book constitutes the proceedings of the Third OpenSHMEM Workshop, held in Baltimore, MD, USA, in August 2016. The 14 full papers and 3 short papers presented were carefully reviewed and selected from 25 submissions. The papers discuss a variety of...

This book constitutes the refereed proceedings of the 13th European Conference on Software Architecture, ECSA 2019, held in Paris, France, in September 2019. In the Research Track, 11 full papers presented together with 4 short papers were carefully...

This book constitutes the proceedings of the 17th International Conference on Service-Oriented Computing, ICSOC 2019, held in Toulouse, France, in October 2019. The 28 full and 12 short papers presented together with 7 poster and 2 invited papers in this...

This two-volume-set (LNCS 9573 and 9574) constitutes the refereed proceedings of the 11th International Conference of Parallel Processing and Applied Mathematics, PPAM 2015, held in Krakow, Poland, in September 2015. The 111 revised full papers presented...

With the rapid growth of networking and high-computing power, the demand for large-scale and complex software systems has increased dramatically. Many of the software systems support or supplant human control of safety-critical systems such as flight...

Refinement is one of the cornerstones of a formal approach to software engineering. Refinement is all about turning an abstract description (of a soft or hardware system) into something closer to implementation. It provides that essential bridge between...

This book contains the best papers of the Second International Conference on So- ware and Data Technologies (ICSOFT 2007), held in Barcelona, Spain. It was org- ized by the Institute for Systems and Technologies of Information, Communication and Control...

The art, craft, discipline, logic, practice, and science of developing large-scale software products needs a believable, professional base. The textbooks in this three-volume set combine informal, engineeringly sound practice with the rigour of formal,...

The main objective is to provide quick and essential knowledge for the subject with the help of summary and solved questions /case studies without going into detailed discussion. This book will be much helpful for the students as a supplementary...

This book constitutes the thoroughly refereed proceedings of the 5th International Conference on Subject-Oriented Business Process Management, S-BPM ONE 2013, held in Deggendorf, Germany, in March 2013. The papers are organized in topical sections on...

This open access book constitutes the proceedings of the 22nd International Conference on Agile Software Development, XP 2021, which was held virtually during June 14-18, 2021. XP is the premier agile software development conference combining research...

The field of software engineering is characterized by speed and turbulence in many regards. While new ideas are proposed almost on a yearly basis, very few of them live for a decade or a longer. Lightweight software development methods were a new idea in...

This book presents the state of the art, challenges and future trends in automotive software engineering. The amount of automotive software has grown from just a few lines of code in the 1970s to millions of lines in today’s cars. And this trend seems...

This book focuses on defining the achievements of software engineering in the past decades and showcasing visions for the future. It features a collection of articles by some of the most prominent researchers and technologists who have shaped the field:...

This book constitutes the refereed proceedings of the 7th International Conference on Product-Focused Software Process Improvement, PROFES 2006, held in Amsterdam, June 2006. The volume presents 26 revised full papers and 12 revised short papers together...

This book constitutes the thoroughly refereed post-proceedings of the Second International Conference on the Quality of Software Architectures, QoSA 2006, held in Vasteras, Sweden in June 2006, co-located with the 9th International Symposium on...

C. Amting Directorate General Information Society, European Commission, Brussels th Under the 4 Framework of European Research, the European Systems and Soft ware Initiative (ESSI) was part of the ESPRIT Programme. This initiative funded more than 470...

This volume contains the post-proceedings of the third edition of the Int- national Symposium on Trustworthy Global Computing (TGC 2007), held in Sophia-Antipolis,France,November 5-6,2007,andtutorialpapersofthe foll- ing Workshop on the Interplay of...

This book, with the CD-ROM included, is the documentation of a unique collaborative effort in evaluating formal methods for usage under industrial constraints: the major techniques for formally supported specification, design, and verification of large...

Information Systems: The e-Business Challenge Indisputable, e-Business is shaping the future inspiring a growing range of innovative business models. To bring it to the point: the Internet has redefined the way electronic business is performed. In an...

This book constitutes the refereed proceedings of the 13 International Conference on Product-Focused Software Process Improvement, PROFES 2012, held in Madrid, Spain, in June 2012. The 21 revised full papers presented together with 3 short papers and 4...

This book constitutes the refereed proceedings of the 18th IFIP TC 6/WG 6.1 International Conference on Testing Communicating Systems, TestCom 2006. The 23 revised full papers presented were carefully reviewed and selected from initially 48 submissions...

To solve performance problems in modern computing infrastructures, often comprising thousands of servers running hundreds of applications, spanning multiple tiers, you need tools that go beyond mere reporting. You need tools that enable performance...

This was the ?rst year that the European Software Process Improvement Conference - EuroSPI - had a separate research track with its own proceedings.The EuroSPI conf- ence is in its eleventh year, and has become the main meeting place in Europe for the...

This volume presents twelve case studies that use RAISE - Rigorous Approach to Industrial Software Engineering - to construct, analyse, develop and apply formal specifications. The case studies cover a wide range of application areas including government...

The goal of the IST/FET proactive initiative on Global Computing is to - tain models, frameworks, methods, algorithms to build systems that are ?exible, dependable, secure, robust and e?cient. The dominant concerns are those of handling the co-ordination...

This volume consists of papers presented at the Second International Conference on Algebraic and Logic Programming in Nancy, France, October 1-3, 1990.Book InformationISBN 9783540531623Author Helene KirchnerFormat PaperbackPage Count 389Imprint...

The papers in this volume were presented at a conference that was designed to map out historical study needs in one area of the history of computing, namely, software. The Paderbom conference was sponsored by the Heinz Nixdorf Muse- umsForum and...

Using formal methods for the specification and verification of hardware and software systems is becoming increasingly important as systems increase in size and complexity. The aim of the book is to illustrate progress in formal methods based on Petri net...

C. Amting Directorate General Information Society, European Commission, Brussels th Under the 4 Framework of European Research, the European Systems and Soft ware Initiative (ESSI) was part ofthe ESPRIT Programme. This initiative funded more than 470...

This book constitutes the thoroughly refereed and revised post-conference documentation of the 11th International Conference on Software Engineering and Knowledge Engineering, SEKE'99, held in Kaiserslautern, Germany in June 1999. The book provides a...

To conclude, modi?ed design and implementation of a middleware, NICAN, to dynamically supply local network information to distributed scienti?c app- cations was presented. The application provides adaptive capabilities, is n- intrusive, ?exible, easy to...

This tutorial book presents six carefully revised lectures given at the Spring School on Datatype-Generic Programming, SSDGP 2006. This was held in Nottingham, UK, in April 2006. It was colocated with the Symposium on Trends in Functional Programming...

This open access book constitutes the proceedings of the 19th International Conference on Agile Software Development, XP 2018, held in Porto, Portugal, in May 2018. XP is the premier agile software development conference combining research and practice,...

This book constitutes the proceedings of the 13th International Symposium on Advanced Parallel Processing Technologies, APPT 2019, held in Tianjin, China, in August 2019. The 11 full papers presented in this volume were carefully reviewed and selected...

The ?fth edition of the European Conference on Model-Driven Architecture Foundations and Applications (ECMDA-FA 2009) was dedicated to furthering the state of knowledge and fostering the industrialization of Model-Driven - chitecture (MDA) and...