General

Static analysis is a research area aimed at developing principles and tools for veri?cation, certi?cation, semantics-based manipulation, and high-performance implementation of programming languages and systems. The series of Static Analysis symposia has...

This book constitutes the refereed proceedings of the 6th International Conference on Software Reuse, ICSR-6, held in Vienna, Austria, in June 2000. The 26 revised full papers presented were carefully reviewed and selected from numerous submissions. The...

Thisis theconferencerecordfortheFifthInternationalConferenceonPrinciples and Practice of Constraint Programming (CP'99), held in Alexandria, Virginia, USA, on October 11-14, 1999. The series of CP conferences deal with original papers on most aspects of...

This volume constitutes the proceedings of the First International Symposiumorganized by the Japan Society for Software Science and Technology. The symposium was held in Kanazawa, Japan, November 4-6, 1993 and attracted many researchers from academia and...

In ordinary mathematics, an equation can be written down which is syntactically correct, but for which no solution exists. For example, consider the equation x = x + 1 defined over the real numbers; there is no value of x which satisfies it. Similarly it...

Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9783836410168Author Vasian CepaFormat PaperbackImprint VDM Verlag Dr. Mueller E.K.Publisher VDM Verlag Dr. Mueller E.K.Weight(grams) 349g

In this book, a programming model is developed that addresses the fundamental issues of 'large-scale programming'. The approach unifies several concepts from database theory, object-oriented programming and designs of reactive systems. The model and the...

Der Aufbau einer schlagkraftigen Vertriebseinheit und die erforderlichen Techniken und Methoden fur erfolgreiche Vertriebsarbeit bei IT-Unternehmen sind Gegenstand dieses Buches. Erlautert werden moderne Vertriebsmodelle und Techniken - unter anderem...

The 8th volume of ToPNoC contains revised and extended versions of a selection of the best workshop papers presented at the 33rd International Conference on Application and Theory of Petri Nets and Other Models of Concurrency (Petri Nets 2012). The 10...

Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9781468454741Author Jagdish C. AgrawalFormat PaperbackPage Count 534Imprint Springer-Verlag New York Inc.Publisher Springer-Verlag New York Inc.Weight(grams)...

This book constitutes the refereed proceedings of the 22ns International Conference on Product-Focused Software Process Improvement, PROFES 2021, held in Turin, Italy, in November 2021. Due to COVID-19 pandemic the conference was held as a hybrid event...

This book constitutes the thoroughly refereed post-conference proceedings of the 14th International Conference on Software Technologies, ICSOFT 2019, held in Prague, Czech Republic, in July 2019.The 10 revised full papers were carefully reviewed and...

This book constitutes the proceedings of the 5th International Conference on Advances in Information Technology, IAIT 2012, held in Bangkok, Thailand, in December 2012. The 18 revised papers presented in this volume were carefully reviewed and selected...

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 volume contains the proceedings of the Fifth International Symposium onProgramming Language Implementation and Logic Programming (PLILP '93), held in Tallinn, Estonia, in August 1993. The series of PLILP symposiums was established to promote...

This book presents the proceedings of the sixth annual conference on software engineering education and training, sponsored by the Software Engineering Institute (SEI) and held in cooperation with the ACM and the IEEE Computer Society. The book includes...

This volume, "Petri Net Technology for Communication-Based Systems," is a state-of-the-artreportin the seriesAdvances in Petri Nets. It showshowvarious well-established and new Petri net notions and techniques can be used for m-...

This book constitutes the refereed proceedings of the 11th International Workshop on Software Engineering for Resilient Systems, SERENE 2019, held in Naples, Italy, in September 2019. The 5 full papers and 4 short papers presented together with 1 keynote...

This book constitutes the refereed proceedings of the 23rd Symposium on Formal Methods, FM 2019, held in Porto, Portugal, in the form of the Third World Congress on Formal Methods, in October 2019. The 44 full papers presented together with 3 invited...

This book constitutes the refereed proceedings of the 12th International Symposium on Search-Based Software Engineering, SSBSE 2020, held in Bari, Italy, in October 2020. The 13 research papers and 5 short papers presented together with 1 keynote were...

Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9783038422563Author Vivian TamFormat HardbackImprint Mdpi AGPublisher Mdpi AGWeight(grams) 908g

This book constitutes the refereed proceedings of the Third International Conference on Reliability, Safety, and Security of Railway Systems, RSSRail 2019, held in Lille, France in June 2019. The 18 full papers presented in this book were carefully...

This open access book provides an overview of the dissertations of the eleven nominees for the Ernst Denert Award for Software Engineering in 2020. The prize, kindly sponsored by the Gerlind & Ernst Denert Stiftung, is awarded for excellent work...

This book constitutes the proceedings of the 16th International Conference on Theoretical Aspects of Software Engineering, TASE 2022, held in Cluj-Napoca, Romania, July 2022. The 21 full regular papers presented together with 5 short papers in this book...

This book constitutes contributions of the ISoLA 2021 associated events. Altogether, ISoLA 2021 comprises contributions from the proceedings originally foreseen for ISoLA 2020 collected in 4 volumes, LNCS 12476: Verification Principles, LNCS 12477:...

This book constitutes the refereed proceedings of the 12th European Conference on Software Architecture, ECSA 2018, held in Madrid, Spain, in September 2018. The 17 full papers presented together with 7 short papers were carefully reviewed and selected...

This book constitutes the refereed proceedings of the 15th Software Quality Days Conference, SWQD 2023, held in Munich, Germany, during May 23-25, 2023. The Software Quality Days (SWQD) conference started in 2009 and has grown to the biggest conference...

This book constitutes the thoroughly refereed post-conference proceedings of the 9th International Conference on High Performance Computing for Computational Science, VECPAR 2010, held in Berkeley, CA, USA, in June 2010. The 34 revised full papers...

This book constitutes the proceedings of the 25th International Working Conference on Requirements Engineering - Foundation for Software Quality, REFSQ 2019, held in Essen, Germany, in March 2019. The 13 full papers and 9 short papers in this volume were...

During a short visit to Bremen in December 1989 John Rosenberg had several discussions with me about computer architecture. Although we had previously worked together for more than a decade in Australia we had not seen each other for over a year,...

This book constitutes the proceedings of the 10th European Conference on Modelling Foundations and Applications, ECMFA 2014, held as part of STAF 2014, in York, UK, in July 2014. The 14 foundation track papers and the 3 applications track papers...

With 11 invited submissions from leading researchers and teams of researchers sharing one common characteristic ? all have worked with Dr. Judith Bishop during her long and continuing career as a leader in computer science education and research ? this...

This tutorial volume includes revised and extended lecture notes of six long tutorials, five short tutorials, and one peer-reviewed participant contribution held at the 4th International Summer School on Generative and Transformational Techniques in...

This book constitutes the refereed proceedings of the 14th World Congress on Services, SERVICES 2018, held as part of the Services Conference Federation, SCF 2018, in Seattle, USA, in June 2018. The 10 full papers and 3 short papers presented were...

This book constitutes the refereed proceedings of the International Symposium on Fundamentals of Software Engineering, FSEN 2007. The topics include models of programs and systems, software architectures and their description languages, object and...

This book examines the requirements, risks, and solutions to improve the security and quality of complex cyber-physical systems (C-CPS), such as production systems, power plants, and airplanes, in order to ascertain whether it is possible to protect...

This book constitutes the refereed proceedings of the 15th International Conference on High-Performance Computing, HiPC 2008, held in Bangalore, India, in December 2008. The 46 revised full papers presented together with the abstracts of 5 keynote talks...

This book constitutes the revised selected papers of the 13th International Conference on Service-Oriented Computing, ICSOC 2015, held in Goa, India in November 2015. The conference hosted the following seven workshops: 11th International Workshop on...

This book examines agile approaches from a management perspective by focusing on matters of strategy, implementation, organization and people. It examines the turbulence of the marketplace and business environment in order to identify what role agile...

Requirements engineering is one of the most complex and at the same time most crucial aspects of software engineering. It typically involves different stakeholders with different backgrounds. Constant changes in both the problem and the solution domain...