General

This book constitutes the refereed proceedings of the 5th International Conference, ICMT 2012, held in Prague, Czech Republic, in May 2012, co-located with TOOLS 2012 Federated Conferences. The 18 full papers presented together with one invited paper...

As software systems become increasingly ubiquitous, issues of dependability become ever more crucial. Given that solutions to these issues must be considered from the very beginning of the design process, it is reasonable that dependability and security...

This book constitutes the refereed proceedings of the Second International Workshop on Algorithms and Computation, WALCOM 2008, held in Dhaka, Bangladesh, in February 2008. The 19 revised full papers presented together with 3 invited papers were...

Net theory is a theory of systems organization which had its origins, about 20 years ago, in the dissertation of C. A. Petri [1]. Since this seminal paper, nets have been applied in various areas, at the same time being modified and theoretically...

The maintenance of long-living software systems is an essential topic in today's software engineering practice and research. Software Architecture Restructuring is an important task to adjust these systems to current requirements and to keep them...

This book focuses on innovative strategies to manage and build software systems for generating new knowledge from large archaeological data sets The book also reports on two case studies carried out in real-world scenarios within the Cultural Heritage...

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

This book constitutes the proceedings of the 14th International Conference on Service-Oriented Computing, ICSOC 2016, held in Banff, AB, Canada, in October 2016. The 30 full papers presented together with 18 short papers and 8 industrial papers in this...

This book constitutes the proceedings of the 22nd International Working Conference on Requirements Engineering - Foundation for Software Quality, REFSQ 2016, held in Gothenburg, Sweden, in March 2016. The 16 full papers and 5 short papers presented in...

This book constitutes the thoroughly refereed post-conference proceedings of TYPES 2007, the concluding conference of the Types project, held in Cividale del Friuli, Italy, in May 2007. The 13 revised full papers presented were carefully reviewed and...

This open access book coherently gathers well-founded information on the fundamentals of and formalisms for modelling cyber-physical systems (CPS). Highlighting the cross-disciplinary nature of CPS modelling, it also serves as a bridge for anyone...

This book constitutes the refereed proceedings of the 11th Joint Conference on Knowledge-Based Software-Engineering, JCKBSE 2014, held in Volgograd, Russia, in September 2014. The 59 full and 3 short papers presented were carefully reviewed and selected...

Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9783030586195Author Michael FeldererFormat PaperbackPage Count 148Imprint SpringerPublisher SpringerWeight(grams) 218g

Multimedia environments suggest to us a new perception of the state of changes in and the integration of new technologies that can increase our ability to process information. Moreover, they are obliging us to change our idea of knowledge. These changes...

Process automation provides a means to integrate people in a software development organization with the development process and the tools supporting that development. This new technology may significantly improve software quality and development...

Software Development is moving towards a more agile and more flexible approach. It turns out that the traditional "waterfall" model is not supportive in an environment where technical, financial and strategic constraints are changing almost...

Agile software development has become an umbrella term for a number of changes in how software developers plan and coordinate their work, how they communicate with customers and external stakeholders, and how software development is organized in small,...

This book constitutes the thoroughly refereed post-workshop proceedings of 10 internationl workshops and 2 symposia held as satellite events of the 10th International Conference on Model Driven Engineering Languages and Systems, MoDELS 2007, in...

This book constitutes the refereed proceedings of the 8th International Conference on Formal Engineering Methods, ICFEM 2006, held in Macao, China, in November 2006. The 38 revised full papers presented together with three keynote talks were carefully...

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

Engineering tasks are supposed to achieve defined goals under certain project constraints. Example goals of software engineering tasks include achieving a certain functionality together with some level of reliability or performance. Example constraints...

The message conveyed in this work is that agility can be implemented anywhere. Accordingly, ten guidelines are presented for the adoption of agility to enable us to cope with changes in our lives, in our teams, and in our organizations. Since the authors...

Manage VMware workloads in Azure VMware Solution and enable hybrid connectivity between on-premises datacenters and Azure with this extensive guide focusing on best practices and use casesKey FeaturesExtend or migrate your existing VMware environment to...

This volume contains the proceedings of the 16th IFIP TC6/WG6.1 Inter- tional Conference on Testing of Communicating Systems (TestCom 2004). This conference was held at St Anne's College, Oxford, UK, from March 17 to March 19, 2004. TestCom 2004 was the...

This book constitutes the refereed proceedings of the 28th International Colloquium on Automata, Languages and Programming, ICALP 2001, held in Crete, Greece in July 2001. The 80 revised papers presented together with two keynote contributions and four...

Self-adaptive software evaluates its own behavior and changes its behavior when the evaluation indicates that the software does not accomplish what it is intended to do or when better functionality or better performance is possible. The self-adaptive...

This book presents 12 revised lectures given by top-researchers at the 5th International Symposium on Formal Methods for Components and Objects, FMCO 2006, held in Amsterdam, Netherlands in November 2006. It provides a unique combination of ideas on...

Started on the inspired initiative of Prof. Alfred Strohmeier back in 1996, and spawned from the annual Ada-Europe conference that had previously run for 16 consecutive years, the International Conference on Reliable Software Technologies celebrated this...

This book contains the refereed proceedings of the 13th International Conference on Agile Software Development, XP 2012, held in Malmoe, Sweden, in May 2012. In the last decade, we have seen agile and lean software development strongly influence the way...

A software architecture manifests the major early design decisions, which determine the system's development, deployment and evolution. Thus, making better architectural decisions is one of the large challenges in software engineering. Software...

This book constitutes revised selected papers from the 24th Argentine Congress on Computer Science, CACIC 2018, held in Tandil, Argentina, in October 2018. The 26 papers presented in this volume were carefully reviewed and selected from a total of 155...

Enterprise Modeling has been defined as the art of externalizing enterprise knowledge, i.e., representing the core knowledge of the enterprise. Although useful in product design and systems development, for modeling and model-based approaches to have a...

Software architectures that contain many dynamically interacting components, each with its own thread of control, engaging in complex coordination protocols, are difficult to correctly and efficiently engineer. Agent-oriented modelling techniques are...

A formal method is not the main engine of a development process, its contribution is to improve system dependability by motivating formalisation where useful. This book summarizes the results of the DEPLOY research project on engineering methods for...

This book constitutes the proceedings of the 5th International Conference on Technologies and Innovation, CITI 2019, held in Guayaquil, Ecuador, in December 2019. The 14 full papers presented in this volume were carefully reviewed and selected from 32...

While previously available methodologies for software - like those published in the early days of object technology - claimed to be appropriate for every conceivable project, situational method engineering (SME) acknowledges that most projects typically...

Although software engineering can trace its beginnings to a NATO conf- ence in 1968, it cannot be said to have become an empirical science until the 1970s with the advent of the work of Prof. Victor Robert Basili of the University of Maryland. In...

This volume constitutes selected and revised papers presented during the Second International Conference on Trandisciplinary Multispectral Modelling and Cooperation for the Preservation of Cultural Heritage, TMM_CH 2021, held in Athens, Greece, in...

Infotext: This book constitutes the refereed proceedings of the 4th European Conference on Service-Oriented and Cloud computing, ESOCC 2015, held in Taormina, Sicily, Italy, in September 2015. The 13 research papers, three industry papers, and two...

This volume contains the technical papers presented in the four high-quality workshops associated with the European Conference on Service-Oriented and Cloud Computing, ESOCC 2014, held in Manchester, UK, in September 2014: 4th International Workshop on...