scispace - formally typeset
D

Don Batory

Researcher at University of Texas at Austin

Publications -  256
Citations -  13995

Don Batory is an academic researcher from University of Texas at Austin. The author has contributed to research in topics: Software development & Software. The author has an hindex of 60, co-authored 248 publications receiving 13540 citations. Previous affiliations of Don Batory include University of Toronto & Florida International University.

Papers
More filters
Book ChapterDOI

Feature models, grammars, and propositional formulas

TL;DR: This work integrates prior results to connect feature models, grammars, and propositional formulas, which allows arbitrary propositional constraints to be defined among features and enables off-the-shelf satisfiability solvers to debug feature models.
Journal ArticleDOI

Scaling step-wise refinement

TL;DR: The AHEAD (algebraic hierarchical equations for application design) model is presented, that shows how step-wise refinement scales to synthesize multiple programs and multiple noncode representations, and a tool set that supports AHEAD is reviewed.
Journal ArticleDOI

The design and implementation of hierarchical software systems with reusable components

TL;DR: A domain-independent model of hierarchical software system design and construction that is based on interchangeable software components and large-scale reuse that is a blueprint for achieving software component technologies in many domains is presented.
BookDOI

Feature-Oriented Software Product Lines

TL;DR: Books and internet are the recommended media to help you improving your quality and performance.
Book

Feature-Oriented Software Product Lines: Concepts and Implementation

TL;DR: The authors take a developers viewpoint, focus on the development, maintenance, and implementation of product-line variability, and especially concentrate on automated product derivation based on a users feature selection, in a book ideally suited for teaching both for academic classes and for professionals interested in self-study.