General

This tutorial book presents an augmented selection of material presented at the International Summer School on Generative and Transformational Techniques in Software Engineering, GTTSE 2005. The book comprises 7 tutorial lectures presented together with...

This work is the definitive guide for IT managers and agile practitioners. It elucidates the principles of agile risk management and how these relate to individual projects. Explained in clear and concise terms, this synthesis of project risk management...

Agent technology promises to increase the flexibility and power of software systems 10 accommodate the next generation of computing, including intelligent web services, e-business, and grid computing. In recent years, agent technology has seen dramatic...

This book constitutes the thoroughly refereed proceedings of the 2012 ICSOC Workshops consisting of 6 scientific satellite events, organized in 3 main tracks including workshop track (ASC, DISA. PAASC, SCEB, SeMaPS and WESOA 2012), PhD symposium track,...

This book does not tell a story. Instead, it is about stories. Or rather, in technical terms, it is about scenarios. Scenarios of system behavior. It con centrates on reactive systems, be they software or hardware, or combined computer-embedded systems,...

This volume contains selected papers from LOPSTR 2003, the 13th Inter- tional Symposium on Logic-Based Program Synthesis and Transformation. The LOPSTR series is devoted to research in logic-based program development. P- ticular topics of interest are...

This book constitutes the refereed proceedings of the 14th Annual European Symposium on Algorithms, ESA 2006, held in Zurich, Switzerland, in the context of the combined conference ALGO 2006. The book presents 70 revised full papers together with...

Software Development is moving towards a more agile and more flexible approach. It turns out that the traditional "waterfall" model is not supportive in an environment where technical, financial and strategic constraints are changing almost...

This book presents reflections on the occasion of 20 years on the KeY project that focuses on deductive software verification.Since the inception of the KeY project two decades ago, the area of deductive verification has evolved considerably. Support for...

This book constitutes the refereed proceedings of the 14th International Conference on Tests and Proofs, TAP 2020, held as part of the 4th World Congress on Formal Methods 2020, Bergen, Norway, in June 2020. The 7 regular papers, 1 short paper and 2...

This book constitutes the refereed proceedings of the 13th International Conference on Integrated Formal Methods, IFM 2017, held in Turin, Italy, in September 2017. The 24 full papers and 4 short papers presented were carefully reviewed and selected from...

This book systematically identifies the lack of methodological support for development of requirements and software architecture in the state-of-the-art. To overcome this deficiency, the QuaDRA framework is proposed as a problem-oriented approach. It...

This book constitutes the refereed proceedings of the 9th Software Quality Days Conference, SWQD 2017, held in Vienna, Austria, in January 2017. The SWQD conference offers a range of comprehensive and valuable information by presenting new ideas from the...

This book constitutes revised papers of the proceedings of the 9th International Workshop on System Analysis and Modeling, SAM 2016, held in Saint-Melo, France, in October 2016. The 15 full papers presented were carefully reviewed and selected from 31...

This book constitutes the proceedings of the 14th European Conference on Modelling Foundations and Applications, ECMFA 2018, held as part of STAF 2018, in Toulouse, France, in June 2018. The 19 papers presented in this volume were carefully reviewed and...

This volume contains the post-conference proceedings of the 10th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science, MEMICS 2015, held in Telc, Czech Republic, in October 2015. The 10 thoroughly revised full papers were...

The development of modern complex software-intensive systems often involves the use of multiple DSMLs that capture different system aspects. Supporting coordinated use of DSMLs leads to what we call the globalization of modeling languages, that is, the...

The two-volume set LNCS 12043 and 12044 constitutes revised selected papers from the 13th International Conference on Parallel Processing and Applied Mathematics, PPAM 2019, held in Bialystok, Poland, in September 2019.The 91 regular papers presented in...

This is a detailed summary of research on design rationale providing researchers in software engineering with an excellent overview of the subject. Professional software engineers will find many examples, resources and incentives to enhance their ability...

The purpose of this book is to establish a theory of approximate correctness and infinite evolution of concurrent programs by employing some notions and tools from point-set topology. Professionals, researchers and graduate students in theoretical...

This volume on intersensory perception and sensory integration is the second volume of the series, Perception and Perceptual Development: A Critical Review Series. The topic of the volume is timely, for in recent years, many investigators have noted that...

