Environment Modeling Based Requirements Engineering For Software Intensive Systems

If you want to download Environment Modeling Based Requirements Engineering For Software Intensive Systems book in PDF, ePub and kindle or read online directly from your devices, click Download button to get Environment Modeling Based Requirements Engineering For Software Intensive Systems book now. This site is like a library, Use search box in the widget to get ebook that you want.

Environment Modeling-Based Requirements Engineering for Software Intensive Systems

Environment Modeling-Based Requirements Engineering for Software Intensive Systems
  • Author : Zhi Jin
  • Publisher : Morgan Kaufmann
  • Release Date : 2017-12
  • Total pages : 248
  • ISBN : 0128019549
  • File Size : 22,7 Mb
  • Total Download : 916
  • DOWNLOAD BOOK

Download Environment Modeling-Based Requirements Engineering for Software Intensive Systems in PDF, Epub, and Kindle

Environment Modeling-Based Requirements Engineering for Software Intensive Systems provides a new and promising approach for engineering the requirements of software-intensive systems; Environment Modelling Requirements Engineering. Environment Modeling-Based Requirements Engineering for Software Intensive Systems presents a systematic, promising approach to identifying, clarifying, modelling, deriving, and validating the requirements of software-intensive systems from well-modelled environment simulations, while giving a new view of software capability, i.e. the effect-based software capability in terms of environment modelling. Provides novel and systematic methodologies for engineering the requirements of software-intensive systems. Describes ontologies and easily-understandable notations for modelling software-intensive systems Analyzes the functional and non-functional requirements based on the properties of the software surroundings Provides an essential, practical guide and formalization tools for the task of identifying the requirements of software-intensive systems Gives system analysts and requirements engineers insight into how to recognize and structure the problems of developing software-intensive systems

Environment Modeling-Based Requirements Engineering for Software Intensive Systems

Environment Modeling-Based Requirements Engineering for Software Intensive Systems
  • Author : Zhi Jin
  • Publisher : Morgan Kaufmann
  • Release Date : 2017-12-14
  • Total pages : 288
  • ISBN : 9780128019573
  • File Size : 10,9 Mb
  • Total Download : 447
  • DOWNLOAD BOOK

Download Environment Modeling-Based Requirements Engineering for Software Intensive Systems in PDF, Epub, and Kindle

Environment Modeling-Based Requirements Engineering for Software Intensive Systems provides a new and promising approach for engineering the requirements of software-intensive systems, presenting a systematic, promising approach to identifying, clarifying, modeling, deriving, and validating the requirements of software-intensive systems from well-modeled environment simulations. In addition, the book presents a new view of software capability, i.e. the effect-based software capability in terms of environment modeling. Provides novel and systematic methodologies for engineering the requirements of software-intensive systems Describes ontologies and easily-understandable notations for modeling software-intensive systems Analyzes the functional and non-functional requirements based on the properties of the software surroundings Provides an essential, practical guide and formalization tools for the task of identifying the requirements of software-intensive systems Gives system analysts and requirements engineers insight into how to recognize and structure the problems of developing software-intensive systems

Intelligent Systems

Intelligent Systems
  • Author : Amit Sheth,Amit Sinhal,Abhinav Shrivastava,Amit Kumar Pandey
  • Publisher : Springer Nature
  • Release Date : 2021-07-21
  • Total pages : 492
  • ISBN : 9789811622489
  • File Size : 41,8 Mb
  • Total Download : 774
  • DOWNLOAD BOOK

Download Intelligent Systems in PDF, Epub, and Kindle

This book contains the latest computational intelligence methodologies and applications. This book is a collection of selected papers presented at International Conference on Sustainable Computing and Intelligent Systems (SCIS 2021), held in Jaipur, India, during February 5–6, 2021. It includes novel and innovative work from experts, practitioners, scientists, and decision-makers from academia and industry. It covers selected papers in the area of artificial intelligence and intelligent systems, intelligent business systems, machine intelligence, computer vision, Web intelligence, big data analytics, swarm intelligence, and related topics.

