An algebra of product families

P. Höfner,Ridha Khédri,B. Möller

Published 2011 in Journal of Software and Systems Modeling

ABSTRACT

No abstract is available for this paper.

PUBLICATION RECORD

Publication year
2011
Venue
Journal of Software and Systems Modeling
Publication date
2011-05-01
Fields of study
Mathematics, Computer Science
Identifiers
DOI 10.1007/s10270-009-0127-2
External record
Open on Semantic Scholar
Source metadata
Semantic Scholar

CITATION MAP

EXTRACTION MAP

CLAIMS

No claims are published for this paper.

CONCEPTS

No concepts are published for this paper.

REFERENCES

Algebraic View Reconciliation
2008cited by this paper
Formal Model Driven Approach to Deal with Requirements Volatility
2008cited by this paper
Can Refinement be Automated?
2008cited by this paper
Automated Reasoning in Kleene Algebra
2007cited by this paper
Feature Algebra
2006cited by this paper
Component-Oriented Programming
2006cited by this paper
Component-Oriented Programming
2005cited by this paper
Feature Models, Grammars, and Propositional Formulas
2005cited by this paper
Transitioning from product line requirements to product line architecture
2005cited by this paper
Modelling requirements variability across product lines
2005cited by this paper
Resolving Architectural Mismatches of COTS Through Architectural Reconciliation
2005cited by this paper
On adaptable middleware product lines
2004cited by this paper
Nonfunctional requirements: from elicitation to conceptual models
2004cited by this paper
Family-oriented requirements engineering
2004cited by this paper
Modal Kleene algebra and applications - a survey
2004cited by this paper
Details of formalized relations in feature models using OCL
2003cited by this paper
The Road to Utopia: A Future for Generative Programming
2003cited by this paper
Employing fuzzy logic in feature diagrams to model variability in software product-lines
2003influential reference
Synthesis of Behavioral Models from Scenarios
2003influential reference
Structuring product family requirements for n-dimensional and hierarchical product lines
2003cited by this paper
Experiences with software product family evolution
2003cited by this paper
View Consistency in Software Development
2002cited by this paper
Generating product-lines of product-families
2002cited by this paper
Using Architectural Properties to Model and Measure System-Wide Graceful Degradation
2002cited by this paper
Using Architectural Properties to Model and Measure Graceful Degradation
2002cited by this paper
On the Design and Development of Program Families
2001cited by this paper
Software Product Lines: Practices and Patterns
2001cited by this paper
Structuring Formal Control Systems Specifications for Reuse: Surviving Hardware Changes
2000cited by this paper
A Product Family Approach to Graceful Degradation
2000cited by this paper
Generative Programming: Methods, Tools, and Applications
2000cited by this paper
Software Product-Line Engineering: A Family-Based Software Development Process
1999cited by this paper
Integrating feature modeling with the RSEB
1998influential reference
Semirings: Algebraic Theory and Applications in Computer Science
1998cited by this paper
FORM: A feature-;oriented reuse method with domain-;specific reference architectures
1998cited by this paper
Integration of sequential scenarios
1997influential reference
Principles of Artificial Intelligence
1980cited by this paper

CITED BY

A Scalable Game-Theoretic Approach for Selecting Security Controls from Standardized Catalogues
2025influential citation
An X Language-Driven Framework for Systematic Development of Digital Twin Healthcare Systems
2025cites this paper
Mapping Requirements to Features to Create Traceability in Product Line Models
2024cites this paper
Hardening of network segmentation using automated referential penetration testing
2024cites this paper
Toward the Foundation of Digital Identity Theory
2024influential citation
A Tool For Feature-Requirement Traceability Using Requirement Canvas and Encapsulation
2024cites this paper
On the Expressive Power of Languages for Static Variability
2024cites this paper
A Game-Theoretic Approach for Security Control Selection
2024influential citation
Two formal design solutions for the generalization of network segmentation
2023cites this paper
Modeling Operational Profile for AI Systems: A Case Study on UAV Systems
2023influential citation
Template-based Formalization of Feature Models for Product Family
2022cites this paper
A Data Modeling Method for Machine Learning Systems
2022cites this paper
A Formal Approach to Network Segmentation
2021cites this paper
Configuration and Governance of Dynamic Secure SDN
2021cites this paper
Probabilistic software product lines
2019cites this paper
Integration of feature models: A systematic mapping study
2019cites this paper
Insulin Pump: Modular Modeling of Hybrid Systems Using Event-B
2018cites this paper
A Framework for Multi-view Reconciliation and for Medical Devices Personalization
2017cites this paper
Defense in Depth Formulation and Usage in Dynamic Access Control
2017influential citation
A mathematical model of performance-relevant feature interactions
2016cites this paper
On the Abstraction of a Categorical Clustering Algorithm
2016cites this paper
Cost-related interface for software product lines
2016cites this paper
Product line process theory
2016cites this paper
On the weaving process of aspect-oriented product family algebra
2016influential citation
Formal methods for secure software construction
2016cites this paper
BEHAVIOURAL FOUNDATIONS OF FEATURE MODELING
2016cites this paper
Spam campaign detection, analysis, and formalization
2016cites this paper
The Semantics of Feature Models via Formal Languages (Extended Version)
2015influential citation
Encoding and Decoding in Refinement Algebra
2015cites this paper
Modeling Product Lines with Kripke Structures and Modal Logic
2015cites this paper
Quantitative Assessment of Nonfunctional Requirements in Product Families
2014cites this paper
A Review of Recent Literature in Product Family Design and Platform-Based Product Development
2014cites this paper
An elementary theory of product-line variations
2014cites this paper
Attribute-based variability in feature models
2014cites this paper
ASPECT-ORIENTED PRODUCT FAMILY MODELING
2013cites this paper
Feature constraint propagation along configuration links for advanced feature models
2013cites this paper
Proofs of the convergence of the rewriting system for the weaving of aspects in the AO-PFA language by Qinglei Zhang
2013cites this paper
An aspect-oriented language for feature-modeling
2013influential citation
A formal framework for software product lines
2013cites this paper
Modeling Product Lines with Kripke Structures and Modal Logic
2013cites this paper
A Feature Modelling Language Based on Product Family Algebra
2013cites this paper
Software product lines using FODA: a formal approach
2012influential citation
A Formal Approach to Software Product Families
2012cites this paper
Matching of service feature diagrams based on linear logic
2012cites this paper
An Aspect-Oriented Language for Product Family Specification
2012cites this paper
Verification of Aspectual Composition in Feature-Modeling
2012influential citation
Software Engineering and Formal Methods
2012influential citation
Formal Product Families for Abstract Machines
2011influential citation
An Aspect-Oriented Language Based on Product Family Algebra: Aspects Specification and Verification
2011influential citation
Supplementing Product Families with Behaviour
2011influential citation
Managing, multiple feature models : foundations, languages and applications
2011cites this paper
Reconciliation of feature models via pullbacks
2011cites this paper
An algebraic foundation for automatic feature-based program synthesis
2010cites this paper
Jory: A Tool for Feature Modelling Based on Product Families Algebra and BDDs
2010cites this paper
Towards a Theory of Views for Feature Models
2010cites this paper
A Tool for Formal Feature Modeling Based on BDDs and Product Families Algebra
2010influential citation