• Publications
  • Influence
Feature Models, Grammars, and Propositional Formulas
  • D. Batory
  • Computer Science
  • SPLC
  • 26 September 2005
TLDR
We integrate prior results to connect feature models, grammars, and propositional formulas. Expand
  • 1,226
  • 114
  • PDF
Scaling step-wise refinement
TLDR
We present the AHEAD (Algebraic Hierarchical Equations for Application Design) model that shows how step-wise refinement scales to synthesize multiple programs and multiple non-code representations. Expand
  • 414
  • 102
Scaling step-wise refinement
TLDR
We present the AHEAD (Algebraic Hierarchical Equations for Application Design) model that shows how step-wise refinement scales to synthesize multiple programs and multiple non-code representations, generating Java and non-Java artifacts automatically. Expand
  • 444
  • 52
  • PDF
Feature-Oriented Software Product Lines: Concepts and Implementation
TLDR
Feature-oriented software product lines reconcile mass production and standardization with mass customization in software engineering. Expand
  • 378
  • 41
  • PDF
Reasoning about edits to feature models
TLDR
We present an algorithm to reason about feature model edits to help designers determine how the program membership of an SPL has changed. Expand
  • 344
  • 34
  • PDF
A Standard Problem for Evaluating Product-Line Methodologies
TLDR
We propose a standard problem to evaluate product-line methodologies and present a solution to this problem using the GenVoca design methodology. Expand
  • 207
  • 32
  • PDF
Feature-Oriented Software Product Lines
TLDR
Inevitably, reading is one of the requirements to be undergone. Expand
  • 457
  • 31
Safe composition of product lines
TLDR
We show how 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). Expand
  • 256
  • 28
  • PDF
Mixin layers: an object-oriented implementation technique for refinements and collaboration-based designs
TLDR
A "refinement" is a functionality addition to a software project that can affect multiple dispersed implementation entities (functions, classes, etc.). Expand
  • 368
  • 26
  • PDF
The design and implementation of hierarchical software systems with reusable components
TLDR
We present a domain-independent model of hierarchical software system design and construction that is based on interchangeable software components and large-scale reuse. Expand
  • 719
  • 20
  • PDF