Artificial Intelligence Methods for Optimization of the Software Testing Process

Artificial Intelligence Methods for Optimization of the Software Testing Process
  • Author : Sahar Tahvili,Leo Hatvani
  • Publisher : Academic Press
  • Release Date : 2022-08-05
  • Total pages : 232
  • ISBN : 9780323912822
  • File Size : 20,7 Mb
  • Total Download : 552
  • DOWNLOAD BOOK

Download Artificial Intelligence Methods for Optimization of the Software Testing Process in PDF, Epub, and Kindle

Artificial Intelligence Methods for Optimization of the Software Testing Process: With Practical Examples and Exercises presents different AI-based solutions for overcoming the uncertainty found in many initial testing problems. The concept of intelligent decision making is presented as a multi-criteria, multi-objective undertaking. The book provides guidelines on how to manage diverse types of uncertainty with intelligent decision-making that can help subject matter experts in many industries improve various processes in a more efficient way. As the number of required test cases for testing a product can be large (in industry more than 10,000 test cases are usually created). Executing all these test cases without any particular order can impact the results of the test execution, hence this book fills the need for a comprehensive resource on the topics on the how's, what's and whys. To learn more about Elsevier’s Series, Uncertainty, Computational Techniques and Decision Intelligence, please visit this link: https://www.elsevier.com/books-and-journals/book-series/uncertainty-computational-techniques-and-decision-intelligence Presents one of the first empirical studies in the field, contrasting theoretical assumptions on innovations in a real industrial environment with a large set of use cases from developed and developing testing processes at various large industries Explores specific comparative methodologies, focusing on developed and developing AI-based solutions Serves as a guideline for conducting industrial research in the artificial intelligence and software testing domain Explains all proposed solutions through real industrial case studies

Engineering Adaptive Software Systems

Engineering Adaptive Software Systems
  • Author : Yijun Yu,Arosha Bandara,Shinichi Honiden,Zhenjiang Hu,Tetsuo Tamai,Hausi Muller,John Mylopoulos,Bashar Nuseibeh
  • Publisher : Springer
  • Release Date : 2019-01-14
  • Total pages : 169
  • ISBN : 9789811321856
  • File Size : 10,6 Mb
  • Total Download : 307
  • DOWNLOAD BOOK

Download Engineering Adaptive Software Systems in PDF, Epub, and Kindle

This book discusses the problems and challenges in the interdisciplinary research field of self-adaptive software systems. Modern society is increasingly filled with software-intensive systems, which are required to operate in more and more dynamic and uncertain environments. These systems must monitor and control their environment while adapting to meet the requirements at runtime. This book provides promising approaches and research methods in software engineering, system engineering, and related fields to address the challenges in engineering the next-generation adaptive software systems. The contents of the book range from design and engineering principles (Chap. 1) to control–theoretic solutions (Chap. 2) and bidirectional transformations (Chap. 3), which can be seen as promising ways to implement the functional requirements of self-adaptive systems. Important quality requirements are also dealt with by these approaches: parallel adaptation for performance (Chap. 4), self-adaptive authorization infrastructure for security (Chap. 5), and self-adaptive risk assessment for self-protection (Chap. 6). Finally, Chap. 7 provides a concrete self-adaptive robotics operating system as a testbed for self-adaptive systems. The book grew out of a series of the Shonan Meetings on this ambitious topic held in 2012, 2013, and 2015. The authors were active participants in the meetings and have brought in interesting points of view. After several years of reflection, they now have been able to crystalize the ideas contained herein and collaboratively pave the way for solving some aspects of the research problems. As a result, the book stands as a milestone to initiate further progress in this promising interdisciplinary research field.

Software Engineering for Variability Intensive Systems

