Module interconnection languages
Journal of Systems and Software
Introduction to algorithms
The design and implementation of hierarchical software systems with reusable components
ACM Transactions on Software Engineering and Methodology (TOSEM)
Building problem solvers
Software architecture: perspectives on an emerging discipline
Software architecture: perspectives on an emerging discipline
Multi-stage programming with explicit annotations
PEPM '97 Proceedings of the 1997 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation
POPL '98 Proceedings of the 25th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Refactoring: improving the design of existing code
Refactoring: improving the design of existing code
LFP '86 Proceedings of the 1986 ACM conference on LISP and functional programming
Featherweight Java: a minimal core calculus for Java and GJ
Proceedings of the 14th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Generative programming: methods, tools, and applications
Generative programming: methods, tools, and applications
Object-oriented framework and product lines
Proceedings of the first conference on Software product lines : experience and research directions: experience and research directions
Program development by stepwise refinement
Communications of the ACM
Modular verification of collaboration-based software designs
Proceedings of the 8th European software engineering conference held jointly with 9th ACM SIGSOFT international symposium on Foundations of software engineering
True separate compilation of Java classes
Proceedings of the 4th ACM SIGPLAN international conference on Principles and practice of declarative programming
Computer
Specifying Reusable Components Using Contracts
ECOOP '92 Proceedings of the European Conference on Object-Oriented Programming
Using C++ Templates to Implement Role-Based Designs
ISOTAS '96 Proceedings of the Second JSSST International Symposium on Object Technologies for Advanced Software
Algebraic specifications: some old history and new thoughts
Nordic Journal of Computing
A theory model core for module interconnection languages
CASCON '94 Proceedings of the 1994 conference of the Centre for Advanced Studies on Collaborative research
JTS: Tools for Implementing Domain-Specific Languages
ICSR '98 Proceedings of the 5th International Conference on Software Reuse
Separation of Concerns in Model-Driven Development
IEEE Software
Software Factories: Assembling Applications with Patterns, Models, Frameworks, and Tools
Software Factories: Assembling Applications with Patterns, Models, Frameworks, and Tools
IEEE Transactions on Software Engineering
Verifying aspect advice modularly
Proceedings of the 12th ACM SIGSOFT twelfth international symposium on Foundations of software engineering
Software Product Line Engineering: Foundations, Principles and Techniques
Software Product Line Engineering: Foundations, Principles and Techniques
Horizontal decomposition of Prevayler
CASCON '05 Proceedings of the 2005 conference of the Centre for Advanced Studies on Collaborative research
Feature oriented refactoring of legacy applications
Proceedings of the 28th international conference on Software engineering
Multilevel models in model-driven engineering, product lines, and metaprogramming
IBM Systems Journal - Model-driven software development
Verifying feature-based model templates against well-formedness OCL constraints
Proceedings of the 5th international conference on Generative programming and component engineering
On the Design and Development of Program Families
IEEE Transactions on Software Engineering
Statically safe program generation with safegen
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
Granularity in software product lines
Proceedings of the 30th international conference on Software engineering
Research challenges in the tension between features and services
Proceedings of the 2nd international workshop on Systems development in SOA environments
Lifting Transformational Models of Product Lines: A Case Study
ICMT '08 Proceedings of the 1st international conference on Theory and Practice of Model Transformations
An Algebra for Features and Feature Composition
AMAST 2008 Proceedings of the 12th international conference on Algebraic Methodology and Software Technology
Managing Variability Complexity in Aspect-Oriented Modeling
MoDELS '08 Proceedings of the 11th international conference on Model Driven Engineering Languages and Systems
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
Reasoning about edits to feature models
ICSE '09 Proceedings of the 31st International Conference on Software Engineering
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
A calculus for uniform feature composition
ACM Transactions on Programming Languages and Systems (TOPLAS)
Issues in mapping change-based product line architectures to configuration management systems
Proceedings of the 13th International Software Product Line Conference
On the impact of the optional feature problem: analysis and case studies
Proceedings of the 13th International Software Product Line Conference
Implementing software product lines using traits
Proceedings of the 2010 ACM Symposium on Applied Computing
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
Feature-oriented requirements modelling
Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering - Volume 2
Type safety for feature-oriented product lines
Automated Software Engineering
An algebraic foundation for automatic feature-based program synthesis
Science of Computer Programming
Eliminating products to test in a software product line
Proceedings of the IEEE/ACM international conference on Automated software engineering
Tag and prune: a pragmatic approach to software product line implementation
Proceedings of the IEEE/ACM international conference on 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
Patching product line programs
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
Pure delta-oriented programming
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
Emergent feature modularization
Proceedings of the ACM international conference companion on Object oriented programming systems languages and applications companion
Domain-specific composition of model deltas
ICMT'10 Proceedings of the Third international conference on Theory and practice of model transformations
Delta-oriented programming of software product lines
SPLC'10 Proceedings of the 14th international conference on Software product lines: going beyond
Improving the testing and testability of software product lines
SPLC'10 Proceedings of the 14th international conference on Software product lines: going beyond
Towards architecture-centric software generation
ECSA'10 Proceedings of the 4th European conference on Software architecture
On the need of safe software product line architectures
ECSA'10 Proceedings of the 4th European conference on Software architecture
Using reified contextual information for safe run-time adaptation of software product lines
Proceedings of the 7th Workshop on Reflection, AOP and Meta-Data for Software Evolution
Reducing configurations to monitor in a software product line
RV'10 Proceedings of the First international conference on Runtime verification
Partial preprocessing C code for variability analysis
Proceedings of the 5th Workshop on Variability Modeling of Software-Intensive Systems
AspectLTL: an aspect language for LTL specifications
Proceedings of the tenth international conference on Aspect-oriented software development
Compositional type-checking for delta-oriented programming
Proceedings of the tenth international conference on Aspect-oriented software development
Reducing combinatorics in testing product lines
Proceedings of the tenth international conference on Aspect-oriented software development
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
Validation of families of business processes
CAiSE'11 Proceedings of the 23rd international conference on Advanced information systems 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
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
Row types for delta-oriented programming
Proceedings of the Sixth International Workshop on Variability Modeling of Software-Intensive Systems
VML* – a family of languages for variability management in software product lines
SLE'09 Proceedings of the Second international conference on Software Language Engineering
Detecting inconsistencies in multi-view models with variability
ECMFA'10 Proceedings of the 6th European conference on Modelling Foundations and Applications
Detection of feature interactions using feature-aware verification
ASE '11 Proceedings of the 2011 26th IEEE/ACM International Conference on Automated Software Engineering
Type checking annotation-based product lines
ACM Transactions on Software Engineering and Methodology (TOSEM)
A theory of software product line refinement
Theoretical Computer Science
An error-tolerant type system for variational lambda calculus
Proceedings of the 17th ACM SIGPLAN international conference on Functional programming
Toward variability-aware testing
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
Evaluating the effort of composing design models: a controlled experiment
MODELS'12 Proceedings of the 15th international conference on Model Driven Engineering Languages and Systems
Conflict detection in delta-oriented programming
ISoLA'12 Proceedings of the 5th international conference on Leveraging Applications of Formal Methods, Verification and Validation: technologies for mastering change - Volume Part I
Feature-oriented language families: a case study
Proceedings of the Seventh International Workshop on Variability Modelling of Software-intensive Systems
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
Modeling and validation of business process families
Information Systems
Subclack: feature-oriented programming with behavioral feature interfaces
Proceedings of the 5th Workshop on MechAnisms for SPEcialization, Generalization and inHerItance
Scalable analysis of variable software
Proceedings of the 2013 9th Joint Meeting on Foundations of Software Engineering
SPLat: lightweight dynamic analysis for reducing combinatorics in testing configurable systems
Proceedings of the 2013 9th Joint Meeting on Foundations of Software Engineering
Generating counterexamples of model-based software product lines: an exploratory study
Proceedings of the 17th International Software Product Line Conference
A comparison of product-based, feature-based, and family-based type checking
Proceedings of the 12th international conference on Generative programming: concepts & experiences
Extending Type Inference to Variational Programs
ACM Transactions on Programming Languages and Systems (TOPLAS)
Feature-Oriented programming with object algebras
ECOOP'13 Proceedings of the 27th European conference on Object-Oriented Programming
Intraprocedural dataflow analysis for software product lines
Transactions on Aspect-Oriented Software Development X
The feature pack approach: systematically managing implementations in software ecosystems
Proceedings of the Eighth International Workshop on Variability Modelling of Software-Intensive Systems
Hi-index | 0.00 |
Programs of a software product line can be synthesized by composing modules that implement features. Besides high-level domain constraints that govern the compatibility of features, there are also low-level implementation constraints: a feature module can reference elements that are defined in other feature modules. Safe composition is the guarantee that all programs in a product line are type safe: i.e., absent of references to undefined elements (such as classes, methods, and variables). We show how safe composition properties can be verified for AHEAD product lines using feature models and SAT solvers.