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
Don Batory,Sean O'Malley +1 more
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.