General patterns in nonmonotonic reasoning
Handbook of logic in artificial intelligence and logic programming (vol. 3)
Four dark corners of requirements engineering
ACM Transactions on Software Engineering and Methodology (TOSEM)
Design and use of software architectures: adopting and evolving a product-line approach
Design and use of software architectures: adopting and evolving a product-line approach
Generative programming: methods, tools, and applications
Generative programming: methods, tools, and applications
Problem frames: analyzing and structuring software development problems
Problem frames: analyzing and structuring software development problems
Requirements, domain and specifications: a viewpoint-based approach to requirements engineering
Proceedings of the 24th International Conference on Software Engineering
FORM: A feature-oriented reuse method with domain-specific reference architectures
Annals of Software Engineering
A Reference Model for Requirements and Specifications
IEEE Software
Feature interaction: a critical review and considered forecast
Computer Networks: The International Journal of Computer and Telecommunications Networking
Concepts and Guidelines of Feature Modeling for Product Line Software Engineering
ICSR-7 Proceedings of the 7th International Conference on Software Reuse: Methods, Techniques, and Tools
Feature-Oriented Programming and the AHEAD Tool Suite
Proceedings of the 26th International Conference on Software Engineering
Software Product Line Engineering: Foundations, Principles and Techniques
Software Product Line Engineering: Foundations, Principles and Techniques
An Approach to Constructing Feature Models Based on Requirements Clustering
RE '05 Proceedings of the 13th IEEE International Conference on Requirements Engineering
Feature Diagrams: A Survey and a Formal Semantics
RE '06 Proceedings of the 14th IEEE International Requirements Engineering Conference
Automated analysis of feature models: challenges ahead
Communications of the ACM - Software product line
Commonsense Reasoning
Generic semantics of feature diagrams
Computer Networks: The International Journal of Computer and Telecommunications Networking
Feature models, grammars, and propositional formulas
SPLC'05 Proceedings of the 9th international conference on Software Product Lines
Using the event calculus to reason about problem diagrams
Proceedings of the 3rd international workshop on Applications and advances of problem frames
Relating requirements and feature configurations: a systematic approach
Proceedings of the 13th International Software Product Line Conference
Automated analysis of feature models 20 years later: A literature review
Information Systems
Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering - Volume 1
Tag and prune: a pragmatic approach to software product line implementation
Proceedings of the IEEE/ACM international conference on Automated software engineering
Feature oriented evolutions for context-aware adaptive systems
Proceedings of the Joint ERCIM Workshop on Software Evolution (EVOL) and International Workshop on Principles of Software Evolution (IWPSE)
Mapping features to reusable components: a problem frames-based approach
SPLC'10 Proceedings of the 14th international conference on Software product lines: going beyond
A comparison of decision modeling approaches in product lines
Proceedings of the 5th Workshop on Variability Modeling of Software-Intensive Systems
Information and Software Technology
Symbolic model checking of software product lines
Proceedings of the 33rd International Conference on Software Engineering
A text-based approach to feature modelling: Syntax and semantics of TVL
Science of Computer Programming
A software lifecycle process for context-aware adaptive systems
Proceedings of the 19th ACM SIGSOFT symposium and the 13th European conference on Foundations of software engineering
Leveraging state-based user preferences in context-aware reconfigurations for self-adaptive systems
SEFM'11 Proceedings of the 9th international conference on Software engineering and formal methods
Cool features and tough decisions: a comparison of variability modeling approaches
Proceedings of the Sixth International Workshop on Variability Modeling of Software-Intensive Systems
SLE'09 Proceedings of the Second international conference on Software Language Engineering
Release planning with feature trees: industrial case
REFSQ'12 Proceedings of the 18th international conference on Requirements Engineering: foundation for software quality
From feature models to decision models and back again an analysis based on formal transformations
Proceedings of the 16th International Software Product Line Conference - Volume 1
Product portfolio scope optimization based on features and goals
Proceedings of the 16th International Software Product Line Conference - Volume 1
Pairwise testing for software product lines: comparison of two approaches
Software Quality Control
Autogenerator: Generation and execution of programming code on demand
Expert Systems with Applications: An International Journal
Variability in software: state of the art and future directions
FASE'13 Proceedings of the 16th international conference on Fundamental Approaches to Software Engineering
FAMILIAR: A domain-specific language for large scale management of feature models
Science of Computer Programming
Feature model extraction from large collections of informal product descriptions
Proceedings of the 2013 9th Joint Meeting on Foundations of Software Engineering
A systematic analysis of textual variability modeling languages
Proceedings of the 17th International Software Product Line Conference
Combining declarative and procedural views in the specification and analysis of product families
Proceedings of the 17th International Software Product Line Conference co-located workshops
Separation of concerns in feature diagram languages: A systematic survey
ACM Computing Surveys (CSUR)
Formal semantics, modular specification, and symbolic verification of product-line behaviour
Science of Computer Programming
| Hi-index | 0.00 |
The notion of feature is heavily used in Software Engineering, especially for software product lines. However, this notion appears to be confusing, mixing various aspects of problem and solution. In this paper, we attempt to clarify the notion of feature in the light of Zave and Jackson's framework for Requirements Engineering. By redefining a problem-level feature as a set of related requirements, specifications and domain assumptions--the three types of statements central to Zave and Jackson's framework--we also revisit the notion of feature interaction. This clarification work opens new perspectives on formal description and verification of software product lines. An important benefit of the approach is to enable an early identification of feature interactions taking place in the systems' environment, a notoriously challenging problem. The approach is illustrated through a proof-of-concept prototype tool and applied to a Smart Home example.