Browsing Mathematics (Faculty of) by Supervisor "Atlee, Joanne"
Now showing items 1-5 of 5
-
Detecting Feature-Interaction Hotspots in Automotive Software using Relational Algebra
(University of Waterloo, 2018-05-14)Modern software projects are programmed by multiple teams, consist of millions of lines of code, and are split into separate components that, during runtime, may not be contained in the same process. Due to these complexities, ... -
mel - Model Extraction Language and Interpreter
(University of Waterloo, 2021-04-27)There is a large body of research on extracting models from code-related artifacts to enable model-based analyses of large software systems. However, engineers do not always have access to the entire code base of a system: ... -
Quantitative Analyses of Software Product Lines
(University of Waterloo, 2022-01-18)A software product-line (SPL) is a family of related software systems that are jointly developed and reuse a set of shared assets. Each individual software system in an SPL is called a software product and includes a set ... -
Refining, Implementing, and Evaluating the Extended Continuous Variable-Specific Resolutions of Feature Interactions
(University of Waterloo, 2016-08-19)Systems that involve feature-oriented software development suffer from feature interactions, in which features affect one another’s behaviour in surprising ways. As the number of features increases, the complexity of ... -
Variability-aware Neo4j for Analyzing a Graphical Model of a Software Product Line
(University of Waterloo, 2023-08-21)A Software product line (SPLs) eases the development of families of related products by managing and integrating a collection of mandatory and optional features (units of functionality). Individual products can be derived ...