Programmming languages: design and implementation (2nd ed.)
Programmming languages: design and implementation (2nd ed.)
N degrees of separation: multi-dimensional separation of concerns
Proceedings of the 21st international conference on Software engineering
Generative programming: methods, tools, and applications
Generative programming: methods, tools, and applications
FORM: A feature-oriented reuse method with domain-specific reference architectures
Annals of Software Engineering
Validating Component Compositions in Software System Generators
ICSR '96 Proceedings of the 4th International Conference on Software Reuse
Integrating Feature Modeling with the RSEB
ICSR '98 Proceedings of the 5th International Conference on Software Reuse
Modeling Languages: Syntax, Semantics and All That Stuff, Part I: The Basic Stuff
Modeling Languages: Syntax, Semantics and All That Stuff, Part I: The Basic Stuff
FeaturePlugin: feature modeling plug-in for Eclipse
eclipse '04 Proceedings of the 2004 OOPSLA workshop on eclipse technology eXchange
Software Product Line Engineering: Foundations, Principles and Techniques
Software Product Line Engineering: Foundations, Principles and Techniques
Feature Diagrams: A Survey and a Formal Semantics
RE '06 Proceedings of the 14th IEEE International Requirements Engineering Conference
Modeling and Building Software Product Lines with Pure: :Variants
SPLC '08 Proceedings of the 2008 12th International Software Product Line Conference
FeatureIDE: A tool framework for feature-oriented software development
ICSE '09 Proceedings of the 31st International Conference on Software Engineering
S.P.L.O.T.: software product lines online tools
Proceedings of the 24th ACM SIGPLAN conference companion on Object oriented programming systems languages and applications
Variability management in software product lines: a systematic review
Proceedings of the 13th International Software Product Line Conference
SAT-based analysis of feature models is easy
Proceedings of the 13th International Software Product Line Conference
Automated analysis of feature models 20 years later: A literature review
Information Systems
What's in a feature: a requirements engineering perspective
FASE'08/ETAPS'08 Proceedings of the Theory and practice of software, 11th international conference on Fundamental approaches to software engineering
Evaluating a textual feature modelling language: four industrial case studies
SLE'10 Proceedings of the Third international conference on Software language engineering
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
A formal semantics for feature cardinalities in feature diagrams
Proceedings of the 5th Workshop on Variability Modeling of Software-Intensive Systems
Deriving configuration interfaces from feature models: a vision paper
Proceedings of the Sixth International Workshop on Variability Modeling of Software-Intensive Systems
Delta modeling in practice: a Fredhopper case study
Proceedings of the Sixth International Workshop on Variability Modeling of Software-Intensive Systems
Cool features and tough decisions: a comparison of variability modeling approaches
Proceedings of the Sixth International Workshop on Variability Modeling of Software-Intensive Systems
Variability modelling in the ABS language
FMCO'10 Proceedings of the 9th international conference on Formal Methods for Components and Objects
Behavioural modelling and verification of real-time software product lines
Proceedings of the 16th International Software Product Line Conference - Volume 1
FoVeOOS'11 Proceedings of the 2011 international conference on Formal Verification of Object-Oriented Software
Integrating heterogeneous variability modeling approaches with invar
Proceedings of the Seventh International Workshop on Variability Modelling of Software-intensive Systems
Support for reverse engineering and maintaining feature models
Proceedings of the Seventh International Workshop on Variability Modelling of Software-intensive Systems
International Journal of Information System Modeling and Design
FAMILIAR: A domain-specific language for large scale management of feature models
Science of Computer Programming
Beyond boolean product-line model checking: dealing with feature attributes and multi-features
Proceedings of the 2013 International Conference on Software Engineering
Efficient quality assurance of variability-intensive systems
Proceedings of the 2013 International Conference on Software Engineering
Verification of variable service orchestrations using model checking
Proceedings of the 2013 International Workshop on Quality Assurance for Service-based Applications
Improving trace accuracy through data-driven configuration and composition of tracing features
Proceedings of the 2013 9th Joint Meeting on Foundations of Software Engineering
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
ProVeLines: a product line of verifiers for software product lines
Proceedings of the 17th International Software Product Line Conference co-located workshops
Supporting multiple perspectives in feature-based configuration
Software and Systems Modeling (SoSyM)
A formal framework for software product lines
Information and Software Technology
Comparing or configuring products: are we getting the right ones?
Proceedings of the Eighth International Workshop on Variability Modelling of Software-Intensive Systems
Towards system analysis with variability model metrics
Proceedings of the Eighth International Workshop on Variability Modelling of Software-Intensive Systems
Evolving feature model configurations in software product lines
Journal of Systems and Software
Formal semantics, modular specification, and symbolic verification of product-line behaviour
Science of Computer Programming
Hi-index | 0.00 |
In the scientific community, feature models are the de-facto standard for representing variability in software product line engineering. This is different from industrial settings where they appear to be used much less frequently. We and other authors found that in a number of cases, they lack concision, naturalness and expressiveness. This is confirmed by industrial experience. When modelling variability, an efficient tool for making models intuitive and concise are feature attributes. Yet, the semantics of feature models with attributes is not well understood and most existing notations do not support them at all. Furthermore, the graphical nature of feature models' syntax also appears to be a barrier to industrial adoption, both psychological and rational. Existing tool support for graphical feature models is lacking or inadequate, and inferior in many regards to tool support for text-based formats. To overcome these shortcomings, we designed TVL, a text-based feature modelling language. In terms of expressiveness, TVL subsumes most existing dialects. The main goal of designing TVL was to provide engineers with a human-readable language with a rich syntax to make modelling easy and models natural, but also with a formal semantics to avoid ambiguity and allow powerful automation.