OOPSLA/ECOOP '90 Proceedings of the European conference on object-oriented programming on Object-oriented programming systems, languages, and applications
The design and implementation of hierarchical software systems with reusable components
ACM Transactions on Software Engineering and Methodology (TOSEM)
CHI '92 Proceedings of the SIGCHI Conference on Human Factors in Computing Systems
N degrees of separation: multi-dimensional separation of concerns
Proceedings of the 21st international conference on Software engineering
Hyper/J: multi-dimensional separation of concerns for Java
Proceedings of the 22nd international conference on Software engineering
A Layered Architecture for Uniform Version Management
IEEE Transactions on Software Engineering
An Empirical Analysis of C Preprocessor Use
IEEE Transactions on Software Engineering
High-Level Best Practices in Software Configuration Management
ECOOP '98 Proceedings of the SCM-8 Symposium on System Configuration Management
Essentials of Constraint Programming
Essentials of Constraint Programming
Generating Product-Lines of Product-Families
Proceedings of the 17th IEEE international conference on Automated software engineering
Design, implementation, and evaluation of a Revision Control System
ICSE '82 Proceedings of the 6th international conference on Software engineering
Refinements and multi-dimensional separation of concerns
Proceedings of the 9th European software engineering conference held jointly with 11th ACM SIGSOFT international symposium on Foundations of software engineering
IEEE Transactions on Software Engineering
Variability management with feature-oriented programming and aspects
Proceedings of the 12th ACM SIGSOFT twelfth international symposium on Foundations of software engineering
XVCL: a mechanism for handling variants in software product lines
Science of Computer Programming - Special issue: Software variability management
Towards a taxonomy of software change: Research Articles
Journal of Software Maintenance and Evolution: Research and Practice - Unanticipated Software Evolution
Software Product Line Engineering: Foundations, Principles and Techniques
Software Product Line Engineering: Foundations, Principles and Techniques
Impact of software engineering research on the practice of software configuration management
ACM Transactions on Software Engineering and Methodology (TOSEM)
Feature oriented refactoring of legacy applications
Proceedings of the 28th international conference on Software engineering
Feature Diagrams: A Survey and a Formal Semantics
RE '06 Proceedings of the 14th IEEE International Requirements Engineering Conference
Database in Depth: Relational Theory for Practitioners
Database in Depth: Relational Theory for Practitioners
On the Design and Development of Program Families
IEEE Transactions on Software Engineering
Granularity in software product lines
Proceedings of the 30th international conference on Software engineering
IEEE Transactions on Software Engineering
An Algebra for Features and Feature Composition
AMAST 2008 Proceedings of the 12th international conference on Algebraic Methodology and Software Technology
On the impact of the optional feature problem: analysis and case studies
Proceedings of the 13th International Software Product Line Conference
Feature models, grammars, and propositional formulas
SPLC'05 Proceedings of the 9th international conference on Software Product Lines
FM'06 Proceedings of the 14th international conference on Formal Methods
A language for software variation research
GPCE '10 Proceedings of the ninth international conference on Generative programming and component engineering
Program fields for continuous software
Proceedings of the FSE/SDP workshop on Future of software engineering research
Analyzing the discipline of preprocessor annotations in 30 million lines of C code
Proceedings of the tenth international conference on Aspect-oriented software development
A language for software variation research
SLE'10 Proceedings of the Third international conference on Software language engineering
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
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
SLE'11 Proceedings of the 4th international conference on Software Language Engineering
An error-tolerant type system for variational lambda calculus
Proceedings of the 17th ACM SIGPLAN international conference on Functional programming
A calculus for modeling and implementing variation
Proceedings of the 11th International Conference on Generative Programming and Component Engineering
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
Adding configuration to the choice calculus
Proceedings of the Seventh International Workshop on Variability Modelling of Software-intensive Systems
Scalable analysis of variable software
Proceedings of the 2013 9th Joint Meeting on Foundations of Software Engineering
Family-based performance measurement
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)
An abstract representation of variational graphs
Proceedings of the 5th International Workshop on Feature-Oriented Software Development
Counter-factual typing for debugging type errors
Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
Early detection of type errors in C++ templates
Proceedings of the ACM SIGPLAN 2014 Workshop on Partial Evaluation and Program Manipulation
Hi-index | 0.00 |
Many areas of computer science are concerned with some form of variation in software---from managing changes to software over time to supporting families of related artifacts. We present the choice calculus, a fundamental representation for software variation that can serve as a common language of discourse for variation research, filling a role similar to the lambda calculus in programming language research. We also develop an associated theory of software variation, including sound transformations of variation artifacts, the definition of strategic normal forms, and a design theory for variation structures, which will support the development of better algorithms and tools.