Software Engineering for Variability Intensive Systems
  • Author : Ivan Mistrik,Matthias Galster,Bruce R. Maxim
  • Publisher : CRC Press
  • Release Date : 2019-01-15
  • Total pages : 366
  • ISBN : 9780429666742
  • File Size : 30,5 Mb
  • Total Download : 243
  • DOWNLOAD BOOK

Download Software Engineering for Variability Intensive Systems in PDF, Epub, and Kindle

This book addresses the challenges in the software engineering of variability-intensive systems. Variability-intensive systems can support different usage scenarios by accommodating different and unforeseen features and qualities. The book features academic and industrial contributions that discuss the challenges in developing, maintaining and evolving systems, cloud and mobile services for variability-intensive software systems and the scalability requirements they imply. The book explores software engineering approaches that can efficiently deal with variability-intensive systems as well as applications and use cases benefiting from variability-intensive systems.

Model-Based Engineering of Embedded Systems

Model-Based Engineering of Embedded Systems
  • Author : Klaus Pohl,Harald Hönninger,Reinhold Achatz,Manfred Broy
  • Publisher : Springer Science & Business Media
  • Release Date : 2012-11-08
  • Total pages : 304
  • ISBN : 9783642346149
  • File Size : 11,5 Mb
  • Total Download : 929
  • DOWNLOAD BOOK

Download Model-Based Engineering of Embedded Systems in PDF, Epub, and Kindle

Embedded systems have long become essential in application areas in which human control is impossible or infeasible. The development of modern embedded systems is becoming increasingly difficult and challenging because of their overall system complexity, their tighter and cross-functional integration, the increasing requirements concerning safety and real-time behavior, and the need to reduce development and operation costs. This book provides a comprehensive overview of the Software Platform Embedded Systems (SPES) modeling framework and demonstrates its applicability in embedded system development in various industry domains such as automation, automotive, avionics, energy, and healthcare. In SPES 2020, twenty-one partners from academia and industry have joined forces in order to develop and evaluate in different industrial domains a modeling framework that reflects the current state of the art in embedded systems engineering. The content of this book is structured in four parts. Part I “Starting Point” discusses the status quo of embedded systems development and model-based engineering, and summarizes the key requirements faced when developing embedded systems in different application domains. Part II “The SPES Modeling Framework” describes the SPES modeling framework. Part III “Application and Evaluation of the SPES Modeling Framework” reports on the validation steps taken to ensure that the framework met the requirements discussed in Part I. Finally, Part IV “Impact of the SPES Modeling Framework” summarizes the results achieved and provides an outlook on future work. The book is mainly aimed at professionals and practitioners who deal with the development of embedded systems on a daily basis. Researchers in academia and industry may use it as a compendium for the requirements and state-of-the-art solution concepts for embedded systems development.

Designing Software-Intensive Systems: Methods and Principles

Designing Software-Intensive Systems: Methods and Principles
  • Author : Tiako, Pierre F.
  • Publisher : IGI Global
  • Release Date : 2008-07-31
  • Total pages : 582
  • ISBN : 9781599047010
  • File Size : 55,8 Mb
  • Total Download : 229
  • DOWNLOAD BOOK

Download Designing Software-Intensive Systems: Methods and Principles in PDF, Epub, and Kindle

"This book addresses the complex issues associated with software engineering environment capabilities for designing real-time embedded software systems"--Provided by publisher.

Software Reuse for Dynamic Systems in the Cloud and Beyond

Software Reuse for Dynamic Systems in the Cloud and Beyond
  • Author : Ina Schaefer,Ioannis Stamelos
  • Publisher : Springer
  • Release Date : 2014-12-22
  • Total pages : 366
  • ISBN : 9783319141305
  • File Size : 18,8 Mb
  • Total Download : 282
  • DOWNLOAD BOOK

Download Software Reuse for Dynamic Systems in the Cloud and Beyond in PDF, Epub, and Kindle

