On the public citation graph
Software Product Lines with Design Choices: Reasoning about Variability and Design Uncertainty
0 signed · 59 inferred · view as graph
Inferred edges come from two machine sources: sweeps of open repository metadata (mostly SSRN and Zenodo), and a bulk OpenAlex citation snapshot. Every row below is labelled with the one it came from. Neither is a complete citation index — absence here is not evidence of absence.
Is this your work? Sign in with ORCID and put your name on the
claims that are yours.
Reference health. See whether every reference in this work resolves to a
known work and none has been retracted — and get a dated CiteStamped
badge you can embed.
What this work says
Outgoing claims: the papers this work cites, builds on, or argues with.
inferredcites →https://doi.org/10.1007/11561347_28openalex-snapshot
Mapping Features to Models: A Template Approach Based on Superimposed Variants
inferredcites →https://doi.org/10.1007/11763864_45openalex-snapshot
Designing Software Product Lines with UML 2.0: From Use Cases to Pattern-Based Software Architectures
inferredcites →https://doi.org/10.1007/3-540-28901-1openalex-snapshot
Software Product Line Engineering : Foundations, Principles, and Techniques
inferredcites →https://doi.org/10.1007/3-540-47833-7_3openalex-snapshot
Variability Issues in Software Product Lines
inferredcites →https://doi.org/10.1007/978-3-319-11245-9_3openalex-snapshot
Towards User-Friendly Projectional Editors
inferredcites →https://doi.org/10.1007/978-3-540-28630-1_17openalex-snapshot
Staged Configuration Using Feature Models
inferredcites →https://doi.org/10.1007/978-3-540-45212-6_19openalex-snapshot
Constraint-Based Design-Space Exploration and Model Synthesis
inferredcites →https://doi.org/10.1007/978-3-642-28872-2_16openalex-snapshot
Language Independent Refinement Using Partial Modeling
inferredcites →https://doi.org/10.1007/978-3-642-35813-5_9openalex-snapshot
Uncertainty in Self-Adaptive Software Systems
inferredcites →https://doi.org/10.1007/978-3-642-35992-7_11openalex-snapshot
Language and IDE Modularization and Composition with MPS
inferredcites →https://doi.org/10.1007/978-3-642-37057-1_7openalex-snapshot
Quality of Merge-Refactorings for Product Lines
inferredcites →https://doi.org/10.1007/978-3-642-41533-3_41openalex-snapshot
Transformation of Models Containing Uncertainty
inferredcites →https://doi.org/10.1007/s10270-017-0594-9openalex-snapshot
Managing design-time uncertainty
inferredcites →https://doi.org/10.1007/s11219-011-9152-9openalex-snapshot
SPL Conqueror: Toward optimization of non-functional properties in software product lines
inferredcites →https://doi.org/10.1016/j.is.2010.01.001openalex-snapshot
Automated analysis of feature models 20 years later: A literature review
inferredcites →https://doi.org/10.1016/j.scico.2012.06.002openalex-snapshot
FeatureIDE: An extensible framework for feature-oriented software development
inferredcites →https://doi.org/10.1109/ase.2008.20openalex-snapshot
Generating and Evaluating Choices for Fixing Inconsistencies in UML Design Models
inferredcites →https://doi.org/10.1109/icse.2012.6227159openalex-snapshot
Partial models: Towards modeling and reasoning with uncertainty
inferredcites →https://doi.org/10.1109/icse.2013.6606550openalex-snapshot
GuideArch: Guiding the exploration of architectural solution space under uncertainty
inferredcites →https://doi.org/10.1109/icse.2015.226openalex-snapshot
MU-MMINT: An IDE for Model Uncertainty
inferredcites →https://doi.org/10.1109/icse.2015.40openalex-snapshot
Symbolic Model Checking of Product-Line Requirements Using SAT-Based Methods
inferredcites →https://doi.org/10.1109/icse.2017.58openalex-snapshot
PEoPL: Projectional Editing of Product Lines
inferredcites →https://doi.org/10.1109/models.2017.24openalex-snapshot
Managing Design-Time Uncertainty
inferredcites →https://doi.org/10.1109/re.2007.29openalex-snapshot
Industry Survey of Product Lines Management Tools: Requirements, Qualities and Open Issues
inferredcites →https://doi.org/10.1109/seams.2012.6224396openalex-snapshot
A taxonomy of uncertainty for dynamically adaptive systems
inferredcites →https://doi.org/10.1109/tse.2009.67openalex-snapshot
The “Physics” of Notations: Toward a Scientific Basis for Constructing Visual Notations in Software Engineering
inferredcites →https://doi.org/10.1109/wicsa.2001.948406openalex-snapshot
On the notion of variability in software product lines
inferredcites →https://doi.org/10.1109/wift.1998.766303openalex-snapshot
Implementing statecharts in PROMELA/SPIN
inferredcites →https://doi.org/10.1145/1173706.1173738openalex-snapshot
Verifying feature-based model templates against well-formedness OCL constraints
inferredcites →https://doi.org/10.1145/2427376.2427383openalex-snapshot
Implementing modular domain specific languages and analyses
inferredcites →https://doi.org/10.1145/2499777.2499779openalex-snapshot
Clafer tools for product line engineering
inferredcites →https://doi.org/10.1145/2556624.2556634openalex-snapshot
On the interdependence and integration of variability and architectural decisions
inferredcites →https://doi.org/10.1145/2568225.2568267openalex-snapshot
Lifting model transformations to product lines
inferredcites →https://doi.org/10.1145/2580950openalex-snapshot
A Classification and Survey of Analysis Strategies for Software Product Lines
inferredcites →https://doi.org/10.1145/2593882.2593888openalex-snapshot
Software product line engineering and variability management: achievements and challenges
inferredcites →https://doi.org/10.1145/3023956.3023968openalex-snapshot
Decision spaces in product lines, decision analysis, and design exploration
inferredcites →https://doi.org/10.3233/sat190004openalex-snapshot
Extending Existential Quantification in Conjunctions of BDDs
inferredcites →https://doi.org/10.5555/2337223.2337290openalex-snapshot
Partial models: towards modeling and reasoning with uncertainty
inferredcites →https://doi.org/10.5555/2486788.2486795openalex-snapshot
GuideArch: guiding the exploration of architectural solution space under uncertainty
inferredcites →https://doi.org/10.5555/2818754.2818780openalex-snapshot
Symbolic model checking of product-line requirements using SAT-based methods
inferredcites →https://doi.org/10.5860/choice.44-2746openalex-snapshot
Software abstractions: logic, language and analysis
What points at this work
Incoming claims: where this work appears in other papers’ reference lists and arguments.
inferred← citeshttps://doi.org/10.1007/s10270-017-0594-9openalex-snapshot
Managing design-time uncertainty
inferred← citeshttps://doi.org/10.1007/s10270-019-00741-0openalex-snapshot
Incorporating measurement uncertainty into OCL/UML primitive datatypes
inferred← citeshttps://doi.org/10.1007/s10270-020-00842-1openalex-snapshot
Uncertainty representation in software models: a survey
inferred← citeshttps://doi.org/10.1016/j.jss.2024.112235openalex-snapshot
Leveraging belief uncertainty for informed decision making in software product line evolution
inferred← citeshttps://doi.org/10.1109/aiccsa63423.2024.10912585openalex-snapshot
Evaluation of Uncertain-Based IoT Composition Reference Model
inferred← citeshttps://doi.org/10.1109/models-c.2019.00077openalex-snapshot
Towards Reasoning About Product Lines with Design Choices
inferred← citeshttps://doi.org/10.1109/models-c53483.2021.00044openalex-snapshot
Towards Facilitating the Exploration of Informal Concepts in Formal Modeling Tools
inferred← citeshttps://doi.org/10.1109/models.2017.24openalex-snapshot
Managing Design-Time Uncertainty
inferred← citeshttps://doi.org/10.1109/qrs.2019.00045openalex-snapshot
When and Why Do Software Developers Face Uncertainty?
inferred← citeshttps://doi.org/10.1109/re48521.2020.00030openalex-snapshot
Continual Human Value Analysis in Software Development: A Goal Model Based Approach
inferred← citeshttps://doi.org/10.1109/re59067.2024.00032openalex-snapshot
Global Decision Making Support for Complex System Development
inferred← citeshttps://doi.org/10.1145/3579027.3608975openalex-snapshot
Development and Evolution of Software Product Lines Driven by Stakeholder Beliefs
inferred← citeshttps://doi.org/10.20381/ruor-24425openalex-snapshot
Union Models: Support of Variability Modeling and Efficient Reasoning About Model Families Over Space and Time
inferred← citeshttps://doi.org/10.3390/a16020105openalex-snapshot
Union Models for Model Families: Efficient Reasoning over Space and Time
inferred← citeshttps://doi.org/10.4236/jsea.2019.127018openalex-snapshot
Investigation of Tools, Techniques and Languages for Model Driven Software Product Lines (SPL): A Systematic Literature Review
inferred← citeshttps://doi.org/10.48550/arxiv.2008.11427openalex-snapshot
Generic Analysis of Model Product Lines via Constraint Lifting
Editorial review for independent work. ICSAC — the Institute for Complexity
Science and Advanced Computing — runs a structured editorial panel for researchers
publishing outside journals, and publishes on CiteStamp rails. Submission is free
and goes through ORCID: icsacinstitute.org/submit.