Mastering Software Variability With Featureide

Author : Jens Meinicke,Thomas Thüm,Reimar Schröter,Fabian Benduhn,Thomas Leich,Gunter Saake
Publisher : Springer
Page : 243 pages
File Size : 55,5 Mb
Release : 2017-10-03
Category : Computers
ISBN : 9783319614434

Get Book

Mastering Software Variability with FeatureIDE by Jens Meinicke,Thomas Thüm,Reimar Schröter,Fabian Benduhn,Thomas Leich,Gunter Saake Pdf

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.

Author : Gilles Perrouin,Naouel Moha,Abdelhak-Djamel Seriai
Publisher : Springer Nature
Page : 152 pages
File Size : 52,6 Mb
Release : 2022-06-13
Category : Computers
ISBN : 9783031081293

Get Book

Reuse and Software Quality by Gilles Perrouin,Naouel Moha,Abdelhak-Djamel Seriai Pdf

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.

Author : Peter Müller,Ina Schaefer
Publisher : Springer
Page : 323 pages
File Size : 54,8 Mb
Release : 2018-10-23
Category : Computers
ISBN : 9783319980478

Get Book

Principled Software Development by Peter Müller,Ina Schaefer Pdf

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.

Author : Ananieva, Sofia
Publisher : KIT Scientific Publishing
Page : 310 pages
File Size : 53,9 Mb
Release : 2022-12-06
Category : Computers
ISBN : 9783731512417

Get Book

Consistent View-Based Management of Variability in Space and Time by Ananieva, Sofia Pdf

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.

Author : Ajay Kumar Jena,Himansu Das,Durga Prasad Mohapatra
Publisher : Springer Nature
Page : 173 pages
File Size : 55,5 Mb
Release : 2020-02-03
Category : Technology & Engineering
ISBN : 9789811524554

Get Book

Automated Software Testing by Ajay Kumar Jena,Himansu Das,Durga Prasad Mohapatra Pdf

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.

Author : Edson OliveiraJr
Publisher : Springer Nature
Page : 517 pages
File Size : 48,8 Mb
Release : 2023-03-10
Category : Computers
ISBN : 9783031185564

Get Book

UML-Based Software Product Line Engineering with SMarty by Edson OliveiraJr Pdf

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.

Author : Peter Csaba Ölveczky,Gwen Salaün
Publisher : Springer Nature
Page : 550 pages
File Size : 50,6 Mb
Release : 2019-09-09
Category : Computers
ISBN : 9783030304461

Get Book

Software Engineering and Formal Methods by Peter Csaba Ölveczky,Gwen Salaün Pdf

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.

Author : Fevzi Belli,Ferdinand Quella
Publisher : Springer Nature
Page : 386 pages
File Size : 55,9 Mb
Release : 2021-06-11
Category : Political Science
ISBN : 9783030722616

Get Book

A Holistic View of Software and Hardware Reuse by Fevzi Belli,Ferdinand Quella Pdf

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.

Author : Anonim
Publisher : Springer Nature
Page : 129 pages
File Size : 55,7 Mb
Release : 2024-06-30
Category : Electronic
ISBN : 9783031618741

Get Book

by Anonim Pdf

Author : Ralf Reussner,Michael Goedicke,Wilhelm Hasselbring,Birgit Vogel-Heuser,Jan Keim,Lukas Märtin
Publisher : Springer
Page : 426 pages
File Size : 51,8 Mb
Release : 2019-06-26
Category : Computers
ISBN : 9783030134990

Get Book

Managed Software Evolution by Ralf Reussner,Michael Goedicke,Wilhelm Hasselbring,Birgit Vogel-Heuser,Jan Keim,Lukas Märtin Pdf

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.

Author : Andreas Zelend
Publisher : BoD – Books on Demand
Page : 214 pages
File Size : 49,7 Mb
Release : 2020-04-07
Category : Computers
ISBN : 9783743101050

Get Book

Algebras for Feature-Oriented Software Development by Andreas Zelend Pdf

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.

Author : Maciej Koutny,Fabrice Kordon,Lucia Pomello
Publisher : Springer Nature
Page : 200 pages
File Size : 40,7 Mb
Release : 2021-02-24
Category : Computers
ISBN : 9783662630792

Get Book

Transactions on Petri Nets and Other Models of Concurrency XV by Maciej Koutny,Fabrice Kordon,Lucia Pomello Pdf

The 15th volume of ToPNoC contains revised and extended versions of a selection of the best workshop and tutorial papers presented at the 40th International Conference on Application and Theory of Petri Nets and Concurrency, Petri Nets 2019, and the 19th International Conference on Application of Concurrency to System Design, ACSD 2019. The papers cover a diverse range of topics including model checking and system verification, refinement and synthesis; foundational work on specific classes of Petri nets; and innovative applications of Petri nets and other models of concurrency. Application areas covered in this volume are: process mining, verification, formal semantics, communication protocols, business processes, distributed systems, and net synthesis. Thus, this volume gives a good overview of ongoing research on concurrent systems and Petri nets.