This book constitutes the refereed proceedings of the 14th International Conference on Software Reuse for Dynamic Systems in the Cloud and Beyond, ICSR 2015, held in Miami, FL, USA, in January 2015. The 21 revised full papers presented together with 3 revised short papers were carefully reviewed and selected from 60 submissions. The papers cover several software engineering areas where software reuse is important, such as software product lines, domain analysis, open source, components, cloud, quality.

A System-Theoretic Safety Engineering Approach for Software-Intensive Systems

A System-Theoretic Safety Engineering Approach for Software-Intensive Systems
  • Author : Asim Ali Ahmed Abdulkhaleq
  • Publisher : Cuvillier Verlag
  • Release Date : 2017-02-23
  • Total pages : 220
  • ISBN : 9783736984929
  • File Size : 40,5 Mb
  • Total Download : 127
  • DOWNLOAD BOOK

Download A System-Theoretic Safety Engineering Approach for Software-Intensive Systems in PDF, Epub, and Kindle

Software safety is a crucial aspect during the development of modern safety-critical systems. However, safety is a system level property, and therefore, must be considered at the system-level to ensure the whole system’s safety. In the software development process, formal verification and functional testing are complementary approaches which are used to verify the functional correctness of software; however, even perfectly reliable software could lead to an accident. The correctness of software cannot ensure the safe operation of safety-critical software systems. Therefore, developing safety-critical software requires a more systematic software and safety engineering process that enables the software and safety engineers to recognize the potential software risks. For this purpose, this dissertation introduces a comprehensive safety engineering approach based on STPA for Software-Intensive Systems, called STPA SwISs, which provides seamless STPA safety analysis and software safety verification activities to allow the software and safety engineers to work together during the software development for safety-critical systems and help them to recognize the associated software risks at the system level.

Recent Trends and Advances in Model Based Systems Engineering

Recent Trends and Advances in Model Based Systems Engineering
  • Author : Azad M. Madni,Barry Boehm,Daniel Erwin,Mahta Moghaddam,Michael Sievers,Marilee Wheaton
  • Publisher : Springer Nature
  • Release Date : 2022-03-24
  • Total pages : 727
  • ISBN : 9783030820831
  • File Size : 39,7 Mb
  • Total Download : 434
  • DOWNLOAD BOOK

Download Recent Trends and Advances in Model Based Systems Engineering in PDF, Epub, and Kindle

This volume comprises papers from the 18th Conference on Systems Engineering Research (CSER). The theme of this volume, “Recent Trends and Advances in Model-Based Systems Engineering,” reflects the fact that systems engineering is undergoing a transformation motivated by mission and system complexity and enabled by technological advances such as model-based systems engineering, digital engineering, and the convergence of systems engineering with other disciplines. This conference is focused on exploring recent trends and advances in model-based systems engineering (MBSE) and the synergy of MBSE with simulation technology and digital engineering. Contributors have submitted papers on MBSE methods, modeling approaches, integration of digital engineering with MBSE, standards, modeling languages, ontologies and metamodels, and economics analysis of MBSE to respond to the challenges posed by 21st century systems. What distinguishes this volume are the latest advances in MBSE research, the convergence of MBSE with digital engineering, and recent advances in applied research in MBSE, including growing convergence with systems science and decision science. This volume is appropriate as a reference text in graduate engineering courses in Model-Based Systems Engineering.

Summary of a Workshop on Software-Intensive Systems and Uncertainty at Scale

Summary of a Workshop on Software-Intensive Systems and Uncertainty at Scale
  • Author : National Research Council,Division on Engineering and Physical Sciences,Computer Science and Telecommunications Board,Committee on Advancing Software-Intensive Systems Producibility
  • Publisher : National Academies Press
  • Release Date : 2007-09-23
  • Total pages : 78
  • ISBN : 9780309108447
  • File Size : 16,7 Mb
  • Total Download : 231
  • DOWNLOAD BOOK

Download Summary of a Workshop on Software-Intensive Systems and Uncertainty at Scale in PDF, Epub, and Kindle

