General

This book contains the thoroughly refereed technical papers presented in six workshops collocated with the International Conference on Software Technologies: Applications and Foundations, STAF 2017, held in Marburg, Germany, in July 2017. The 15 full and...

This book addresses software faults-a critical issue that not only reduces the quality of software, but also increases their development costs. Various models for predicting the fault-proneness of software systems have been proposed; however, most of...

This book constitutes the revised selected papers of the 16th Symposium and Summer School on Service-Oriented Computing, SummerSOC 2022, held in Hersonissos, Crete, Greece, in July 2022. The 8 full papers and 1 short paper presented in this volume were...

Collaboration among individuals - from users to developers - is central to modern software engineering. It takes many forms: joint activity to solve common problems, negotiation to resolve conflicts, creation of shared definitions, and both social and...

In the short space of about a decade, Commercial-Off-the-Shelf (COTS) software has evolved through being a relatively minor aspect of software development; a t- management-endorsedsilverbulletsolutionforsoftwaredevelopment;adisruptivete- nology requiring...

This book constitutes the refereed proceedings of the 16th International Conference on Product-Focused Software Process Improvement, PROFES 2015, held in Bolzano, Italy, in December 2015. The 18 revised full papers presented together with 10 short papers...

This book constitutes the proceedings of the 13th International Conference on Parallel Computing Technologies, PaCT 2015, held in Petrozavodsk, Russia, during August / September 2015. The 37 full papers and 14 short papers presented were carefully...

This book constitutes the thoroughly refereed conference proceedings of the Fourth International Workshop on Risk Assessment and Risk-Driven Quality Assurance, RISK 2016, held in conjunction with ICTSS 2016, in Graz, Austria, in October 2016. The revised...

This book constitutes the refereed proceedings of the 15th International Symposium on Search-Based Software Engineering, SSBSE 2023, which took place in San Francisco, CA, USA, during December 3–9, 2023.The 7 full and 7 short papers included in this book...

This book constitutes the proceedings of the 12th International Symposium on Advanced Parallel Processing Technologies, APPT 2017, held in Santiago de Compostela, Spain, in August 2017.The 11 regular papers presented in this volume were carefully...

This volume contains the technical papers presented in the workshops, which took place at the 7th European Conference on Service-Oriented and Cloud Computing, ESOCC 2018, held in Como, Italy, in September 2018:Joint Cloudways and OptiMoCS Workshop; 14th...

This volume was published in honor of Stefania Gnesi's 65th birthday. The Festschrift volume contains 32 papers written by close collaborators and friends of Stefania and was presented to her on October 8, 2019 one-day colloquium held in Porto, Portugal,...

This book constitutes the refereed proceedings of the 10th International Symposium "From Data Models and Back", DataMod 2021, which was held virtually during December 6-7, 2021, as a satellite event of SEFM 2021. The 9 full papers and 1 short...

This book presents selected proceedings of the annual convention of the Computer Society of India. Divided into 10 topical volumes, the proceedings present papers on state-of-the-art research, surveys, and succinct reviews. They cover diverse topics...

This book constitutes the refereed proceedings of the 21st International Conference on Software Engineering and Formal Methods, SEFM 2023, held in Eindhoven, The Netherlands, during November 6-10, 2023. The 18 regular papers presented in this book,...

In part the book creates and motivates the notion of metamodelling and how it can be used to standardise the creation of industry-strength design. At its heart, the book presents an analysis of the main object-oriented design methodologies, including:...

This volume features the refereed proceedings from the 34th International Colloquium on Automata, Languages and Programming, held in Wroclaw, Poland in July 2007. Seventy-six full papers are presented, together with four invited lectures. The papers are...

Constraints have emerged as the basis of a representational and computational paradigm that draws from many disciplines and can be brought to bear on many problem domains. This volume contains papers dealing with all aspects of c- puting with constraints...

Modern software systems are becoming more complex in many ways and have to cope with a growing number of abnormal situations which, in turn, are increasingly complex to handle. The most general way of dealing with these problems is by incorporating...

