General

This book constitutes the thoroughly refereed proceedings of the 12th International Conference on Evaluation of Novel Approaches to Software Engineering, ENASE 2017, held in Porto, Portugal, in April 2017. The 12 full papers presented were carefully...

Covering a variety of areas including software analysis, design, coding and maintenance, this text details the research conducted since the 1970s in this fast-developing field before going on to define a computer program from the viewpoint of computing...

This book describes the methodology and accompanying technology for reducing the costs of validation of changes by introducing automatic techniques to analyze and test software increments. It builds a unified approach to efficient and reliable validation...

This book constitutes the refereed proceedings of the 37th International Conference on Conceptual Modeling, ER 2018, held in XI'an, China, in October 2018. The 30 full and 13 short papers presented together with 3 keynotes were carefully reviewed and...

This text provides a comprehensive, but concise introduction to software engineering. It adopts a methodical approach to solving software engineering problems proven over several years of teaching, with outstanding results. The book covers concepts,...

Software-intensive systems have become increasingly important for a multitude of products and services from all sectors of the economy, our national and - ternational infrastructure, and our daily lives. The ongoing decrease in size and cost of...

This book constitutes the thoroughly refereed post-proceedings of the 8th International Workshop on Runtime Verification, RV 2008, held in Budapest, Hungary, in March 2008 as satellite event of ETAPS 2008. The 9 revised full papers presented together...

This book constitutes thoroughly revised and selected papers from the 8th International Conference on Model-Driven Engineering and Software Development, MODELSWARD 2020, held in Valletta, Malta, in February 2020. The 15 revised and extended papers...

This book constitutes the proceedings of the 8th OpenSHMEM Workshop, held in virtually in August 2021. The 11 full papers and 1 short paper presented in this book were carefully reviewed and selected for inclusion in this volume from 18 submissions. The...

This book describes pragmatic instruments and methods that enable business experts and software engineers to develop a common understanding of the software to be created, to determine their key requirements, and to manage the project in a way that...

This monograph discusses software reuse and how it can be applied at different stages of the software development process, on different types of data and at different levels of granularity. Several challenging hypotheses are analyzed and confronted using...

This tutorial book presents revised and extended lecture notes for a selection of the contributions presented at the International Summer School on Generative and Transformational Techniques in Software Engineering (GTTSE 2009), which was held in Braga,...

This book constitutes the refereed proceedings of the 38th International Conference on Conceptual Modeling, ER 2019, held in Salvador, Brazil, in November 2019.The 22 full and 22 short papers presented together with 4 keynotes were carefully reviewed and...

Electronic negotiations concern transactions on the basis of electronic media, such as the Internet. Platforms have been developed to aid participants in electronic markets during the agreement phase. The key activity in this is the matching of offers...

This book constitutes the refereed proceedings of the workshops which complemented the 23rd Symposium on Formal Methods, FM 2019, held in Porto, Portugal, in October 2019. This volume presents the papers that have been accepted for the following...

This book constitutes the refereed proceedings of the 7th International Conference on Model and Data Engineering, MEDI 2017, held in Barcelona, Spain, in October 2017. The 20 full papers and 7 short papers presented together with 2 invited talks were...

This book constitutes the refereed proceedings of the 15th International Conference on Software Engineering and Formal Methods, SEFM 2017, held in Trento, Italy, in September 2017. The 17 full papers and 6 short papers presented were carefully reviewed...

The open access two-volume set LNCS 12224 and 12225 constitutes the refereed proceedings of the 32st International Conference on Computer Aided Verification, CAV 2020, held in Los Angeles, CA, USA, in July 2020.* The 43 full papers presented together...

This book constitutes the proceedings of the 16th International Conference on Parallel Computing Technologies, PaCT 2021, which was held during September 13-18, 2021. The conference was planned to take place in Kaliningrad, Russia, but changed to an...

Why have a book about the relation between requirements and software architecture? Understanding the relation between requirements and architecture is important because the requirements, be they explicit or implicit, represent the function, whereas the...

Software product lines represent perhaps the most exciting paradigm shift in software development since the advent of high-level programming languages. Nowhere else in software engineering have we seen such breathtaking improvements in cost, quality,...

This book represents the thoroughly refereed post-proceedings of the 6th International Workshop on Agent-Oriented Software Engineering, AOSE 2005. The 18 revised full papers were carefully selected from 35 submissions during two rounds of reviewing and...

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

"This conference will focus on the user-oriented development of information systems. Against a background of recent concepts for the implementation of distributed systems based on workstation computers, various communicational, organizational and...

This book constitutes the refereed proceedings of the 10th International Haifa Verification Conference, HVC 2014, held in Haifa, Israel, in November 2014. The 17 revised full papers and 4 short papers presented were carefully reviewed and selected from...

This book constitutes the refereed proceedings of the 13th International Conference on Safe and Secure Software Reuse, ICSR 2013, held in Pisa, Italy, in June 2013. The 27 papers (18 full and 9 short papers) presented were carefully reviewed and selected...

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

Computing technology has become ubiquitous, from global applications to - nuscule embedded devices. Trust in computing is vital to help protect public safety,nationalsecurity,andeconomicprosperity.Anewareaofresearch,known as global computing, has...

The Z notation has been developed at the Programming Research Group at the Oxford University Computing Laboratory and elsewhere for over a decade. It is now used by industry as part of the software (and hardware) development process in both Europe and...

A study of one of the key issues in the design and development of IT systems: the fact that the bulk of system development projects undertaken will fail to meet originally defined objectives. Using a number of case studies, the book analyses the reasons...

This book assembles papers presented at the 14th Annual Safety-critical Systems Symposium, held at Bristol, UK in February 2006. The papers address the most critical topics in the field of safety-critical systems. The focus, considered from various...

As software engineering (SE) becomes specialized and fragmented, it is easy to lose sight that many topics in SE have common threads and because of this, advances in one sub-discipline may transmit to another. The presentation of results between diff-...

This volume is a documentation of the main results in the research area "In- gration of Software Speci?cation Techniques for Applications in Engineering". On one hand it is based on the Priority Program "Integration von Techniken der...

The last decade has been one of great progress in the field of software architecture research and practice. Software architecture has emerged as an important subdis- pline of software engineering. A key aspect of the design of any software system is its...

This book constitutes the refereed proceedings of the 7th International Conference on Extreme Programming and Agile Processes in Software Engineering, XP 2006, held in Oulu, Finland, June 2006. The book presents 16 revised full papers together with 6...

In 1977 I was asked to prepare aseries of twenty lectures introducing the design of real-time software to undergraduate electrical engineers at the University of Essex. At that time the advent of low-cost microprocessors was causing a minor revolution in...

Embedded Software Development With C offers both an effectual reference for professionals and researchers, and a valuable learning tool for students by laying the groundwork for a solid foundation in the hardware and software aspects of embedded systems...

This three-volume work presents a coherent description of the theoretical and practical aspects of coloured Petri nets (CP-nets). The second volume contains a detailed presentation of the analysis methods for CP-nets. They allow the modeller to...

Informatics - 10 Years Back, 10 Years Ahead presents a unique collection of expository papers on major current issues in the field of computer science and information technology. The 26 contributions written by leading researchers on personal invitation...

This book constitutes the refereed proceedings of FME '97, the 4th International Symposium of Formal Methods Europe devoted to Industrial Applications and Strengthened Foundations of Formal Methods , held in Graz, Austria, in September 1997. The 35...