The growing scale and complexity of software-intensive systems are introducing fundamental new challenges of uncertainty and scale that are particularly demanding for defense systems. To assist in meeting these challenges, the Department of Defense asked the NRC to assess the nature of U.S. national investment in software research. As part of this study, a workshop was held to examine uncertainty at scale in current and future software-intensive systems. This report presents a summary of the workshop discussions that centered on process, architecture, and the grand scale; DoD software challenges for future systems; agility at scale; quality and assurance with scale and uncertainty; and enterprise scale and beyond. The report also offers a summary of key themes emerging from the workshop: architectural challenges in large-scale systems; the need for software engineering capability; and open questions and research opportunities.

Managing Requirements Knowledge

Managing Requirements Knowledge
  • Author : Walid Maalej,Anil Kumar Thurimella
  • Publisher : Springer Science & Business Media
  • Release Date : 2013-06-03
  • Total pages : 398
  • ISBN : 9783642344190
  • File Size : 33,9 Mb
  • Total Download : 320
  • DOWNLOAD BOOK

Download Managing Requirements Knowledge in PDF, Epub, and Kindle

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 make the work of the stakeholders extremely dynamic. New problems are discovered, additional information is needed, alternative solutions are proposed, several options are evaluated, and new hands-on experience is gained on a daily basis. The knowledge needed to define and implement requirements is immense, often interdisciplinary and constantly expanding. It typically includes engineering, management and collaboration information, as well as psychological aspects and best practices. This book discusses systematic means for managing requirements knowledge and its owners as valuable assets. It focuses on potentials and benefits of “lightweight,” modern knowledge technologies such as semantic Wikis, machine learning, and recommender systems applied to requirements engineering. The 17 chapters are authored by some of the most renowned researchers in the field, distilling the discussions held over the last five years at the MARK workshop series. They present novel ideas, emerging methodologies, frameworks, tools and key industrial experience in capturing, representing, sharing, and reusing knowledge in requirements engineering. While the book primarily addresses researchers and graduate students, practitioners will also benefit from the reports and approaches presented in this comprehensive work.

An Architecture-based Approach for Change Impact Analysis of Software-intensive Systems

An Architecture-based Approach for Change Impact Analysis of Software-intensive Systems
  • Author : Busch, Kiana
  • Publisher : KIT Scientific Publishing
  • Release Date : 2020-03-19
  • Total pages : 416
  • ISBN : 9783731509745
  • File Size : 52,7 Mb
  • Total Download : 986
  • DOWNLOAD BOOK

Download An Architecture-based Approach for Change Impact Analysis of Software-intensive Systems in PDF, Epub, and Kindle

PDF book entitled An Architecture-based Approach for Change Impact Analysis of Software-intensive Systems written by Busch, Kiana and published by KIT Scientific Publishing which was released on 2020-03-19 with total hardcover pages 416, the book become popular and critical acclaim.

Model Driven Engineering Languages and Systems

Model Driven Engineering Languages and Systems
  • Author : Jon Whittle,Tony Clark,Thomas Kühne
  • Publisher : Springer
  • Release Date : 2011-10-12
  • Total pages : 730
  • ISBN : 9783642244858
  • File Size : 28,9 Mb
  • Total Download : 670
  • DOWNLOAD BOOK

Download Model Driven Engineering Languages and Systems in PDF, Epub, and Kindle

This book constitutes the refereed proceedings of the 14th International Conference on Model Driven Engineering Languages and Systems, MODELS 2011, held in Wellington, New Zealand, in October 2011. The papers address a wide range of topics in research (foundations track) and practice (applications track). For the first time a new category of research papers, vision papers, are included presenting "outside the box" thinking. The foundations track received 167 full paper submissions, of which 34 were selected for presentation. Out of these, 3 papers were vision papers. The application track received 27 submissions, of which 13 papers were selected for presentation. The papers are organized in topical sections on model transformation, model complexity, aspect oriented modeling, analysis and comprehension of models, domain specific modeling, models for embedded systems, model synchronization, model based resource management, analysis of class diagrams, verification and validation, refactoring models, modeling visions, logics and modeling, development methods, and model integration and collaboration.

