General

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 book constitutes the refereed proceedings of the 13th International Conference on the Quality of Information and Communications Technology, QUATIC 2020, held in Faro, Portugal*, in September 2020.The 27 full papers and 12 short papers were carefully...

This book constitutes the proceedings of the 6th International Conference on Lean and Agile Software Development, LASD 2022, which was held online on January 22, 2022. The conference received a total of 29 submissions, of which 9 full papers, 1 short...

This book constitutes the proceedings of the 17th International Conference on Product-Focused Software Process Improvement, PROFES 2016, held in Trondheim, Norway, in November 2016. The 24 revised full papers presented together with 21 short papers, 1...

This book constitutes the refereed post-proceedings of the 10th International Symposium on Advanced Parallel Processing Technologies, APPT 2013, held in Stockholm, Sweden, in August 2013. The 30 revised full papers presented were carefully reviewed and...

This book contains the refereed proceedings of the 23rd International Conference on Logic Programming, ICLP 2007, held in Porto, Portugal. The 22 revised full papers together with two invited talks, 15 poster presentations, and the abstracts of five...

This volume gives a coherent presentation of the outcome of the project PROSPECTRA (PROgram development by SPECification and TRAnsformation) that aims to provide a rigorous methodology for developing correct software and a comprehensive support system...

This volume gives the proceedings of the Tenth Conference on Foundations of Software Technology and Theoretical Computer Science. These conferences are organized and run by the computer science research community in India, and their purpose is to provide...

By bringing together various current direc tions, Software Project Management in a Changing World focuses on how people and organizations can make their processes more change-adaptive. The selected chapters closely correspond to the project management...

This book constitutes the refereed proceedings of the First European Workshop on Genetic Programming, EuroGP'98, held in Paris, France, in April 1998, under the sponsorship of EvoNet, the European Network of Excellence in Evolutionary Computing. The...

This book constitutes the refereed proceedings of the 23rd International Conference on Analytical and Stochastic Modelling Techniques and Applications, ASMTA 2016, held in Cardiff, UK, in August 2016. The 21 full papers presented in this book were...

Agent metaphors and technologies are increasingly adopted to harness and g- ernthecomplexityoftoday'ssystems.Asaconsequence,thegrowingcomplexity of agent systems calls for models and technologies that promote system p- dictability and enable feature...

Object-oriented programming is a popular buzzword these days. What is the reason for this popularity? Is object-oriented programming the solution to the software crisis or is it just a fad? Is it a simple evolutionary step or a radical change in software...

This volume is intended for SPI (software process improvement) managers and researchers, quality managers, and experienced project and research managers. The papers constitute the research proceedings of the 12th EuroSPI (European Software Process...

Static analysis allows us to determine aspects of the dynamic behavior of p- grams and systems without actually executing them. Traditionally used in - timizing compilers, static analysis is now also used extensively in veri?cation, software certi?cation...

Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9783540115717Author J. UhlFormat PaperbackPage Count 516Imprint Springer-Verlag Berlin and Heidelberg GmbH & Co. KPublisher Springer-Verlag Berlin and...

This volume combines the proceedings of the 1987 SEI Conference on Software Engineering Education, held in Monroeville, Pennsylvania on April 30 and May 1, 1987, with the set of papers that formed the basis for that conference. The conference was...

Researchers and professionals will find in this text the thoroughly refereed post-proceedings of the Third International Conference on the Quality of Software Architectures, QoSA 2007, held in Medford, MA, USA, in 2007. It was mounted in conjunction with...

This book constitutes the thoroughly refereed post-proceedings of the Second International Conference on Software Engineering Research and Applications, SERA 2004, held in May 2004. The 18 revised full papers presented together with four keynote...

Form-based applications range from simple web shops to complex enterprise resource planning systems. Draheim and Weber adapt well-established basic modeling techniques in a novel way to achieve a modeling framework optimized for this broad application...

The continuous trend in computer science to lift programming to higher abstraction levels increases scalability and opens programming to a wider public. In particular, service-oriented programming and the support of semantics-based frameworks make...

Generative and component approaches have the potential to revolutionize so- waredevelopmentinasimilarwayasautomationandcomponentsrevolutionized manufacturing. Generative Programming (developing programs that synthesize other programs), Component...

This book is an introductory text on design science, intended to support both graduate students and researchers in structuring, undertaking and presenting design science work. It builds on established design science methods as well as recent work on...

This book constitutes the proceedings of the 21st International Conference on Compiler Construction, CC 2012, held as part of the joint European Conference on Theory and Practice of Software, ETAPS 2012, which took place in Tallinn, Estonia, in...

This book constitutes the refereed proceedings of the 21st International Conference on Runtime Verification, RV 2021, held virtually during October 11-14, 2021.The 11 regular papers and 7 short/tool/benchmark papers presented in this book were carefully...

This book constitutes the revised selected papers from the First International Conference on Computing, Analytics and Networks, ICAN 2017, held in Rajpura, India, in October 2017.The 20 revised full papers presented in this volume were carefully reviewed...

Written in the easy to understand Packt How-to format, this book offers the solution to the big issues in Android application development. If you want the best possible reviews for your apps, regardless of device or Android operating system, then this...

This book constitutes the refereed proceedings of the 8th International Conference on Model Transformation, ICMT 2015, held in L'Aquila, Italy, in July 2015, as Part of STAF 2015, the federation of a number of the leading conferences on software...

Fifteen papers were presented at the first workshop on Multi-Agent Systems and Agent-Based Simulation held as part of the Agents World conference in Paris, July 4-- 6, 1998. The workshop was designed to bring together two developing communities: the...

This book constitutes the refereed proceedings of the Second International Conference on Technologies and Innovation, CITI 2016, held in Guayaquil, Ecuador, in November 2016. The 21 revised full papers presented were carefully reviewed and selected from...

This book constitutes the thoroughly refereed proceedings of the 8th International Conference on Evaluation of Novel Approaches to Software Engineering, ENASE 2013, held in Angers, France, in July 2013. The 18 full papers presented were carefully...

This four-volume set LNCS 13701-13704 constitutes contributions of the associated events held at the 11th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2022, which took place in Rhodes, Greece, in October/November 2022. The...

Multimedia techniques enable the production of non-traditional documents containing enourmous amounts of information. The production of such documents by a group, as opposed to an individual, is the main subject of this book. A group needs to...

This book constitutes the refereed proceedings of the 5th International Symposium on NASA Formal Methods, NFM 2013, held in Moffett Field, CA, USA, in May 2013. The 28 revised regular papers presented together with 9 short papers talks were carefully...

This book constitutes revised papers of the proceedings of the 7th International Workshop on System Analysis and Modeling, SAM 2012, held in Innsbruck, Austria, in October 2012. The 12 papers presented were carefully reviewed and selected from 27...

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...