You may have to Search all our reviewed books and magazines, click the sign up button below to create a free account.
This book constitutes the refereed proceedings of ten international workshops held in Innsbruck, Austria, in conjunction with the 13th International Conference on Business Process Management, BPM 2015, in September 2015. The seven workshops comprised Adaptive Case Management and other Non-workflow Approaches to BPM (AdaptiveCM 2015), Business Process Intelligence (BPI 2015), Social and Human Aspects of Business Process Management (BPMS2 2015), Data- and Artifact-centric BPM (DAB 2015), Decision Mining and Modeling for Business Processes (DeMiMoP 2015), Process Engineering (IWPE 2015), and Theory and Applications of Process Visualization (TaProViz 2015). The 42 revised papers presented were carefully reviewed and selected from 104 submissions. In addition, four short papers and one keynote (from TAProViz) are also included in this book.
Welcome to the European Conference on Software Architecture (ECSA), which is the premier European software engineering conference. ECSA provides researchers and practitioners with a platform to present and discuss the most recent, innovative, and significant findings and experiences in the field of software architecture research and practice. The fourth edition of ECSA was built upon a history of a successful series of European workshops on software architecture held from 2004 through 2006 and a series of European software architecture conferences from 2007 through 2009. The last ECSA was merged with the 8th Working IEEE/IFIP Conference on Software Architecture (WICSA). Apart from the tradit...
This book constitutes the proceedings of the 7th European Conference on Software Architecture, ECSA 2013, held in Montpellier, France, in July 2013. The 25 full papers and 11 poster papers presented in this volume were carefully reviewed and selected from a total of 82 submissions. The contributions are organized in topical sections named: architectural and design patterns and models; ADLs and architectural MetaModels; architectural design decision-making; software architecture conformance and quality; and architectural repair and adaptation.
This book constitutes the refereed proceedings of the 9th International Conference on Model Driven Engineering Languages and Systems (formerly UML conferences), MoDELS 2006. The book presents 51 revised full papers and 2 invited papers. Discussion is organized in topical sections on evaluating UML, MDA in software development, concrete syntax, applying UML to interaction and coordination, aspects, model integration, formal semantics of UML, security, model transformation tools and implementation, and more.
This book constitutes revised papers from the eleven International Workshops held at the 15th International Conference on Business Process Management, BPM 2017, in Barcelona, Spain, in September 2017: BPAI 2017 – 1st International Workshop on Business Process Innovation with Artificial Intelligence; BPI 2017 – 13th International Workshop on Business Process Intelligence; BP-Meet-IoT 2017 – 1st International Workshop on Ubiquitous Business Processes Meeting Internet-of-Things; BPMS2 2017 – 10th Workshop on Social and Human Aspects of Business Process Management; ‐ CBPM 2017 – 1st International Workshop on Cognitive Business Process Management; CCABPM 2017 – 1st International Wor...
This book constitutes the refereed proceedings of the 11th International Conference on Software Business, ICSOB 2020, which was held during November 16-18, 2020. The conference was originally planned to take place in Karlskrona, Sweden, but changed to an online format due to the COVID-19 pandemic. The 13 full papers and 5 short papers presented were carefully reviewed and selected from 39 submissions. They deal with a range of topics including practices for engineering and marketing software-intensive products, extracting business value from machine learning based software components, ethical considerations of the software business, software ecosystems, and pedagogy of teaching entrepreneurship and software business.
Over the years, a variety of software process models have been designed to structure, describe and prescribe the software systems construction process. More recently, software process modelling is increasingly dealing with new challenges raised by the tests that the software industry has to face.This book addresses these new trends in software process modeling related to:• Processes for open source software;• Systems dynamics to model and simulate the software process;• Peopleware: the importance of people in the software development and by extension in the software process.One new software development trend is the development of open source projects. As such projects are a recent crea...
Over the years, a variety of software process models have been designed to structure, describe and prescribe the software systems construction process. More recently, software process modelling is increasingly dealing with new challenges raised by the tests that the software industry has to face.This book addresses these new trends in software process modeling related to: ? Processes for open source software;? Systems dynamics to model and simulate the software process;? Peopleware: the importance of people in the software development and by extension in the software process.One new software development trend is the development of open source projects. As such projects are a recent creation,...
The two volume set LNCS 6415 and LNCS 6416 constitutes the refereed proceedings of the 4th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2010, held in Heraklion, Crete, Greece, in October 2010. The 100 revised full papers presented were carefully revised and selected from numerous submissions and discuss issues related to the adoption and use of rigorous tools and methods for the specification, analysis, verification, certification, construction, test, and maintenance of systems. The 46 papers of the first volume are organized in topical sections on new challenges in the development of critical embedded systems, formal languages and methods for designing and ver...
This book constitutes the refereed proceedings of the 12th International Conference on Software Reuse, ICSR 2011, held in Pohang, South Korea, in June 2011. The 16 revised full papers were carefully reviewed and selected from 43 submissions. They are presented together with one keynote, three workshop papers, a doctoral symposium report and two tutorials. Topics of interest are domain analysis and modeling; asset search and retrieval; architecture-centric approaches to reuse; component-based reuse; COTS-based development; generator-based techniques; domain-specific languages; testing in the context of software reuse; aspect-oriented techniques; model-driven development; reuse of non-code artifacts; reengineering for reuse; software product line techniques; quality-aspects of reuse; economic models of reuse; benefit and risk analysis, scoping; legal and managerial aspects of reuse; transition to software reuse; industrial experience with reuse; light-weight approaches; software evolution and reuse.