Composing Model-Based Analysis Tools

Composing Model-Based Analysis Tools
  • Author : Robert Heinrich,Francisco Durán,Carolyn L. Talcott,Steffen Zschaler
  • Publisher : Springer Nature
  • Release Date : 2021
  • Total pages : 311
  • ISBN : 9783030819156
  • File Size : 12,9 Mb
  • Total Download : 390
  • DOWNLOAD BOOK

Download Composing Model-Based Analysis Tools in PDF, Epub, and Kindle

This book presents joint works of members of the software engineering and formal methods communities with representatives from industry, with the goal of establishing the foundations for a common understanding of the needs for more flexibility in model-driven engineering. It is based on the Dagstuhl Seminar 19481 "Composing Model-based Analysis Tools", which was held November 24 to 29, 2019, at Schloss Dagstuhl, Germany, where current challenges, their background and concepts to address them were discussed. The book is structured in two parts, and organized around five fundamental core aspects of the subject: (1) the composition of languages, models and analyses; (2) the integration and orchestration of analysis tools; (3) the continual analysis of models; (4) the exploitation of results; and (5) the way to handle uncertainty in model-based developments. After a chapter on foundations and common terminology and a chapter on challenges in the field, one chapter is devoted to each of the above five core aspects in the first part of the book. These core chapters are accompanied by additional case studies in the second part of the book, in which specific tools and experiences are presented in more detail to illustrate the concepts and ideas previously introduced. The book mainly targets researchers in the fields of software engineering and formal methods as well as software engineers from industry with basic familiarity with quality properties, model-driven engineering and analysis tools. From reading the book, researchers will receive an overview of the state-of-the-art and current challenges, research directions, and recent concepts, while practitioners will be interested to learn about concrete tools and practical applications in the context of case studies

Software Architecture

Software Architecture
  • Author : Bedir Tekinerdogan,Uwe Zdun,Ali Babar
  • Publisher : Springer
  • Release Date : 2016-11-14
  • Total pages : 340
  • ISBN : 9783319489926
  • File Size : 32,8 Mb
  • Total Download : 991
  • DOWNLOAD BOOK

Download Software Architecture in PDF, Epub, and Kindle

This book constitutes the proceedings of the 10th European Conference on Software Architecture, ECSA 2016, held in Copenhagen, Denmark, in November/December 2016. The 13 full papers presented together with 12 short papers were carefully reviewed and selected from 84 submissions. They are organized in topical sections on full research and experience papers, short papers for addressing emerging research, and education and training papers.

Software-Intensive Systems and New Computing Paradigms

Software-Intensive Systems and New Computing Paradigms
  • Author : Martin Wirsing,Jean-Pierre Banatre,Matthias Hölzl,Axel Rauschmayer
  • Publisher : Springer
  • Release Date : 2008-11-14
  • Total pages : 267
  • ISBN : 9783540894377
  • File Size : 41,5 Mb
  • Total Download : 808
  • DOWNLOAD BOOK

Download Software-Intensive Systems and New Computing Paradigms in PDF, Epub, and Kindle

This volume presents results of three workshops of the InterLink working group, setup by the EU to look at software-intensive systems and novel computing paradigms. It covers ensemble engineering, theory and formal methods, and novel computing paradigms.

Software Quality Assurance

Software Quality Assurance
  • Author : Ivan Mistrik,Richard M Soley,Nour Ali,John Grundy,Bedir Tekinerdogan
  • Publisher : Morgan Kaufmann
  • Release Date : 2015-10-12
  • Total pages : 416
  • ISBN : 9780128025413
  • File Size : 14,8 Mb
  • Total Download : 360
  • DOWNLOAD BOOK

Download Software Quality Assurance in PDF, Epub, and Kindle

