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
Journal ArticleDOI
A unifying model of physical databases
Don Batory,C. C. Gotlieb +1 more
TL;DR: A unifying model for the study of database performance is proposed and applications of the model are shown to relate and extend important work concerning batched searching, transposed files, index selection, dynamic hash-based files, generalized access path structures, differential files, network databases, and multifile query processing.
Proceedings ArticleDOI
Roadmap for enhanced languages and methods to aid verification
Gary T. Leavens,Jean-Raymond Abrial,Don Batory,Michael Butler,Alessandro Coglio,Kathi Fisler,Eric C. R. Hehner,Cliff B. Jones,Dale Miller,Simon Peyton-Jones,Murali Sitaraman,Douglas R. Smith,Aaron Stump +12 more
TL;DR: This roadmap describes ways that researchers in four areas---specification languages, program generation, correctness by construction, and programming languages---might help further the goal of verified software.
Book ChapterDOI
Achieving Extensibility Through Product-Lines and Domain-Specific Languages: A Case Study
TL;DR: This case study in the use of product-line architectures and domain-specific languages to design an extensible command-and-control simulator for Army fire support shows how the PLA and DSL synergistically produce a more flexible way of implementing state-machine-based simulators than is possible with a pure Java implementation.
Book ChapterDOI
Object-Oriented Frameworks and Product Lines
TL;DR: This paper shows how to overcome limitations by decomposing frameworks and framework instances into primitive and reusable components, which reduces code replication and creates a component-based product line of frameworks and Framework instances.
Book ChapterDOI
Guaranteeing Syntactic Correctness for All Product Line Variants: A Language-Independent Approach
TL;DR: This paper presents CIDE, an SPL development tool that guarantees syntactic correctness for all variants of an SPL, and shows how the underlying mechanism abstracts from textual representation and generalizes it to arbitrary languages.