Software reuse: architecture, process and organization for business success
Software reuse: architecture, process and organization for business success
Reusing single system requirements from application family requirements
Proceedings of the 21st international conference on Software engineering
Commonality and Variability in Software Engineering
IEEE Software
Representing Requirements on Generic Software in an Application Family Model
ICSR-6 Proceedings of the 6th International Conerence on Software Reuse: Advances in Software Reusability
Integrating Feature Modeling with the RSEB
ICSR '98 Proceedings of the 5th International Conference on Software Reuse
Rigorous engineering of product-line requirements: A case study in failure management
Information and Software Technology
Automated error analysis for the agilization of feature modeling
Journal of Systems and Software
Towards Consistent Specifications of Product Families
FM '08 Proceedings of the 15th international symposium on Formal Methods
A BDD-Based Approach to Verifying Clone-Enabled Feature Models' Constraints and Customization
ICSR '08 Proceedings of the 10th international conference on Software Reuse: High Confidence Software Reuse in Large Systems
Utilizing domain models for application design and validation
Information and Software Technology
Reasoning about edits to feature models
ICSE '09 Proceedings of the 31st International Conference on Software Engineering
Software Engineering for Self-Adaptive Systems
ICSR '09 Proceedings of the 11th International Conference on Software Reuse: Formal Foundations of Reuse and Domain Engineering
Selecting highly optimal architectural feature sets with Filtered Cartesian Flattening
Journal of Systems and Software
Automated reasoning for multi-step feature model configuration problems
Proceedings of the 13th International Software Product Line Conference
Relating requirements and feature configurations: a systematic approach
Proceedings of the 13th International Software Product Line Conference
Formal modelling of feature configuration workflows
Proceedings of the 13th International Software Product Line Conference
Semi-automated diagnosis of FODA feature diagram
Proceedings of the 2010 ACM Symposium on Applied Computing
Generic feature-based software composition
SC'07 Proceedings of the 6th international conference on Software composition
Configuration modeling based software product development
APPT'07 Proceedings of the 7th international conference on Advanced parallel processing technologies
Automated analysis of feature models 20 years later: A literature review
Information Systems
Formal approach to integrating feature and architecture models
FASE'08/ETAPS'08 Proceedings of the Theory and practice of software, 11th international conference on Fundamental approaches to software engineering
Automated diagnosis of feature model configurations
Journal of Systems and Software
SPLGraph: towards a graph-based formalism for software product lines
Proceedings of the 2010 ICSE Workshop on Product Line Approaches in Software Engineering
Non-clausal encoding of feature diagram for automated diagnosis
SPLC'10 Proceedings of the 14th international conference on Software product lines: going beyond
A dynamic-priority based approach to fixing inconsistent feature models
MODELS'10 Proceedings of the 13th international conference on Model driven engineering languages and systems: Part I
Verification of software product lines with delta-oriented slicing
FoVeOOS'10 Proceedings of the 2010 international conference on Formal verification of object-oriented software
AspectLTL: an aspect language for LTL specifications
Proceedings of the tenth international conference on Aspect-oriented software development
Binary-search based verification of feature models
ICSR'11 Proceedings of the 12th international conference on Top productivity through software reuse
Eight practical considerations in applying feature modeling for product lines
ICSR'11 Proceedings of the 12th international conference on Top productivity through software reuse
Journal of Systems and Software
Consistency maintenance for evolving feature models
Expert Systems with Applications: An International Journal
Validation of business document types based on feature models
Proceedings of the Sixth International Workshop on Variability Modeling of Software-Intensive Systems
Automated reasoning on feature models
CAiSE'05 Proceedings of the 17th international conference on Advanced Information Systems Engineering
Feature models, grammars, and propositional formulas
SPLC'05 Proceedings of the 9th international conference on Software Product Lines
Ontology-Based feature modeling and application-oriented tailoring
ICSR'06 Proceedings of the 9th international conference on Reuse of Off-the-Shelf Components
Modeling and analysis of product-line variants
Proceedings of the 16th International Software Product Line Conference - Volume 2
Safe adaptation in context-aware feature models
FOSD '12 Proceedings of the 4th International Workshop on Feature-Oriented Software Development
Test-Case design by feature trees
ISoLA'12 Proceedings of the 5th international conference on Leveraging Applications of Formal Methods, Verification and Validation: technologies for mastering change - Volume Part I
Ensuring consistency of feature-based decisions with a business rule system
Proceedings of the Seventh International Workshop on Variability Modelling of Software-intensive Systems
International Journal of Information System Modeling and Design
Towards detecting redundancy in domain engineering process using first order logic rules
International Journal of Knowledge Engineering and Soft Data Paradigms
Improving product configuration in software product line engineering
ACSC '13 Proceedings of the Thirty-Sixth Australasian Computer Science Conference - Volume 135
A formal framework for software product lines
Information and Software Technology
Hi-index | 0.00 |
Product line models are used to drive the generation of requirements for single systems in the product line. They are difficult to validate because they are large and complex. By modelling variability and dependency between requirements using propositional connectives, a logical expression can be developed for the model. Validation of the selection of requirements from the model can be achieved by satisfying the logical expression. This approach can be used to validate the model as a whole. A detailed worked example is presented, and the computational aspects of the approach are discussed.