Mastering Software Variability With Featureide
DOWNLOAD
Download Mastering Software Variability With Featureide PDF/ePub or read online books in Mobi eBooks. Click Download or Read Online button to get Mastering Software Variability With Featureide book now. This website allows unlimited access to, at the time of writing, more than 1.5 million titles, including hundreds of thousands of titles in various foreign languages. If the content not found or just blank you must refresh this page
Mastering Software Variability With Featureide
DOWNLOAD
Author : Jens Meinicke
language : en
Publisher: Springer
Release Date : 2017-10-03
Mastering Software Variability With Featureide written by Jens Meinicke and has been published by Springer this book supported file pdf, txt, epub, kindle and other format this book has been release on 2017-10-03 with Computers categories.
This book is a self-contained, practical introduction how to use FeatureIDE for modeling and implementing variable systems. In particular, readers learn how to analyze domains using feature models, specify requirements in form of configurations, and how to generate code based on conditional compilation and feature-oriented programming. Given the interactive style of the book, readers can directly try out the open-source development environment. All code examples are available in the standard distribution on GitHub and can immediately been used for individual modifications. Each part of the book is presented as a step-by-step tutorial and additionally illustrated using an ongoing example of elevator control software written in Java. Written by the core development team of FeatureIDE, this book is suitable for students using a tool for deepening the theoretical foundations of variability modeling and implementation, and as a reference for practitioners needing a stable and scalable tool for industrial applications. FeatureIDE is the most used open-source tool for feature modeling and has been continuously improved since 2004. The success of FeatureIDE is due to being a vehicle for cutting-edge product-line research by still providing an easy-to-use and seamless integration into Eclipse.
Reuse And Software Quality
DOWNLOAD
Author : Gilles Perrouin
language : en
Publisher: Springer Nature
Release Date : 2022-06-13
Reuse And Software Quality written by Gilles Perrouin and has been published by Springer Nature this book supported file pdf, txt, epub, kindle and other format this book has been release on 2022-06-13 with Computers categories.
This book constitutes the proceedings of the 20th International Conference on Software and Systems Reuse, ICSR 2022, held in Montpellier, France in June 2022. The 7 full papers and 2 short papers included in this book were carefully reviewed and selected from 29 submissions. The papers were organized in topical sections named: Code Recommendations and Ruse; Learning and Reuse; Evolution and Reuse; Quality, Longevity and Reuse.
Principled Software Development
DOWNLOAD
Author : Peter Müller
language : en
Publisher: Springer
Release Date : 2018-10-23
Principled Software Development written by Peter Müller and has been published by Springer this book supported file pdf, txt, epub, kindle and other format this book has been release on 2018-10-23 with Computers categories.
This book presents a collection of research papers that address the challenge of how to develop software in a principled way that, in particular, enables reasoning. The individual papers approach this challenge from various perspectives including programming languages, program verification, and the systematic variation of software. Topics covered include programming abstractions for concurrent and distributed software, specification and verification techniques for imperative programs, and development techniques for software product lines. With this book the editors and authors wish to acknowledge – on the occasion of his 60th birthday – the work of Arnd Poetzsch-Heffter, who has made major contributions to software technology throughout his career. It features articles on Arnd’s broad research interests including, among others, the implementation of programming languages, formal semantics, specification and verification of object-oriented and concurrent programs, programming language design, distributed systems, software modeling, and software product lines. All contributing authors are leading experts in programming languages and software engineering who have collaborated with Arnd in the course of his career. Overall, the book offers a collection of high-quality articles, presenting original research results, major case studies, and inspiring visions. Some of the work included here was presented at a symposium in honor of Arnd Poetzsch-Heffter, held in Kaiserslautern, Germany, in November 2018.
Consistent View Based Management Of Variability In Space And Time
DOWNLOAD
Author : Ananieva, Sofia
language : en
Publisher: KIT Scientific Publishing
Release Date : 2022-12-06
Consistent View Based Management Of Variability In Space And Time written by Ananieva, Sofia and has been published by KIT Scientific Publishing this book supported file pdf, txt, epub, kindle and other format this book has been release on 2022-12-06 with Computers categories.
Developing variable systems faces many challenges. Dependencies between interrelated artifacts within a product variant, such as code or diagrams, across product variants and across their revisions quickly lead to inconsistencies during evolution. This work provides a unification of common concepts and operations for variability management, identifies variability-related inconsistencies and presents an approach for view-based consistency preservation of variable systems.
Automated Software Testing
DOWNLOAD
Author : Ajay Kumar Jena
language : en
Publisher: Springer Nature
Release Date : 2020-02-03
Automated Software Testing written by Ajay Kumar Jena and has been published by Springer Nature this book supported file pdf, txt, epub, kindle and other format this book has been release on 2020-02-03 with Technology & Engineering categories.
This book covers both theory and applications in the automation of software testing tools and techniques for various types of software (e.g. object-oriented, aspect-oriented, and web-based software). When software fails, it is most often due to lack of proper and thorough testing, an aspect that is even more acute for object-oriented, aspect-oriented, and web-based software. Further, since it is more difficult to test distributed and service-oriented architecture-based applications, there is a pressing need to discuss the latest developments in automated software testing. This book discusses the most relevant issues, models, tools, challenges, and applications in automated software testing. Further, it brings together academic researchers, scientists, and engineers from a wide range of industrial application areas, who present their latest findings and identify future challenges in this fledging research area.
Uml Based Software Product Line Engineering With Smarty
DOWNLOAD
Author : Edson OliveiraJr
language : en
Publisher: Springer Nature
Release Date : 2023-03-10
Uml Based Software Product Line Engineering With Smarty written by Edson OliveiraJr and has been published by Springer Nature this book supported file pdf, txt, epub, kindle and other format this book has been release on 2023-03-10 with Computers categories.
This book is about software product lines (SPLs) designed and developed taking UML diagrams as the primary basis, modeled according to a rigorous approach composed of an UML profile and a systematic process for variability management activities, forming the Stereotype-based Management of Variability (SMarty) approach. The book consists of five parts. Part I provides essential concepts on SPL in terms of the first development methodologies. It also introduces variability concepts and discusses SPL architectures finishing with the SMarty approach. Part II is focused on the design, verification and validation of SMarty SPLs, and Part III concentrates on the SPL architecture evolution based on ISO/IEC metrics, the SystEM-PLA method, optimization with the MOA4PLA method, and feature interaction prevention. Next, Part IV presents SMarty as a basis for SPL development, such as, the M-SPLearning SPL for mobile learning applications, the PLeTs SPL for testing tools, the PlugSPL plugin environment for supporting the SPL life cycle, the SyMPLES approach for designing embedded systems with SysML, the SMartySPEM approach for software process lines (SPrL), and re-engineering of class diagrams into an SPL. Eventually, Part V promotes controlled experimentation in UML-based SPLs, presenting essential concepts on how to plan, conduct, and document experiments, as well as showing several experiments carried out with SMarty. This book aims at lecturers, graduate students and experienced practitioners. Lecturers might use the book for graduate level courses about SPL fundamentals and tools; students will learn about the SPL engineering process, variability management, and mass customization; and practitioners will see how to plan the transition from single-product development to an SPL-based process, how to document inherent variability in a given domain, or how to apply controlled experiments to SPLs.
Software Engineering And Formal Methods
DOWNLOAD
Author : Peter Csaba Ölveczky
language : en
Publisher: Springer Nature
Release Date : 2019-09-09
Software Engineering And Formal Methods written by Peter Csaba Ölveczky and has been published by Springer Nature this book supported file pdf, txt, epub, kindle and other format this book has been release on 2019-09-09 with Computers categories.
This book constitutes the refereed proceedings of the 17th International Conference on Software Engineering and Formal Methods, SEFM 2019, held in Oslo, Norway, in September 2019. The 27 full papers presented were carefully reviewed and selected from 89 submissions. The papers cover a large variety of topics, including testing, formal verification, program analysis, runtime verification, malware and attack detection,and software development and evolution and address a wide range of systems, such as cyber-physical systems, UAVs, autonomous robots, and feature-oriented and operating systems. They are organized in the following topical sections: cooperative asynchronous systems; cyber-physical systems; feature-oriented and versioned systems; model-based testing; model inference; ontologies and machine learning; operating systems; program analysis; relating models and implementations; runtime verification; security; and verification.
A Holistic View Of Software And Hardware Reuse
DOWNLOAD
Author : Fevzi Belli
language : en
Publisher: Springer Nature
Release Date : 2021-06-11
A Holistic View Of Software And Hardware Reuse written by Fevzi Belli and has been published by Springer Nature this book supported file pdf, txt, epub, kindle and other format this book has been release on 2021-06-11 with Political Science categories.
This book focuses on software reuse and the chances, dependability tests and recommendations for best reuse practice. A short introduction of the Ecodesign of hardware is given combined with the latest update of relevant EU legislation and standardization. It also describes the combination of different states of software in a E&E system in order to guarantee dependability of the product to be resold.
Managed Software Evolution
DOWNLOAD
Author : Ralf Reussner
language : en
Publisher: Springer
Release Date : 2019-06-26
Managed Software Evolution written by Ralf Reussner and has been published by Springer this book supported file pdf, txt, epub, kindle and other format this book has been release on 2019-06-26 with Computers categories.
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.
Algebras For Feature Oriented Software Development
DOWNLOAD
Author : Andreas Zelend
language : en
Publisher: BoD – Books on Demand
Release Date : 2020-04-07
Algebras For Feature Oriented Software Development written by Andreas Zelend and has been published by BoD – Books on Demand this book supported file pdf, txt, epub, kindle and other format this book has been release on 2020-04-07 with Computers categories.
This book systematically presents the underlying mathematical structures and foundations of feature orientation in the fields of software development. New algebras are proposed and thorough investigations and discussions of their algebraic laws as well as insights on their practical applications are provided. Feature-oriented programming and feature-oriented software development have been established in computer science as a general programming paradigm that provides formalisms, methods, languages, and tools for building maintainable, customizable, and extensible software. Feature orientation has widespread applications, ranging from network protocols and data structures to software product lines.