Software Quality Assurance in Large Scale and Complex Software-intensive Systems presents novel and high-quality research related approaches that relate the quality of software architecture to system requirements, system architecture and enterprise-architecture, or software testing. Modern software has become complex and adaptable due to the emergence of globalization and new software technologies, devices and networks. These changes challenge both traditional software quality assurance techniques and software engineers to ensure software quality when building today (and tomorrow’s) adaptive, context-sensitive, and highly diverse applications. This edited volume presents state of the art techniques, methodologies, tools, best practices and guidelines for software quality assurance and offers guidance for future software engineering research and practice. Each contributed chapter considers the practical application of the topic through case studies, experiments, empirical validation, or systematic comparisons with other approaches already in practice. Topics of interest include, but are not limited, to: quality attributes of system/software architectures; aligning enterprise, system, and software architecture from the point of view of total quality; design decisions and their influence on the quality of system/software architecture; methods and processes for evaluating architecture quality; quality assessment of legacy systems and third party applications; lessons learned and empirical validation of theories and frameworks on architectural quality; empirical validation and testing for assessing architecture quality. Focused on quality assurance at all levels of software design and development Covers domain-specific software quality assurance issues e.g. for cloud, mobile, security, context-sensitive, mash-up and autonomic systems Explains likely trade-offs from design decisions in the context of complex software system engineering and quality assurance Includes practical case studies of software quality assurance for complex, adaptive and context-critical systems

Real-Time Software Design for Embedded Systems

Real-Time Software Design for Embedded Systems
  • Author : Hassan Gomaa
  • Publisher : Cambridge University Press
  • Release Date : 2016-05-26
  • Total pages : 613
  • ISBN : 9781107041097
  • File Size : 28,6 Mb
  • Total Download : 444
  • DOWNLOAD BOOK

Download Real-Time Software Design for Embedded Systems in PDF, Epub, and Kindle

Organized as an introduction followed by several self-contained chapters, this tutorial takes the reader from use cases to complete architectures for real-time embedded systems using SysML, UML, and MARTE and shows how to apply the COMET/RTE design method to real-world problems. --

Managed Software Evolution

Managed Software Evolution
  • Author : Ralf Reussner,Michael Goedicke,Wilhelm Hasselbring,Birgit Vogel-Heuser,Jan Keim,Lukas Märtin
  • Publisher : Springer
  • Release Date : 2019-06-26
  • Total pages : 426
  • ISBN : 9783030134990
  • File Size : 30,8 Mb
  • Total Download : 691
  • DOWNLOAD BOOK

Download Managed Software Evolution in PDF, Epub, and Kindle

This open access book presents the outcomes of the “Design for Future – Managed Software Evolution” priority program 1593, which was launched by the German Research Foundation (“Deutsche Forschungsgemeinschaft (DFG)”) to develop new approaches to software engineering with a specific focus on long-lived software systems. The different lifecycles of software and hardware platforms lead to interoperability problems in such systems. Instead of separating the development, adaptation and evolution of software and its platforms, as well as aspects like operation, monitoring and maintenance, they should all be integrated into one overarching process. Accordingly, the book is split into three major parts, the first of which includes an introduction to the nature of software evolution, followed by an overview of the specific challenges and a general introduction to the case studies used in the project. The second part of the book consists of the main chapters on knowledge carrying software, and cover tacit knowledge in software evolution, continuous design decision support, model-based round-trip engineering for software product lines, performance analysis strategies, maintaining security in software evolution, learning from evolution for evolution, and formal verification of evolutionary changes. In turn, the last part of the book presents key findings and spin-offs. The individual chapters there describe various case studies, along with their benefits, deliverables and the respective lessons learned. An overview of future research topics rounds out the coverage. The book was mainly written for scientific researchers and advanced professionals with an academic background. They will benefit from its comprehensive treatment of various topics related to problems that are now gaining in importance, given the higher costs for maintenance and evolution in comparison to the initial development, and the fact that today, most software is not developed from scratch, but as part of a continuum of former and future releases.