A5092696962- Advanced Software Engineering Methodologies
- Software Engineering Research
- Model-Driven Software Engineering Techniques
- Software System Performance and Reliability
Universität Ulm
2023-2024
Variability permeates software development to satisfy ever-changing requirements and mass-customization needs. A prime example is the Linux kernel, which employs C preprocessor specify a set of related but distinct kernel variants. To study, analyze, verify variational software, several formal languages have been proposed. For example, choice calculus has successfully applied for type checking symbolic execution configurable while other formalisms used model checking, change impact analysis,...
Software systems are subject to frequent changes, for example fix bugs or meet new customer requirements. In variational software systems, developers confronted with the complexity of evolution and configurability on a daily basis; essentially handling changes many distinct variants simultaneously. To reduce developers, filtered projectional editing was introduced: By providing partial complete configuration, can interact simpler view system that shows only artifacts belonging configuration....