Workshop on Generative Programming 2002 (GP2002)
ICSR-7 Proceedings of the 7th International Conference on Software Reuse: Methods, Techniques, and Tools
Software Factories: Assembling Applications with Patterns, Models, Frameworks, and Tools
Software Factories: Assembling Applications with Patterns, Models, Frameworks, and Tools
FeaturePlugin: feature modeling plug-in for Eclipse
eclipse '04 Proceedings of the 2004 OOPSLA workshop on eclipse technology eXchange
Statically safe program generation with safegen
GPCE'05 Proceedings of the 4th international conference on Generative Programming and Component Engineering
Mapping features to models: a template approach based on superimposed variants
GPCE'05 Proceedings of the 4th international conference on Generative Programming and Component Engineering
Feature models, grammars, and propositional formulas
SPLC'05 Proceedings of the 9th international conference on Software Product Lines
Automated analysis of feature models: challenges ahead
Communications of the ACM - Software product line
Multi-level customization in application engineering
Communications of the ACM - Software product line
Seamless development of software product lines
GPCE '07 Proceedings of the 6th international conference on Generative programming and component engineering
Safe composition of product lines
GPCE '07 Proceedings of the 6th international conference on Generative programming and component engineering
Towards automated consistency checks of product line requirements specifications
Proceedings of the twenty-second IEEE/ACM international conference on Automated software engineering
Software reuse and evolution with generative techniques
Proceedings of the twenty-second IEEE/ACM international conference on Automated software engineering
Granularity in software product lines
Proceedings of the 30th international conference on Software engineering
Colored graph transformation rules for model-driven engineering of multi-target systems
Proceedings of the third international workshop on Graph and model transformations
Managing Variability Complexity in Aspect-Oriented Modeling
MoDELS '08 Proceedings of the 11th international conference on Model Driven Engineering Languages and Systems
Efficient compilation techniques for large scale feature models
GPCE '08 Proceedings of the 7th international conference on Generative programming and component engineering
On the modularity of feature interactions
GPCE '08 Proceedings of the 7th international conference on Generative programming and component engineering
Feature featherweight java: a calculus for feature-oriented programming and stepwise refinement
GPCE '08 Proceedings of the 7th international conference on Generative programming and component engineering
A machine-checked model of safe composition
Proceedings of the 2009 workshop on Foundations of aspect-oriented languages
Taming Dynamically Adaptive Systems using models and aspects
ICSE '09 Proceedings of the 31st International Conference on Software Engineering
Model Superimposition in Software Product Lines
ICMT '09 Proceedings of the 2nd International Conference on Theory and Practice of Model Transformations
Fitting the pieces together: a machine-checked model of safe composition
Proceedings of the the 7th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering
A model of refactoring physically and virtually separated features
GPCE '09 Proceedings of the eighth international conference on Generative programming and component engineering
Safe composition of non-monotonic features
GPCE '09 Proceedings of the eighth international conference on Generative programming and component engineering
Towards systematic ensuring well-formedness of software product lines
FOSD '09 Proceedings of the First International Workshop on Feature-Oriented Software Development
Type-Checking Software Product Lines - A Formal Approach
ASE '08 Proceedings of the 2008 23rd IEEE/ACM International Conference on Automated Software Engineering
MODELS '09 Proceedings of the 12th International Conference on Model Driven Engineering Languages and Systems
On the impact of the optional feature problem: analysis and case studies
Proceedings of the 13th International Software Product Line Conference
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
Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering - Volume 1
Type safety for feature-oriented product lines
Automated Software Engineering
Efficient extraction and analysis of preprocessor-based variability
GPCE '10 Proceedings of the ninth international conference on Generative programming and component engineering
TypeChef: toward type checking #ifdef variability in C
FOSD '10 Proceedings of the 2nd International Workshop on Feature-Oriented Software Development
Implementing feature variability for models and code with projectional language workbenches
FOSD '10 Proceedings of the 2nd International Workshop on Feature-Oriented Software Development
Language-independent reference checking in software product lines
FOSD '10 Proceedings of the 2nd International Workshop on Feature-Oriented Software Development
Domain-specific composition of model deltas
ICMT'10 Proceedings of the Third international conference on Theory and practice of model transformations
Consistent product line configuration across file type and product line boundaries
SPLC'10 Proceedings of the 14th international conference on Software product lines: going beyond
Feature-based composition of software architectures
ECSA'10 Proceedings of the 4th European conference on Software architecture
The DOPLER meta-tool for decision-oriented variability modeling: a multiple case study
Automated Software Engineering
Issues in model-driven behavioural product derivation
Proceedings of the 5th Workshop on Variability Modeling of Software-Intensive Systems
Partial preprocessing C code for variability analysis
Proceedings of the 5th Workshop on Variability Modeling of Software-Intensive Systems
Verification of software product lines with delta-oriented slicing
FoVeOOS'10 Proceedings of the 2010 international conference on Formal verification of object-oriented software
Feature and meta-models in Clafer: mixed, specialized, and coupled
SLE'10 Proceedings of the Third international conference on Software language engineering
Transactions on aspect-oriented software development VII
Transactions on aspect-oriented software development VII
The road to feature modularity?
Proceedings of the 15th International Software Product Line Conference, Volume 2
Understanding variability abstraction and realization
ICSR'11 Proceedings of the 12th international conference on Top productivity through software reuse
Supporting consistency checking between features and software product line use scenarios
ICSR'11 Proceedings of the 12th international conference on Top productivity through software reuse
Validation of families of business processes
CAiSE'11 Proceedings of the 23rd international conference on Advanced information systems engineering
Reverse engineering architectural feature models
ECSA'11 Proceedings of the 5th European conference on Software architecture
Investigating the safe evolution of software product lines
Proceedings of the 10th ACM international conference on Generative programming and component engineering
Variability-aware parsing in the presence of lexical macros and conditional compilation
Proceedings of the 2011 ACM international conference on Object oriented programming systems languages and applications
Automating the product derivation process of multi-agent systems product lines
Journal of Systems and Software
Validation of business document types based on feature models
Proceedings of the Sixth International Workshop on Variability Modeling of Software-Intensive Systems
Towards fixing inconsistencies in models with variability
Proceedings of the Sixth International Workshop on Variability Modeling of Software-Intensive Systems
Using domain features to handle feature interactions
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
Incremental consistency checking of dynamic constraints
FASE'10 Proceedings of the 13th international conference on Fundamental Approaches to Software Engineering
Detecting inconsistencies in multi-view models with variability
ECMFA'10 Proceedings of the 6th European conference on Modelling Foundations and Applications
Type checking annotation-based product lines
ACM Transactions on Software Engineering and Methodology (TOSEM)
A theory of software product line refinement
Theoretical Computer Science
Computing repair trees for resolving inconsistencies in design models
Proceedings of the 27th IEEE/ACM International Conference on Automated Software Engineering
Model-based automated and guided configuration of embedded software systems
ECMFA'12 Proceedings of the 8th European conference on Modelling Foundations and Applications
Tracing SPLs precisely and efficiently
Proceedings of the 16th International Software Product Line Conference - Volume 1
Model-based product line evolution: an incremental growing by extension
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
A variability-aware module system
Proceedings of the ACM international conference on Object oriented programming systems languages and applications
Composing multiple variability artifacts to assemble coherent workflows
Software Quality Control
MODELS'12 Proceedings of the 15th international conference on Model Driven Engineering Languages and Systems
Evolving delta-oriented software product line architectures
Proceedings of the 17th Monterey conference on Large-Scale Complex IT Systems: development, operation and management
Feature-oriented software evolution
Proceedings of the Seventh International Workshop on Variability Modelling of Software-intensive Systems
SimPL: A product-line modeling methodology for families of integrated control systems
Information and Software Technology
Safe composition of configuration knowledge-based software product lines
Journal of Systems and Software
Towards correct product derivation in model-driven product lines
SAM'12 Proceedings of the 7th international conference on System Analysis and Modeling: theory and practice
Variability in software: state of the art and future directions
FASE'13 Proceedings of the 16th international conference on Fundamental Approaches to Software Engineering
Modeling and validation of business process families
Information Systems
Towards detecting redundancy in domain engineering process using first order logic rules
International Journal of Knowledge Engineering and Soft Data Paradigms
Generating counterexamples of model-based software product lines: an exploratory study
Proceedings of the 17th International Software Product Line Conference
Separation of concerns in feature diagram languages: A systematic survey
ACM Computing Surveys (CSUR)
Intraprocedural dataflow analysis for software product lines
Transactions on Aspect-Oriented Software Development X
An ontology-based framework for domain-specific modeling
Software and Systems Modeling (SoSyM)
Hi-index | 0.00 |
Feature-based model templates have been recently proposed as a approach for modeling software product lines. Unfortunately, templates are notoriously prone to errors that may go unnoticed for long time. This is because such an error is usually exhibited for some configurations only, and testing all configurations is typically not feasible in practice. In this paper, we present an automated verification procedure for ensuring that no ill-structured template instance will be generated from a correct configuration. We present the formal underpinnings of our proposed approach, analyze its complexity, and demonstrate its practical feasibility through a prototype implementation.