This open access book presents the outcomes of the “Design for Future – Managed Software Evolution” priority program 1593, which was launched by the German Research Foundation (“Deutsche Forschungsgemeinschaft (DFG)”) to develop new approaches to...

The introduction of the microprocessor in computer and system engineering has motivated the development of many new concepts and has simplified the design of many modern industrial systems. During the first decade of their life. microprocessors have...

This book constitutes the refereed proceedings of the 5th International Workshop on Software Engineering for Resilient Systems, SERENE 2013, held in Kiev, Ukraine, in October 2013. The 13 revised full papers were carefully reviewed and selected from 21...

Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9781914045240Author Alan GridFormat PaperbackPage Count 124Imprint Alan GridPublisher Alan GridWeight(grams) 152g

1.1. What This Book is About This book is a study of * subrecursive programming systems, * efficiency/program-size trade-offs between such systems, and * how these systems can serve as tools in complexity theory. Section 1.1 states our basic themes, and...

The International Symposium on Practical Aspects of Declarative Languages (PADL) is a forum for researchers and practitioners to present original work emphasizing novel applications and implementation techniques for all forms of declarative concepts,...

Sorry no description is available for this book at this time.

W.J.Quirk 1.1 Real-time software and the real world Real-time software and the real world are inseparably related. Real time cannot be turned back and the real world will not always forget its history. The consequences of previous influences may last for...

This book constitutes the refereed proceedings of the 24rd Brazilian Symposium on Formal Methods, SBMF 2021, which was held in December 2021. Due to COVID 19-pandemic it took place virtually. The 8 regular papers presented in this book were carefully...

This book constitutes the proceedings of the 26th International Working Conference on Requirements Engineering - Foundation for Software Quality, REFSQ 2020, held in Pisa, Italy, in March 2020. The 14 full papers and 7 short papers in this volume were...

This volume constitutes the proceedings of the 2nd International Conference on TrustManagement,heldinOxford,UK,during29March-1April2004.Thec- ference followed a very successful 1st International Conference on Trust Ma- gement held in Crete in 2003. Both...

Software, Animation and the Moving Image brings a unique perspective to the study of computer-generated animation by placing interviews undertaken with animators alongside an analysis of the user interface of animation software. Wood develops a novel...

This book constitutes the proceedings of the Second OpenSHMEM Workshop, held in Annapolis, MD, USA, in August 2015. The 12 technical papers and one short position papers presented in this book were carefully reviewed and selected from 17 submissions. The...

This book constitutes the proceedings of the 15th International Conference on Service-Oriented Computing, ICSOC 2017, held in malaga, Spain, in November 2017. The 33 full papers presented together with 20 short papers and 4 keynotes in this volume were...

This book constitutes the refereed proceedings of the 18th International Conference on Advanced Information Systems Engineering, CAiSE 2006, held in Luxembourg, in June 2006. The book presents 33 revised full papers together with 3 keynote talks. The...

CiE 2008: Logic and Theory of Algorithms Athens, Greece, June 15-20, 2008 Computability in Europe (CiE) is an informal network of European scientists working on computability theory, including its foundations, technical devel- ment, and applications...

This book constitutes extended, revised and selected papers from the 9th International Conference on Cloud Computing and Services Science, CLOSER 2019, held in Heraklion, Greece, in May 2019.The 11 papers presented in this volume were carefully reviewed...

This book constitutes the refereed proceedings of the 7th International Symposium on NASA Formal Methods, NFM 2015, held in Pasadena, CA, USA, in April 2015. The 24 revised regular papers presented together with 9 short papers were carefully reviewed and...

This book provides essential insights on the adoption of modern software engineering practices at large companies producing software-intensive systems, where hundreds or even thousands of engineers collaborate to deliver on new systems and new versions...

This textbook provides a practical perspective on autonomic computing. Through the combined use of examples and hands-on projects, the book enables the reader to rapidly gain an understanding of the theories, models, design principles and challenges of...

Nowadays, societies crucially depend on high-quality software for a large part of their functionalities and activities. Therefore, software professionals, researchers, managers, and practitioners alike have to competently decide what software...