This book constitutes the refereed proceedings of the 20th Brazilian Symposium on Formal Methods, SBMF 2017, which took place in Recifel, Brazil, in November/December 2017.The 16 papers presented together with three invited talks were carefully reviewed...

This book constitutes the refereed proceedings of the 15th International Working Conference on Requirements Engineering: Foundation for Software Quality, REFSQ 2009, held in Amsterdam, The Netherlands, in June 2009. The 14 revised full papers were...

This book constitutes the refereed proceedings of the 8h International Conference on Model and Data Engineering, MEDI 2018, held in Marrakesh, Morocco, in October 2018. The 23 full papers and 4 short papers presented together with 2 invited talks were...

The book provides a clear understanding of what software reuse is, where the problems are, what benefits to expect, the activities, and its different forms. The reader is also given an overview of what sofware components are, different kinds of...

This book constitutes the refereed proceedings of the 5th European Workshop on Software Process Technology, EWSPT '96, held in Nancy, France, in October 1996. The book presents 31 revised full papers carefully selected by the program committee. The...

This book constitutes the thoroughly refereed post-proceedings of the First International Symposium on Unifying Theories of Programming, UTP 2006, held at Walworth Castle, County Durham, UK, in February 2006. The book presents 14 revised full papers...

This volume containsthe full papers presentedat the 12th InternationalConf- ence on Logic for Programming, Arti?cial Intelligence, and Reasoning (LPAR), held 2-6 December 2006,in MontegoBay,Jamaica.The callfor papersattracted 108 full paper submissions,...

This is the refereed proceedings of the 9th International Symposium on Component-Based Software Engineering, CBSE 2006, held in Vasteras, Sweden in June/July 2006. The 22 revised full papers and 9 revised short papers presented cover issues concerned...

This book constitutes the refereed proceedings of the 4th International Conference on the Unified Modeling Language, 2001, held in Toronto, Canada, in October 2001. The 33 revised full papers presented together with one invited paper were carefully...

Teaches problem-solving using two of the most important mathematical software packages: Maple and MATLAB. This new edition contains five completely new chapters covering new developments.Book InformationISBN 9783540211273Author Walter GanderFormat...

The two volume set LNCS 4841 and LNCS 4842 constitutes the refereed proceedings of the Third International Symposium on Visual Computing, ISVC 2007, held in Lake Tahoe, NV, USA, in November 2007. The 77 revised full papers and 42 poster papers presented...

This book constitutes the thoroughly refereed post-proceedings of the Second International Workshop on Rapid Integration of Software Engineering Techniques, RISE 2005. The book presents 19 revised full papers together with the abstract of a keynote paper...

This book contains the best papers of the Third International Conference on Software and Data Technologies (ICSOFT 2008), held in Porto, Portugal, which was organized by the Institute for Systems and Technologies of Information, Communication and Control...

This book constitutes the refereed proceedings of the 25th IFIP WG 6.1 International Conference on Testing Software and Systems, ICTSS 2013, held in Istanbul, Turkey, in November 2013. The 17 revised full papers presented together with 3 short papers...

It was 1999 when Extreme Programming Explained was ?rst published, making this year's event arguably the ?fth anniversary of the birth of the XP/Agile movement in software development. Our fourth conference re?ected the evolution and the learning that...

This book constitutes the refereed proceedings of the 15th International Conference on Software Architecture, ECSA 2021, held in Sweden, in September 2021. Due to COVID-19 pandemic the conference was held virtually. In the Research Track, 11 full papers...

This book constitutes the proceedings of the 12th European Conference on Modelling Foundations and Applications, ECMFA 2016, held as part of STAF 2016, in Vienna, Austria, in July 2016. The 16 papers presented in this volume were carefully reviewed and...

This book constitutes the refereed proceedings of the 5th International Conference on Model and Data Engineering, MEDI 2015, held in Rhodes, Greece, in September 2015. The 18 full papers and 9 short papers presented together with 2 invited talks were...

This volume contains the Proceedings of the International Symposium on C- puting in Object-Oriented Parallel Environments (ISCOPE '98), held at Santa 1 Fe, New Mexico, USA on December 8{11, 1998. ISCOPE is in its second year, and continues to grow both...