Author : Andrzej Wąsowski,Thorsten Berger
Publisher : Springer Nature
Page : 494 pages
File Size : 53,7 Mb
Release : 2023-03-05
Category : Computers
ISBN : 9783031236693

Get Book

Domain-Specific Languages by Andrzej Wąsowski,Thorsten Berger Pdf

This textbook describes the theory and the pragmatics of using and engineering high-level software languages – also known as modeling or domain-specific languages (DSLs) – for creating quality software. This includes methods, design patterns, guidelines, and testing practices for defining the syntax and the semantics of languages. While remaining close to technology, the book covers multiple paradigms and solutions, avoiding a particular technological silo. It unifies the modeling, the object-oriented, and the functional-programming perspectives on DSLs. The book has 13 chapters. Chapters 1 and 2 introduce and motivate DSLs. Chapter 3 kicks off the DSL engineering lifecycle, describing how to systematically develop abstract syntax by analyzing a domain. Chapter 4 addresses the concrete syntax, including the systematic engineering of context-free grammars. Chapters 5 and 6 cover the static semantics – with basic constraints as a starting point and type systems for advanced DSLs. Chapters 7 (Transformation), 8 (Interpretation), and 9 (Generation) describe different paradigms for designing and implementing the dynamic semantics, while covering testing and other kinds of quality assurance. Chapter 10 is devoted to internal DSLs. Chapters 11 to 13 show the application of DSLs and engage with simpler alternatives to DSLs in a highly distinguished domain: software variability. These chapters introduce the underlying notions of software product lines and feature modeling. The book has been developed based on courses on model-driven software engineering (MDSE) and DSLs held by the authors. It aims at senior undergraduate and junior graduate students in computer science or software engineering. Since it includes examples and lessons from industrial and open-source projects, as well as from industrial research, practitioners will also find it a useful reference. The numerous examples include code in Scala 3, ATL, Alloy, C#, F#, Groovy, Java, JavaScript, Kotlin, OCL, Python, QVT, Ruby, and Xtend. The book contains as many as 277 exercises. The associated code repository facilitates learning and using the examples in a course.

Author : Bernd Fischer,Tarmo Uustalu
Publisher : Springer
Page : 533 pages
File Size : 55,7 Mb
Release : 2018-10-13
Category : Computers
ISBN : 9783030025083

Get Book

Theoretical Aspects of Computing – ICTAC 2018 by Bernd Fischer,Tarmo Uustalu Pdf

This book constitutes the refereed proceedings of the 15th International Colloquium on Theoretical Aspects of Computing, ICTAC 2018, held in Stellenbosch, South Africa, in October 2018. The 25 revised full papers presented together with two short and two long invited talks were carefully reviewed and selected from 59 submissions. The ICTAC conference aims at bringing together researchers and practitioners from academia, industry and government to present research and exchange ideas and experience addressing challenges in both theoretical aspects of computing and the exploitation of theory through methods and tools for system development. ICTAC also specifically aims to promote research cooperation between developing and industrial countries.

Author : Sven Apel,Don Batory,Christian Kästner,Gunter Saake
Publisher : Springer Science & Business Media
Page : 320 pages
File Size : 47,8 Mb
Release : 2013-10-04
Category : Computers
ISBN : 9783642375217

Get Book

Feature-Oriented Software Product Lines by Sven Apel,Don Batory,Christian Kästner,Gunter Saake Pdf

While standardization has empowered the software industry to substantially scale software development and to provide affordable software to a broad market, it often does not address smaller market segments, nor the needs and wishes of individual customers. Software product lines reconcile mass production and standardization with mass customization in software engineering. Ideally, based on a set of reusable parts, a software manufacturer can generate a software product based on the requirements of its customer. The concept of features is central to achieving this level of automation, because features bridge the gap between the requirements the customer has and the functionality a product provides. Thus features are a central concept in all phases of product-line development. The authors take a developer’s viewpoint, focus on the development, maintenance, and implementation of product-line variability, and especially concentrate on automated product derivation based on a user’s feature selection. The book consists of three parts. Part I provides a general introduction to feature-oriented software product lines, describing the product-line approach and introducing the product-line development process with its two elements of domain and application engineering. The pivotal part II covers a wide variety of implementation techniques including design patterns, frameworks, components, feature-oriented programming, and aspect-oriented programming, as well as tool-based approaches including preprocessors, build systems, version-control systems, and virtual separation of concerns. Finally, part III is devoted to advanced topics related to feature-oriented product lines like refactoring, feature interaction, and analysis tools specific to product lines. In addition, an appendix lists various helpful tools for software product-line development, along with a description of how they relate to the topics covered in this book. To tie the book together, the authors use two running examples that are well documented in the product-line literature: data management for embedded systems, and variations of graph data structures. They start every chapter by explicitly stating the respective learning goals and finish it with a set of exercises; additional teaching material is also available online. All these features make the book ideally suited for teaching – both for academic classes and for professionals interested in self-study.