publications:
- title: "Software Components in a Data Structure Precompiler"
  author:
  - name: "Marty Sirkin"
    link: "https://researchr.org/alias/marty-sirkin"
  - name: "Don S. Batory"
    link: "http://www.cs.utexas.edu/~dsb/"
  - name: "Vivek Singhal"
    link: "https://researchr.org/alias/vivek-singhal"
  year: "1993"
  doi: "http://portal.acm.org/citation.cfm?id=257572.257671"
  links:
    doi: "http://portal.acm.org/citation.cfm?id=257572.257671"
  tags:
  - "software components"
  - "software component"
  - "data-flow"
  researchr: "https://researchr.org/publication/SirkinBS93"
  cites: 0
  citedby: 0
  pages: "437-446"
  booktitle: "ICSE"
  kind: "inproceedings"
  key: "SirkinBS93"
- title: "Conceptual-To-Internal Mappings in Commercial Database Systems"
  author:
  - name: "Don S. Batory"
    link: "http://www.cs.utexas.edu/~dsb/"
  year: "1984"
  doi: "http://doi.acm.org/10.1145/588011.588023"
  links:
    doi: "http://doi.acm.org/10.1145/588011.588023"
  tags:
  - "database"
  researchr: "https://researchr.org/publication/Batory84%3A0"
  cites: 0
  citedby: 0
  pages: "70-78"
  booktitle: "PODS"
  kind: "inproceedings"
  key: "Batory84:0"
- title: "P2: A Lightweight DBMS Generator"
  author:
  - name: "Don S. Batory"
    link: "http://www.cs.utexas.edu/~dsb/"
  - name: "Jeff Thomas"
    link: "https://researchr.org/alias/jeff-thomas"
  year: "1997"
  researchr: "https://researchr.org/publication/BatoryT97"
  cites: 0
  citedby: 0
  journal: "jiis"
  volume: "9"
  number: "2"
  pages: "107-123"
  kind: "article"
  key: "BatoryT97"
- title: "A Tutorial on Feature Oriented Programming and the AHEAD Tool Suite"
  author:
  - name: "Don S. Batory"
    link: "http://www.cs.utexas.edu/~dsb/"
  year: "2006"
  doi: "http://dx.doi.org/10.1007/11877028_1"
  links:
    doi: "http://dx.doi.org/10.1007/11877028_1"
  tags:
  - "object-oriented programming"
  - "programming"
  - "subject-oriented programming"
  - "feature-oriented programming"
  researchr: "https://researchr.org/publication/Batory06%3A1"
  cites: 0
  citedby: 0
  pages: "3-35"
  booktitle: "GTTSE"
  kind: "inproceedings"
  key: "Batory06:1"
- title: "A TSQL2 Tutorial"
  author:
  - name: "Richard T. Snodgrass"
    link: "https://researchr.org/alias/richard-t.-snodgrass"
  - name: "Ilsoo Ahn"
    link: "https://researchr.org/alias/ilsoo-ahn"
  - name: "Gad Ariav"
    link: "https://researchr.org/alias/gad-ariav"
  - name: "Don S. Batory"
    link: "http://www.cs.utexas.edu/~dsb/"
  - name: "James Clifford"
    link: "https://researchr.org/alias/james-clifford"
  - name: "Curtis E. Dyreson"
    link: "https://researchr.org/alias/curtis-e.-dyreson"
  - name: "Ramez Elmasri"
    link: "https://researchr.org/alias/ramez-elmasri"
  - name: "Fabio Grandi"
    link: "https://researchr.org/alias/fabio-grandi"
  - name: "Christian S. Jensen"
    link: "https://researchr.org/alias/christian-s.-jensen"
  - name: "Wolfgang Käfer"
    link: "https://researchr.org/alias/wolfgang-k%C3%A4fer"
  - name: "Nick Kline"
    link: "https://researchr.org/alias/nick-kline"
  - name: "Krishna G. Kulkarni"
    link: "https://researchr.org/alias/krishna-g.-kulkarni"
  - name: "T. Y. Cliff Leung"
    link: "https://researchr.org/alias/t.-y.-cliff-leung"
  - name: "Nikos A. Lorentzos"
    link: "https://researchr.org/alias/nikos-a.-lorentzos"
  - name: "John F. Roddick"
    link: "https://researchr.org/alias/john-f.-roddick"
  - name: "Arie Segev"
    link: "https://researchr.org/alias/arie-segev"
  - name: "Michael D. Soo"
    link: "https://researchr.org/alias/michael-d.-soo"
  - name: "Suryanarayana M. Sripada"
    link: "https://researchr.org/alias/suryanarayana-m.-sripada"
  year: "1994"
  doi: "http://doi.acm.org/10.1145/187436.187449"
  links:
    doi: "http://doi.acm.org/10.1145/187436.187449"
  researchr: "https://researchr.org/publication/SnodgrassAABCDEGJKKKLLRSSS94a"
  cites: 0
  citedby: 0
  journal: "SIGMOD"
  volume: "23"
  number: "3"
  pages: "27-33"
  kind: "article"
  key: "SnodgrassAABCDEGJKKKLLRSSS94a"
- title: "Rosetta: A Generator of Data Language Compilers"
  author:
  - name: "E. E. Villarreal"
    link: "https://researchr.org/alias/e.-e.-villarreal"
  - name: "Don S. Batory"
    link: "http://www.cs.utexas.edu/~dsb/"
  year: "1997"
  doi: "http://doi.acm.org/10.1145/258366.258412"
  links:
    doi: "http://doi.acm.org/10.1145/258366.258412"
  tags:
  - "data-flow language"
  - "data-flow"
  - "e-science"
  - "compiler"
  researchr: "https://researchr.org/publication/VillarrealB97"
  cites: 0
  citedby: 0
  pages: "146-156"
  booktitle: "ssr"
  kind: "inproceedings"
  key: "VillarrealB97"
- title: "Using modern mathematics as an FOSD modeling language"
  author:
  - name: "Don S. Batory"
    link: "http://www.cs.utexas.edu/~dsb/"
  year: "2008"
  doi: "http://doi.acm.org/10.1145/1449913.1449921"
  links:
    doi: "http://doi.acm.org/10.1145/1449913.1449921"
  tags:
  - "modeling language"
  - "modeling"
  - "language modeling"
  researchr: "https://researchr.org/publication/Batory08"
  cites: 0
  citedby: 0
  pages: "35-44"
  booktitle: "GPCE"
  kind: "inproceedings"
  key: "Batory08"
- title: "Composition Validation and Subjectivity in GenVoca Generators"
  author:
  - name: "Don S. Batory"
    link: "http://www.cs.utexas.edu/~dsb/"
  - name: "Bart J. Geraci"
    link: "https://researchr.org/alias/bart-j.-geraci"
  year: "1997"
  doi: "http://www.computer.org/tse/ts1997/e0067abs.htm"
  links:
    doi: "http://www.computer.org/tse/ts1997/e0067abs.htm"
  tags:
  - "composition"
  researchr: "https://researchr.org/publication/BatoryG97"
  cites: 0
  citedby: 0
  journal: "TSE"
  volume: "23"
  number: "2"
  pages: "67-84"
  kind: "article"
  key: "BatoryG97"
- title: "Feature oriented refactoring of legacy applications"
  author:
  - name: "Jia Liu"
    link: "https://researchr.org/alias/jia-liu"
  - name: "Don S. Batory"
    link: "http://www.cs.utexas.edu/~dsb/"
  - name: "Christian Lengauer"
    link: "http://www.infosun.fim.uni-passau.de/cl/staff/lengauer/"
  year: "2006"
  doi: "http://doi.acm.org/10.1145/1134303"
  links:
    doi: "http://doi.acm.org/10.1145/1134303"
  tags:
  - "refactoring"
  researchr: "https://researchr.org/publication/LiuBL06"
  cites: 0
  citedby: 0
  pages: "112-121"
  booktitle: "ICSE"
  kind: "inproceedings"
  key: "LiuBL06"
- title: "Fitting the pieces together: a machine-checked model of safe composition"
  author:
  - name: "Benjamin Delaware"
    link: "https://researchr.org/alias/benjamin-delaware"
  - name: "William R. Cook"
    link: "http://www.cs.utexas.edu/~wcook/"
  - name: "Don S. Batory"
    link: "http://www.cs.utexas.edu/~dsb/"
  year: "2009"
  doi: "http://doi.acm.org/10.1145/1595696.1595733"
  links:
    doi: "http://doi.acm.org/10.1145/1595696.1595733"
  tags:
  - "Variability-Aware Analysis"
  - "composition"
  - "analysis"
  - "context-aware"
  - "safe composition"
  researchr: "https://researchr.org/publication/DelawareCB09-0"
  cites: 0
  citedby: 0
  pages: "243-252"
  booktitle: "FSE"
  kind: "inproceedings"
  key: "DelawareCB09-0"
- title: "Program refactoring using functional aspects"
  author:
  - name: "Sven  Apel"
    link: "http://www.infosun.fim.uni-passau.de/cl/staff/apel/"
  - name: "Christian Kästner"
    link: "http://wwwiti.cs.uni-magdeburg.de/~ckaestne/"
  - name: "Don S. Batory"
    link: "http://www.cs.utexas.edu/~dsb/"
  year: "2008"
  doi: "http://doi.acm.org/10.1145/1449913.1449938"
  links:
    doi: "http://doi.acm.org/10.1145/1449913.1449938"
  tags:
  - "refactoring"
  - "functional programming"
  researchr: "https://researchr.org/publication/ApelKB08"
  cites: 0
  citedby: 0
  pages: "161-170"
  booktitle: "GPCE"
  kind: "inproceedings"
  key: "ApelKB08"
- title: "A Modeling Language for Program Design and Synthesis"
  author:
  - name: "Don S. Batory"
    link: "http://www.cs.utexas.edu/~dsb/"
  year: "2007"
  doi: "http://dx.doi.org/10.1007/978-3-540-89762-0_2"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-540-89762-0_2"
  tags:
  - "programming languages"
  - "modeling language"
  - "modeling"
  - "language modeling"
  - "language design"
  - "design"
  researchr: "https://researchr.org/publication/Batory07%3A0"
  cites: 0
  citedby: 0
  pages: "39-58"
  booktitle: "lipari"
  kind: "inproceedings"
  key: "Batory07:0"
- title: "Mixin layers: an object-oriented implementation technique for refinements and collaboration-based designs"
  author:
  - name: "Yannis Smaragdakis"
    link: "http://smaragd.org"
  - name: "Don S. Batory"
    link: "http://www.cs.utexas.edu/~dsb/"
  year: "2002"
  doi: "http://doi.acm.org/10.1145/505145.505148"
  links:
    doi: "http://doi.acm.org/10.1145/505145.505148"
  tags:
  - "rule-based"
  - "refinement"
  researchr: "https://researchr.org/publication/SmaragdakisB02"
  cites: 0
  citedby: 1
  journal: "TOSEM"
  volume: "11"
  number: "2"
  pages: "215-255"
  kind: "article"
  key: "SmaragdakisB02"
- title: "International Workshop on Software Transformation Systems (STS 99)"
  author:
  - name: "Marcelo Sant Anna"
    link: "https://researchr.org/alias/marcelo-sant-anna"
  - name: "Julio Cesar Sampaio do Prado Leite"
    link: "https://researchr.org/alias/julio-cesar-sampaio-do-prado-leite"
  - name: "Ira D. Baxter"
    link: "https://researchr.org/alias/ira-d.-baxter"
  - name: "David S. Wile"
    link: "https://researchr.org/alias/david-s.-wile"
  - name: "Ted J. Biggerstaff"
    link: "https://researchr.org/alias/ted-j.-biggerstaff"
  - name: "Don S. Batory"
    link: "http://www.cs.utexas.edu/~dsb/"
  - name: "Premkumar T. Devanbu"
    link: "https://researchr.org/alias/premkumar-t.-devanbu"
  - name: "Elizabeth Burd"
    link: "https://researchr.org/alias/elizabeth-burd"
  year: "1999"
  doi: "http://portal.acm.org/citation.cfm?id=302405.302966"
  links:
    doi: "http://portal.acm.org/citation.cfm?id=302405.302966"
  tags:
  - "transformation system"
  - "transformation"
  researchr: "https://researchr.org/publication/SantAnnaLBWBBDB99"
  cites: 0
  citedby: 0
  pages: "701-702"
  booktitle: "ICSE"
  kind: "inproceedings"
  key: "SantAnnaLBWBBDB99"
- title: "Mixin-Based Programming in C++"
  author:
  - name: "Yannis Smaragdakis"
    link: "http://smaragd.org"
  - name: "Don S. Batory"
    link: "http://www.cs.utexas.edu/~dsb/"
  year: "2000"
  doi: "http://link.springer.de/link/service/series/0558/bibs/2177/21770163.htm"
  links:
    doi: "http://link.springer.de/link/service/series/0558/bibs/2177/21770163.htm"
  tags:
  - "rule-based"
  - "C++"
  - "programming"
  researchr: "https://researchr.org/publication/SmaragdakisB00"
  cites: 0
  citedby: 0
  pages: "163-177"
  booktitle: "gcse"
  kind: "inproceedings"
  key: "SmaragdakisB00"
- title: "TSQL2 Language Specification"
  author:
  - name: "Richard T. Snodgrass"
    link: "https://researchr.org/alias/richard-t.-snodgrass"
  - name: "Ilsoo Ahn"
    link: "https://researchr.org/alias/ilsoo-ahn"
  - name: "Gad Ariav"
    link: "https://researchr.org/alias/gad-ariav"
  - name: "Don S. Batory"
    link: "http://www.cs.utexas.edu/~dsb/"
  - name: "James Clifford"
    link: "https://researchr.org/alias/james-clifford"
  - name: "Curtis E. Dyreson"
    link: "https://researchr.org/alias/curtis-e.-dyreson"
  - name: "Ramez Elmasri"
    link: "https://researchr.org/alias/ramez-elmasri"
  - name: "Fabio Grandi"
    link: "https://researchr.org/alias/fabio-grandi"
  - name: "Christian S. Jensen"
    link: "https://researchr.org/alias/christian-s.-jensen"
  - name: "Wolfgang Käfer"
    link: "https://researchr.org/alias/wolfgang-k%C3%A4fer"
  - name: "Nick Kline"
    link: "https://researchr.org/alias/nick-kline"
  - name: "Krishna G. Kulkarni"
    link: "https://researchr.org/alias/krishna-g.-kulkarni"
  - name: "T. Y. Cliff Leung"
    link: "https://researchr.org/alias/t.-y.-cliff-leung"
  - name: "Nikos A. Lorentzos"
    link: "https://researchr.org/alias/nikos-a.-lorentzos"
  - name: "John F. Roddick"
    link: "https://researchr.org/alias/john-f.-roddick"
  - name: "Arie Segev"
    link: "https://researchr.org/alias/arie-segev"
  - name: "Michael D. Soo"
    link: "https://researchr.org/alias/michael-d.-soo"
  - name: "Suryanarayana M. Sripada"
    link: "https://researchr.org/alias/suryanarayana-m.-sripada"
  year: "1994"
  doi: "http://doi.acm.org/10.1145/181550.181562"
  links:
    doi: "http://doi.acm.org/10.1145/181550.181562"
  researchr: "https://researchr.org/publication/SnodgrassAABCDEGJKKKLLRSSS94"
  cites: 0
  citedby: 0
  journal: "SIGMOD"
  volume: "23"
  number: "1"
  pages: "65-86"
  kind: "article"
  key: "SnodgrassAABCDEGJKKKLLRSSS94"
- title: "Object-oriented frameworks and product lines"
  author:
  - name: "Don S. Batory"
    link: "http://www.cs.utexas.edu/~dsb/"
  - name: "Richard Cardone"
    link: "https://researchr.org/alias/richard-cardone"
  - name: "Yannis Smaragdakis"
    link: "http://smaragd.org"
  year: "2000"
  tags:
  - "meta-model"
  - "Meta-Environment"
  - "meta-objects"
  researchr: "https://researchr.org/publication/BatoryCS00"
  cites: 0
  citedby: 0
  pages: "227-248"
  booktitle: "SPLC"
  kind: "inproceedings"
  key: "BatoryCS00"
- title: "Evolving Object-Oriented Designs with Refactorings"
  author:
  - name: "Lance Tokuda"
    link: "https://researchr.org/alias/lance-tokuda"
  - name: "Don S. Batory"
    link: "http://www.cs.utexas.edu/~dsb/"
  year: "2001"
  tags:
  - "meta-model"
  - "model refactoring"
  - "refactoring"
  - "Meta-Environment"
  - "meta-objects"
  researchr: "https://researchr.org/publication/TokudaB01"
  cites: 0
  citedby: 0
  journal: "ASE"
  volume: "8"
  number: "1"
  pages: "89-120"
  kind: "article"
  key: "TokudaB01"
- title: "Integrating and Reusing GUI-Driven Applications"
  author:
  - name: "Mark Grechanik"
    link: "https://researchr.org/alias/mark-grechanik"
  - name: "Don S. Batory"
    link: "http://www.cs.utexas.edu/~dsb/"
  - name: "Dewayne E. Perry"
    link: "https://researchr.org/alias/dewayne-e.-perry"
  year: "2002"
  doi: "http://link.springer.de/link/service/series/0558/bibs/2319/23190001.htm"
  links:
    doi: "http://link.springer.de/link/service/series/0558/bibs/2319/23190001.htm"
  tags:
  - "reuse"
  - "e-science"
  researchr: "https://researchr.org/publication/GrechanikBP02"
  cites: 0
  citedby: 0
  pages: "1-16"
  booktitle: "icsr"
  kind: "inproceedings"
  key: "GrechanikBP02"
- title: "The Design and Implementation of Hierarchical Software Systems with Reusable Components"
  author:
  - name: "Don S. Batory"
    link: "http://www.cs.utexas.edu/~dsb/"
  - name: "Sean W. O Malley"
    link: "https://researchr.org/alias/sean-w.-o-malley"
  year: "1992"
  doi: "http://doi.acm.org/10.1145/136586.136587"
  links:
    doi: "http://doi.acm.org/10.1145/136586.136587"
  tags:
  - "reusable components"
  - "software components"
  - "software component"
  - "reuse"
  - "design"
  researchr: "https://researchr.org/publication/BatoryO92"
  cites: 0
  citedby: 0
  journal: "TOSEM"
  volume: "1"
  number: "4"
  pages: "355-398"
  kind: "article"
  key: "BatoryO92"
- title: "A machine-checked model of safe composition"
  author:
  - name: "Benjamin Delaware"
    link: "https://researchr.org/alias/benjamin-delaware"
  - name: "William R. Cook"
    link: "http://www.cs.utexas.edu/~wcook/"
  - name: "Don S. Batory"
    link: "http://www.cs.utexas.edu/~dsb/"
  year: "2009"
  doi: "http://doi.acm.org/10.1145/1509837.1509846"
  links:
    doi: "http://doi.acm.org/10.1145/1509837.1509846"
  tags:
  - "Variability-Aware Analysis"
  - "composition"
  - "analysis"
  - "context-aware"
  - "safe composition"
  researchr: "https://researchr.org/publication/DelawareCB09"
  cites: 0
  citedby: 0
  pages: "31-35"
  booktitle: "foal"
  kind: "inproceedings"
  key: "DelawareCB09"
- title: "The GenVoca Model of Software-System Generators"
  author:
  - name: "Don S. Batory"
    link: "http://www.cs.utexas.edu/~dsb/"
  - name: "Vivek Singhal"
    link: "https://researchr.org/alias/vivek-singhal"
  - name: "Jeff Thomas"
    link: "https://researchr.org/alias/jeff-thomas"
  - name: "Sankar Dasari"
    link: "https://researchr.org/alias/sankar-dasari"
  - name: "Bart J. Geraci"
    link: "https://researchr.org/alias/bart-j.-geraci"
  - name: "Marty Sirkin"
    link: "https://researchr.org/alias/marty-sirkin"
  year: "1994"
  doi: "http://www.computer.org:80/software/so1994/s5089abs.htm"
  links:
    doi: "http://www.computer.org:80/software/so1994/s5089abs.htm"
  tags:
  - "meta-model"
  - "Meta-Environment"
  researchr: "https://researchr.org/publication/BatorySTDGS94"
  cites: 0
  citedby: 0
  journal: "IEEE Software"
  volume: "11"
  number: "5"
  pages: "89-94"
  kind: "article"
  key: "BatorySTDGS94"
- title: "SQL/NF: a query language for ¬1 NF relational databases"
  author:
  - name: "Mark A. Roth"
    link: "https://researchr.org/alias/mark-a.-roth"
  - name: "Henry F. Korth"
    link: "https://researchr.org/alias/henry-f.-korth"
  - name: "Don S. Batory"
    link: "http://www.cs.utexas.edu/~dsb/"
  year: "1987"
  tags:
  - "relational database"
  - "SQL"
  - "query language"
  researchr: "https://researchr.org/publication/RothKB87"
  cites: 0
  citedby: 0
  journal: "is"
  volume: "12"
  number: "1"
  pages: "99-114"
  kind: "article"
  key: "RothKB87"
- title: "First International Workshop on Analysis of Software Product Lines (ASPL 08)"
  author:
  - name: "David Benavides"
    link: "https://researchr.org/alias/david-benavides"
  - name: "Antonio Ruiz Cortés"
    link: "https://researchr.org/alias/antonio-ruiz-cort%C3%A9s"
  - name: "Don S. Batory"
    link: "http://www.cs.utexas.edu/~dsb/"
  - name: "Patrick Heymans"
    link: "https://researchr.org/alias/patrick-heymans"
  year: "2008"
  doi: "http://dx.doi.org/10.1109/SPLC.2008.73"
  links:
    doi: "http://dx.doi.org/10.1109/SPLC.2008.73"
  tags:
  - "software product lines"
  - "analysis"
  researchr: "https://researchr.org/publication/BenavidesCBH08"
  cites: 0
  citedby: 0
  pages: "385"
  booktitle: "SPLC"
  kind: "inproceedings"
  key: "BenavidesCBH08"
- title: "Panel Languages and Models for Reusable Components"
  author:
  - name: "Ben Whittle"
    link: "https://researchr.org/alias/ben-whittle"
  - name: "Don S. Batory"
    link: "http://www.cs.utexas.edu/~dsb/"
  - name: "Reidar Conradi"
    link: "https://researchr.org/alias/reidar-conradi"
  - name: "J. Moore"
    link: "https://researchr.org/alias/j.-moore"
  - name: "Will Tracz"
    link: "https://researchr.org/alias/will-tracz"
  - name: "Bruce W. Weide"
    link: "https://researchr.org/alias/bruce-w.-weide"
  year: "1995"
  tags:
  - "reusable components"
  - "modeling language"
  - "language modeling"
  - "reuse"
  researchr: "https://researchr.org/publication/WhittleBCMTW95"
  cites: 0
  citedby: 0
  pages: "19-20"
  booktitle: "ssr"
  kind: "inproceedings"
  key: "WhittleBCMTW95"
- title: "Molecular Objects, Abstract Data Types, and Data Models: A Framework"
  author:
  - name: "Don S. Batory"
    link: "http://www.cs.utexas.edu/~dsb/"
  - name: "Alejandro P. Buchmann"
    link: "https://researchr.org/alias/alejandro-p.-buchmann"
  year: "1984"
  doi: "db/conf/vldb/BatoryB84.html"
  tags:
  - "data-flow"
  - "object-role modeling"
  researchr: "https://researchr.org/publication/BatoryB84"
  cites: 0
  citedby: 0
  pages: "172-184"
  booktitle: "VLDB"
  kind: "inproceedings"
  key: "BatoryB84"
- title: "A Model and Storage Technique for Versions of VLSI CAD Objects"
  author:
  - name: "Won Kim"
    link: "https://researchr.org/alias/won-kim"
  - name: "Don S. Batory"
    link: "http://www.cs.utexas.edu/~dsb/"
  year: "1985"
  tags:
  - "meta-model"
  - "object-role modeling"
  - "Meta-Environment"
  - "meta-objects"
  researchr: "https://researchr.org/publication/KimB85"
  cites: 0
  citedby: 0
  pages: "427-439"
  booktitle: "fodo"
  kind: "inproceedings"
  key: "KimB85"
- title: "Feature-Oriented Programming and the AHEAD Tool Suite"
  author:
  - name: "Don S. Batory"
    link: "http://www.cs.utexas.edu/~dsb/"
  year: "2004"
  doi: "http://csdl.computer.org/comp/proceedings/icse/2004/2163/00/21630702abs.htm"
  links:
    doi: "http://csdl.computer.org/comp/proceedings/icse/2004/2163/00/21630702abs.htm"
  tags:
  - "object-oriented programming"
  - "programming"
  - "subject-oriented programming"
  - "feature-oriented programming"
  researchr: "https://researchr.org/publication/Batory04%3A0"
  cites: 0
  citedby: 0
  pages: "702-703"
  booktitle: "ICSE"
  kind: "inproceedings"
  key: "Batory04:0"
- title: "Praire: A Rule Specification Framework for Query Optimizers"
  author:
  - name: "Dinesh Das"
    link: "https://researchr.org/alias/dinesh-das"
  - name: "Don S. Batory"
    link: "http://www.cs.utexas.edu/~dsb/"
  year: "1995"
  doi: "db/conf/icde/DasB95.html"
  tags:
  - "optimization"
  - "rule-based"
  - "rules"
  researchr: "https://researchr.org/publication/DasB95"
  cites: 0
  citedby: 0
  pages: "201-210"
  booktitle: "icde"
  kind: "inproceedings"
  key: "DasB95"
- title: "Index Coding: A Compression Technique for Large Statistical Databases"
  author:
  - name: "Don S. Batory"
    link: "http://www.cs.utexas.edu/~dsb/"
  year: "1983"
  doi: "db/conf/ssdbm/Batory83.html"
  researchr: "https://researchr.org/publication/Batory83"
  cites: 0
  citedby: 0
  pages: "306-314"
  booktitle: "ssdbm"
  kind: "inproceedings"
  key: "Batory83"
- title: "Design Wizards and Visual Programming Environments for GenVoca Generators"
  author:
  - name: "Don S. Batory"
    link: "http://www.cs.utexas.edu/~dsb/"
  - name: "Gang Chen"
    link: "https://researchr.org/alias/gang-chen"
  - name: "Eric Robertson"
    link: "https://researchr.org/alias/eric-robertson"
  - name: "Tao Wang"
    link: "https://researchr.org/alias/tao-wang"
  year: "2000"
  doi: "http://www.computer.org:80/tse/ts2000/e0441abs.htm"
  links:
    doi: "http://www.computer.org:80/tse/ts2000/e0441abs.htm"
  tags:
  - "meta programming"
  - "programming"
  - "Meta-Environment"
  - "design"
  researchr: "https://researchr.org/publication/BatoryCRW00"
  cites: 0
  citedby: 0
  journal: "TSE"
  volume: "26"
  number: "5"
  pages: "441-452"
  kind: "article"
  key: "BatoryCRW00"
- title: "A Case Study Implementing Features Using AspectJ"
  author:
  - name: "Christian Kästner"
    link: "http://wwwiti.cs.uni-magdeburg.de/~ckaestne/"
  - name: "Sven  Apel"
    link: "http://www.infosun.fim.uni-passau.de/cl/staff/apel/"
  - name: "Don S. Batory"
    link: "http://www.cs.utexas.edu/~dsb/"
  year: "2007"
  doi: "http://doi.ieeecomputersociety.org/10.1109/SPLINE.2007.12"
  links:
    doi: "http://doi.ieeecomputersociety.org/10.1109/SPLINE.2007.12"
  tags:
  - "AspectJ"
  - "case study"
  researchr: "https://researchr.org/publication/KastnerAB07"
  cites: 0
  citedby: 0
  pages: "223-232"
  booktitle: "SPLC"
  kind: "inproceedings"
  key: "KastnerAB07"
- title: "Generating Product-Lines of Product-Families"
  author:
  - name: "Don S. Batory"
    link: "http://www.cs.utexas.edu/~dsb/"
  - name: "Roberto E. Lopez-Herrejon"
    link: "https://researchr.org/alias/roberto-e.-lopez-herrejon"
  - name: "Jean-Philippe Martin"
    link: "https://researchr.org/alias/jean-philippe-martin"
  year: "2002"
  doi: "http://csdl.computer.org/comp/proceedings/ase/2002/1736/00/17360081abs.htm"
  links:
    doi: "http://csdl.computer.org/comp/proceedings/ase/2002/1736/00/17360081abs.htm"
  tags:
  - "e-science"
  researchr: "https://researchr.org/publication/BatoryLM02"
  cites: 0
  citedby: 0
  pages: "81-92"
  booktitle: "ASE"
  kind: "inproceedings"
  key: "BatoryLM02"
- title: "The Road to Utopia: A Future for Generative Programming"
  author:
  - name: "Don S. Batory"
    link: "http://www.cs.utexas.edu/~dsb/"
  year: "2003"
  doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3016&spage=1"
  links:
    doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3016&spage=1"
  tags:
  - "generative programming"
  - "programming"
  researchr: "https://researchr.org/publication/Batory03"
  cites: 0
  citedby: 0
  pages: "1-18"
  booktitle: "Dagstuhl"
  kind: "inproceedings"
  key: "Batory03"
- title: "On the importance and challenges of FOSD"
  author:
  - name: "Don S. Batory"
    link: "http://www.cs.utexas.edu/~dsb/"
  year: "2009"
  doi: "http://doi.acm.org/10.1145/1629716.1629718"
  links:
    doi: "http://doi.acm.org/10.1145/1629716.1629718"
  researchr: "https://researchr.org/publication/Batory09-1"
  cites: 0
  citedby: 0
  pages: "1"
  booktitle: "MoDELS"
  kind: "inproceedings"
  key: "Batory09-1"
- title: "Architectural Styles as Adaptors"
  author:
  - name: "Don S. Batory"
    link: "http://www.cs.utexas.edu/~dsb/"
  - name: "Yannis Smaragdakis"
    link: "http://smaragd.org"
  - name: "Lou Coglianese"
    link: "https://researchr.org/alias/lou-coglianese"
  year: "1999"
  tags:
  - "architecture"
  researchr: "https://researchr.org/publication/BatorySC99"
  cites: 0
  citedby: 0
  pages: "203-224"
  booktitle: "wicsa"
  kind: "inproceedings"
  key: "BatorySC99"
- title: "Scalable Software Libraries"
  author:
  - name: "Don S. Batory"
    link: "http://www.cs.utexas.edu/~dsb/"
  - name: "Vivek Singhal"
    link: "https://researchr.org/alias/vivek-singhal"
  - name: "Marty Sirkin"
    link: "https://researchr.org/alias/marty-sirkin"
  - name: "Jeff Thomas"
    link: "https://researchr.org/alias/jeff-thomas"
  year: "1993"
  doi: "http://doi.acm.org/10.1145/256428.167078"
  links:
    doi: "http://doi.acm.org/10.1145/256428.167078"
  researchr: "https://researchr.org/publication/BatorySST93"
  cites: 0
  citedby: 0
  pages: "191-199"
  booktitle: "ESEC/FSE"
  kind: "inproceedings"
  key: "BatorySST93"
- title: "Implementing a Domain Model for Data Structures"
  author:
  - name: "Don S. Batory"
    link: "http://www.cs.utexas.edu/~dsb/"
  - name: "Vivek Singhal"
    link: "https://researchr.org/alias/vivek-singhal"
  - name: "Marty Sirkin"
    link: "https://researchr.org/alias/marty-sirkin"
  year: "1992"
  doi: "http://dx.doi.org/10.1142/S021819409200018X"
  links:
    doi: "http://dx.doi.org/10.1142/S021819409200018X"
  tags:
  - "data-flow"
  researchr: "https://researchr.org/publication/BatorySS92"
  cites: 0
  citedby: 0
  journal: "ijseke"
  volume: "2"
  number: "3"
  pages: "375-402"
  kind: "article"
  key: "BatorySS92"
- title: "Program Comprehension in Generative Programming: A History of Grand Challenges"
  author:
  - name: "Don S. Batory"
    link: "http://www.cs.utexas.edu/~dsb/"
  year: "2004"
  doi: "http://csdl.computer.org/comp/proceedings/iwpc/2004/2149/00/21490002abs.htm"
  links:
    doi: "http://csdl.computer.org/comp/proceedings/iwpc/2004/2149/00/21490002abs.htm"
  tags:
  - "generative programming"
  - "program comprehension"
  - "programming"
  - "history"
  researchr: "https://researchr.org/publication/Batory04"
  cites: 0
  citedby: 0
  pages: "2-13"
  booktitle: "IWPC"
  kind: "inproceedings"
  key: "Batory04"
- title: "Multilevel models in model-driven engineering, product lines, and metaprogramming"
  author:
  - name: "Don S. Batory"
    link: "http://www.cs.utexas.edu/~dsb/"
  year: "2006"
  doi: "http://dx.doi.org/10.1147/sj.453.0527"
  links:
    doi: "http://dx.doi.org/10.1147/sj.453.0527"
  tags:
  - "meta-model"
  - "model-driven engineering"
  - "Meta-Environment"
  researchr: "https://researchr.org/publication/Batory06"
  cites: 0
  citedby: 0
  journal: "IBMSJ"
  volume: "45"
  number: "3"
  pages: "527-540"
  kind: "article"
  key: "Batory06"
- title: "Roadmap for enhanced languages and methods to aid verification"
  author:
  - name: "Gary T. Leavens"
    link: "https://researchr.org/alias/gary-t.-leavens"
  - name: "Jean-Raymond Abrial"
    link: "https://researchr.org/alias/jean-raymond-abrial"
  - name: "Don S. Batory"
    link: "http://www.cs.utexas.edu/~dsb/"
  - name: "Michael J. Butler"
    link: "https://researchr.org/alias/michael-j.-butler"
  - name: "Alessandro Coglio"
    link: "https://researchr.org/alias/alessandro-coglio"
  - name: "Kathi Fisler"
    link: "https://researchr.org/alias/kathi-fisler"
  - name: "Eric C. R. Hehner"
    link: "https://researchr.org/alias/eric-c.-r.-hehner"
  - name: "Cliff B. Jones"
    link: "https://researchr.org/alias/cliff-b.-jones"
  - name: "Dale Miller"
    link: "https://researchr.org/alias/dale-miller"
  - name: "Simon L. Peyton Jones"
    link: "http://research.microsoft.com/en-us/people/simonpj/"
  - name: "Murali Sitaraman"
    link: "https://researchr.org/alias/murali-sitaraman"
  - name: "Douglas R. Smith"
    link: "https://researchr.org/alias/douglas-r.-smith"
  - name: "Aaron Stump"
    link: "https://researchr.org/alias/aaron-stump"
  year: "2006"
  doi: "http://doi.acm.org/10.1145/1173706.1173740"
  links:
    doi: "http://doi.acm.org/10.1145/1173706.1173740"
  tags:
  - "C++"
  researchr: "https://researchr.org/publication/LeavensABBCFHJMJSSS06"
  cites: 0
  citedby: 0
  pages: "221-236"
  booktitle: "GPCE"
  kind: "inproceedings"
  key: "LeavensABBCFHJMJSSS06"
- title: "The Object-Oriented Functional Data Language"
  author:
  - name: "Michael V. Mannino"
    link: "https://researchr.org/alias/michael-v.-mannino"
  - name: "Injun Choi"
    link: "https://researchr.org/alias/injun-choi"
  - name: "Don S. Batory"
    link: "http://www.cs.utexas.edu/~dsb/"
  year: "1990"
  doi: "http://www.computer.org/tse/ts1990/e1258abs.htm"
  links:
    doi: "http://www.computer.org/tse/ts1990/e1258abs.htm"
  tags:
  - "data-flow language"
  - "data-flow"
  - "Meta-Environment"
  - "meta-objects"
  researchr: "https://researchr.org/publication/ManninoCB90"
  cites: 0
  citedby: 0
  journal: "TSE"
  volume: "16"
  number: "11"
  pages: "1258-1272"
  kind: "article"
  key: "ManninoCB90"
- title: "Coupling Design and Verification in Software Product Lines"
  author:
  - name: "Egon Börger"
    link: "https://researchr.org/alias/egon-b%C3%B6rger"
  - name: "Don S. Batory"
    link: "http://www.cs.utexas.edu/~dsb/"
  year: "2008"
  doi: "http://dx.doi.org/10.1007/978-3-540-77684-0_1"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-540-77684-0_1"
  tags:
  - "software product lines"
  - "design"
  researchr: "https://researchr.org/publication/BorgerB08"
  cites: 0
  citedby: 0
  pages: "1-4"
  booktitle: "foiks"
  kind: "inproceedings"
  key: "BorgerB08"
- title: "Modeling Features in Aspect-Based Product Lines with Use Case Slices: An Exploratory Case Study"
  author:
  - name: "Roberto E. Lopez-Herrejon"
    link: "https://researchr.org/alias/roberto-e.-lopez-herrejon"
  - name: "Don S. Batory"
    link: "http://www.cs.utexas.edu/~dsb/"
  year: "2006"
  doi: "http://dx.doi.org/10.1007/978-3-540-69489-2_2"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-540-69489-2_2"
  tags:
  - "case study"
  - "modeling"
  - "slicing"
  - "e-science"
  researchr: "https://researchr.org/publication/Lopez-HerrejonB06"
  cites: 0
  citedby: 0
  pages: "6-16"
  booktitle: "MoDELS"
  kind: "inproceedings"
  key: "Lopez-HerrejonB06"
- title: "B+ Trees and Indexed Sequential Files: A Performance Comparison"
  author:
  - name: "Don S. Batory"
    link: "http://www.cs.utexas.edu/~dsb/"
  year: "1981"
  doi: "http://doi.acm.org/10.1145/582318.582323"
  links:
    doi: "http://doi.acm.org/10.1145/582318.582323"
  researchr: "https://researchr.org/publication/Batory81"
  cites: 0
  citedby: 0
  pages: "30-39"
  booktitle: "SIGMOD"
  kind: "inproceedings"
  key: "Batory81"
- title: "Modeling Interactions in Feature Oriented Software Designs"
  author:
  - name: "Jia Liu"
    link: "https://researchr.org/alias/jia-liu"
  - name: "Don S. Batory"
    link: "http://www.cs.utexas.edu/~dsb/"
  - name: "Srinivas Nedunuri"
    link: "https://researchr.org/alias/srinivas-nedunuri"
  year: "2005"
  tags:
  - "modeling"
  researchr: "https://researchr.org/publication/LiuBN05"
  cites: 0
  citedby: 0
  pages: "178-197"
  booktitle: "fiw"
  kind: "inproceedings"
  key: "LiuBN05"
- title: "DiSTiL: A Transformation Library for Data Structures"
  author:
  - name: "Yannis Smaragdakis"
    link: "http://smaragd.org"
  - name: "Don S. Batory"
    link: "http://www.cs.utexas.edu/~dsb/"
  year: "1997"
  doi: "http://www.usenix.org/publications/library/proceedings/dsl97/smaragdakis.html"
  links:
    doi: "http://www.usenix.org/publications/library/proceedings/dsl97/smaragdakis.html"
  tags:
  - "data-flow"
  - "DSL"
  - "transformation"
  researchr: "https://researchr.org/publication/SmaragdakisB97"
  cites: 0
  citedby: 1
  booktitle: "DSL"
  kind: "inproceedings"
  key: "SmaragdakisB97"
- title: "Achieving Extensibility Through Product-Lines and Domain-Specific Languages: A Case Study"
  author:
  - name: "Don S. Batory"
    link: "http://www.cs.utexas.edu/~dsb/"
  - name: "Clay Johnson"
    link: "https://researchr.org/alias/clay-johnson"
  - name: "Bob MacDonald"
    link: "https://researchr.org/alias/bob-macdonald"
  - name: "Dale von Heeder"
    link: "https://researchr.org/alias/dale-von-heeder"
  year: "2000"
  tags:
  - "case study"
  - "extensible language"
  - "domain-specific language"
  researchr: "https://researchr.org/publication/BatoryJMH00"
  cites: 0
  citedby: 0
  pages: "117-136"
  booktitle: "icsr"
  kind: "inproceedings"
  key: "BatoryJMH00"
- title: "Automating Three Modes of Evolution for Object-Oriented Software Architectures"
  author:
  - name: "Lance Tokuda"
    link: "https://researchr.org/alias/lance-tokuda"
  - name: "Don S. Batory"
    link: "http://www.cs.utexas.edu/~dsb/"
  year: "1999"
  doi: "http://www.usenix.org/publications/library/proceedings/coots99/tokuda.html"
  links:
    doi: "http://www.usenix.org/publications/library/proceedings/coots99/tokuda.html"
  tags:
  - "software architecture"
  - "architecture"
  - "software evolution"
  researchr: "https://researchr.org/publication/TokudaB99%3A0"
  cites: 0
  citedby: 0
  pages: "189-202"
  booktitle: "coots"
  kind: "inproceedings"
  key: "TokudaB99:0"
- title: "GENESIS: A Project to Develop an Extensible Database Management System"
  author:
  - name: "Don S. Batory"
    link: "http://www.cs.utexas.edu/~dsb/"
  year: "1986"
  doi: "db/conf/oodbs/Batory86.html"
  tags:
  - "database"
  researchr: "https://researchr.org/publication/Batory86%3A0"
  cites: 0
  citedby: 0
  pages: "207-208"
  booktitle: "COODBSE"
  kind: "inproceedings"
  key: "Batory86:0"
- title: "From implementation to theory in product synthesis"
  author:
  - name: "Don S. Batory"
    link: "http://www.cs.utexas.edu/~dsb/"
  year: "2007"
  doi: "http://doi.acm.org/10.1145/1190216.1190238"
  abstract: "Future software development will rely on product synthesis, i.e., the synthesis of code and non-code artifacts for a target component or application. Prior work on feature-based product synthesis can be understood and generalized using elementary ideas from category theory. Doing so reveals (a) practical and previously unrecognized properties that product synthesis tools must satisfy, and (b) non-obvious generalizations of current techniques that will guide future research efforts in automated product development."
  links:
    doi: "http://doi.acm.org/10.1145/1190216.1190238"
  tags:
  - "rule-based"
  - "software components"
  - "software component"
  - "product synthesis"
  researchr: "https://researchr.org/publication/Batory07%3A1"
  cites: 0
  citedby: 0
  pages: "135-136"
  booktitle: "POPL"
  kind: "inproceedings"
  key: "Batory07:1"
- title: "Concepts for a Database System Compiler"
  author:
  - name: "Don S. Batory"
    link: "http://www.cs.utexas.edu/~dsb/"
  year: "1988"
  doi: "http://doi.acm.org/10.1145/308386.308435"
  links:
    doi: "http://doi.acm.org/10.1145/308386.308435"
  tags:
  - "compiler"
  - "database"
  researchr: "https://researchr.org/publication/Batory88"
  cites: 0
  citedby: 0
  pages: "184-192"
  booktitle: "PODS"
  kind: "inproceedings"
  key: "Batory88"
- title: "Letter from the Editor"
  author:
  - name: "Don S. Batory"
    link: "http://www.cs.utexas.edu/~dsb/"
  year: "1984"
  doi: "http://sites.computer.org/debull/84MAR-CD.pdf"
  links:
    doi: "http://sites.computer.org/debull/84MAR-CD.pdf"
  researchr: "https://researchr.org/publication/Batory84"
  cites: 0
  citedby: 0
  journal: "DEBU"
  volume: "7"
  number: "1"
  pages: "1"
  kind: "article"
  key: "Batory84"
- title: "A specification-based approach to testing software product lines"
  author:
  - name: "Engin Uzuncaova"
    link: "https://researchr.org/alias/engin-uzuncaova"
  - name: "Daniel Garcia"
    link: "https://researchr.org/alias/daniel-garcia"
  - name: "Sarfraz Khurshid"
    link: "https://researchr.org/alias/sarfraz-khurshid"
  - name: "Don S. Batory"
    link: "http://www.cs.utexas.edu/~dsb/"
  year: "2007"
  doi: "http://doi.acm.org/10.1145/1295014.1295032"
  links:
    doi: "http://doi.acm.org/10.1145/1295014.1295032"
  tags:
  - "rule-based"
  - "software product lines"
  - "testing"
  - "systematic-approach"
  researchr: "https://researchr.org/publication/UzuncaovaGKB07a"
  cites: 0
  citedby: 0
  pages: "525-528"
  booktitle: "ESEC/FSE"
  kind: "inproceedings"
  key: "UzuncaovaGKB07a"
- title: "Refactoring Feature Modules"
  author:
  - name: "Martin Kuhlemann"
    link: "https://researchr.org/alias/martin-kuhlemann"
  - name: "Don S. Batory"
    link: "http://www.cs.utexas.edu/~dsb/"
  - name: "Sven Apel"
    link: "https://researchr.org/alias/sven-apel"
  year: "2009"
  doi: "http://dx.doi.org/10.1007/978-3-642-04211-9_11"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-642-04211-9_11"
  tags:
  - "refactoring"
  researchr: "https://researchr.org/publication/KuhlemannBA09"
  cites: 0
  citedby: 0
  pages: "106-115"
  booktitle: "icsr"
  kind: "inproceedings"
  key: "KuhlemannBA09"
- title: "Panel on Extensible Database Systems"
  author:
  - name: "Don S. Batory"
    link: "http://www.cs.utexas.edu/~dsb/"
  - name: "Michael V. Mannino"
    link: "https://researchr.org/alias/michael-v.-mannino"
  year: "1986"
  doi: "http://doi.acm.org/10.1145/16894.16873"
  links:
    doi: "http://doi.acm.org/10.1145/16894.16873"
  tags:
  - "database"
  researchr: "https://researchr.org/publication/BatoryM86"
  cites: 0
  citedby: 0
  pages: "187-190"
  booktitle: "SIGMOD"
  kind: "inproceedings"
  key: "BatoryM86"
- title: "Scaling Step-Wise Refinement"
  author:
  - name: "Don S. Batory"
    link: "http://www.cs.utexas.edu/~dsb/"
  - name: "Jacob Neal Sarvela"
    link: "https://researchr.org/alias/jacob-neal-sarvela"
  - name: "Axel Rauschmayer"
    link: "https://researchr.org/alias/axel-rauschmayer"
  year: "2003"
  doi: "http://computer.org/proceedings/icse/1877/18770187abs.htm"
  links:
    doi: "http://computer.org/proceedings/icse/1877/18770187abs.htm"
  tags:
  - "refinement"
  researchr: "https://researchr.org/publication/BatorySR03"
  cites: 0
  citedby: 0
  pages: "187-197"
  booktitle: "ICSE"
  kind: "inproceedings"
  key: "BatorySR03"
- title: "Guaranteeing Syntactic Correctness for all Product Line Variants: A Language-Independent Approach"
  author:
  - name: "Christian Kästner"
    link: "http://wwwiti.cs.uni-magdeburg.de/~ckaestne/"
  - name: "Sven  Apel"
    link: "http://www.infosun.fim.uni-passau.de/cl/staff/apel/"
  - name: "Salvador Trujillo"
    link: "https://researchr.org/alias/salvador-trujillo"
  - name: "Martin Kuhlemann"
    link: "https://researchr.org/alias/martin-kuhlemann"
  - name: "Don S. Batory"
    link: "http://www.cs.utexas.edu/~dsb/"
  year: "2009"
  month: "JUN"
  doi: "10.1007/978-3-642-02571-6"
  abstract: "A software product line (SPL) is a family of related program variants in a well-defined domain, generated from a set of features. A fundamental difference from classical application development is that engineers develop not a single program but a whole family with hundreds to millions of variants. This makes it infeasible to separately check every distinct variant for errors. Still engineers want guarantees on the entire SPL. A further challenge is that an SPL may contain artifacts in different languages (code, documentation, models, etc.) that should be checked. In this paper, we present CIDE, an SPL development tool that guarantees syntactic correctness for all variants of an SPL. We show how CIDE's underlying mechanism abstracts from textual representation and we generalize it to arbitrary languages. Furthermore, we automate the generation of safe plug-ins for additional languages from annotated grammars. To demonstrate the language-independent capabilities, we applied CIDE to a series of case studies with artifacts written in Java, C++, C, Haskell, ANTLR, HTML, and XML."
  links:
    "url": "http://www.springerlink.com/content/t8752407443k83j2"
  tags:
  - "programming languages"
  - " syntax errors"
  - "Java"
  - "program analysis"
  - "meta programming"
  - "case study"
  - "model checking"
  - "meta-model"
  - "XML"
  - "abstract syntax"
  - "modeling language"
  - "XML Schema"
  - "Variability-Aware Analysis"
  - "DSLsAndPLE"
  - " annotations"
  - "language modeling"
  - "domain analysis"
  - "analysis"
  - "Haskell"
  - "model-driven development"
  - "C++"
  - "code generation"
  - "context-aware"
  - "software product line"
  - "Meta-Environment"
  - "product line"
  - " ifdef"
  - "systematic-approach"
  - "grammar"
  - "CIDE"
  - "domain-specific language"
  researchr: "https://researchr.org/publication/KATKB%3ATOOLS09"
  cites: 0
  citedby: 0
  booktitle: "Proceedings of the 47th International Conference Objects, Models, Components, Patterns (TOOLS EUROPE)"
  kind: "inproceedings"
  key: "KATKB:TOOLS09"
- title: "Evolving Object-Oriented Designs with Refactorings"
  author:
  - name: "Lance Tokuda"
    link: "https://researchr.org/alias/lance-tokuda"
  - name: "Don S. Batory"
    link: "http://www.cs.utexas.edu/~dsb/"
  year: "1999"
  doi: "http://computer.org/proceedings/ase/0415/04150174abs.htm"
  links:
    doi: "http://computer.org/proceedings/ase/0415/04150174abs.htm"
  tags:
  - "meta-model"
  - "model refactoring"
  - "refactoring"
  - "Meta-Environment"
  - "meta-objects"
  researchr: "https://researchr.org/publication/TokudaB99"
  cites: 0
  citedby: 0
  pages: "174"
  booktitle: "ASE"
  kind: "inproceedings"
  key: "TokudaB99"
- title: "The Objects and Arrows of Computational Design"
  author:
  - name: "Don S. Batory"
    link: "http://www.cs.utexas.edu/~dsb/"
  - name: "Maider Azanza"
    link: "https://researchr.org/alias/maider-azanza"
  - name: "João Saraiva"
    link: "http://di.uminho.pt/~jas"
  year: "2008"
  doi: "http://dx.doi.org/10.1007/978-3-540-87875-9_1"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-540-87875-9_1"
  tags:
  - "meta-model"
  - "Meta-Environment"
  - "design"
  - "meta-objects"
  researchr: "https://researchr.org/publication/BatoryAS08"
  cites: 0
  citedby: 0
  pages: "1-20"
  booktitle: "MoDELS"
  kind: "inproceedings"
  key: "BatoryAS08"
- title: "Building Product-Lines with Mixin-Layers"
  author:
  - name: "Yannis Smaragdakis"
    link: "http://smaragd.org"
  - name: "Don S. Batory"
    link: "http://www.cs.utexas.edu/~dsb/"
  year: "1999"
  researchr: "https://researchr.org/publication/Batory99"
  cites: 0
  citedby: 0
  pages: "197"
  booktitle: "ECOOPW"
  kind: "inproceedings"
  key: "Batory99"
- title: "Principles of Database Management System Extensibility"
  author:
  - name: "Don S. Batory"
    link: "http://www.cs.utexas.edu/~dsb/"
  year: "1987"
  doi: "http://sites.computer.org/debull/87JUN-CD.pdf"
  links:
    doi: "http://sites.computer.org/debull/87JUN-CD.pdf"
  tags:
  - "principles"
  - "database"
  researchr: "https://researchr.org/publication/Batory87"
  cites: 0
  citedby: 0
  journal: "DEBU"
  volume: "10"
  number: "2"
  pages: "40-46"
  kind: "article"
  key: "Batory87"
- title: "On the modularity of feature interactions"
  author:
  - name: "Chang Hwan Peter Kim"
    link: "https://researchr.org/alias/chang-hwan-peter-kim"
  - name: "Christian Kästner"
    link: "http://wwwiti.cs.uni-magdeburg.de/~ckaestne/"
  - name: "Don S. Batory"
    link: "http://www.cs.utexas.edu/~dsb/"
  year: "2008"
  doi: "http://doi.acm.org/10.1145/1449913.1449919"
  links:
    doi: "http://doi.acm.org/10.1145/1449913.1449919"
  tags:
  - "fosd"
  - "Variability-Aware Analysis"
  - "analysis"
  - "type checking"
  - "context-aware"
  - "CIDE"
  researchr: "https://researchr.org/publication/KimKB08"
  cites: 0
  citedby: 0
  pages: "23-34"
  booktitle: "GPCE"
  kind: "inproceedings"
  key: "KimKB08"
- title: "Implementing Layered Designs with Mixin Layers"
  author:
  - name: "Yannis Smaragdakis"
    link: "http://smaragd.org"
  - name: "Don S. Batory"
    link: "http://www.cs.utexas.edu/~dsb/"
  year: "1998"
  doi: "http://link.springer.de/link/service/series/0558/bibs/1445/14450550.htm"
  links:
    doi: "http://link.springer.de/link/service/series/0558/bibs/1445/14450550.htm"
  researchr: "https://researchr.org/publication/SmaragdakisB98"
  cites: 0
  citedby: 0
  pages: "550-570"
  booktitle: "ECOOP"
  kind: "inproceedings"
  key: "SmaragdakisB98"
- title: "Extensible Cost Models and Query Optimization in GENESIS"
  author:
  - name: "Don S. Batory"
    link: "http://www.cs.utexas.edu/~dsb/"
  year: "1986"
  doi: "http://sites.computer.org/debull/86DEC-CD.pdf"
  links:
    doi: "http://sites.computer.org/debull/86DEC-CD.pdf"
  tags:
  - "optimization"
  researchr: "https://researchr.org/publication/Batory86"
  cites: 0
  citedby: 0
  journal: "DEBU"
  volume: "9"
  number: "4"
  pages: "30-36"
  kind: "article"
  key: "Batory86"
- title: "ACM TODS Publication Policy"
  author:
  - name: "Don S. Batory"
    link: "http://www.cs.utexas.edu/~dsb/"
  - name: "Philip A. Bernstein"
    link: "https://researchr.org/alias/philip-a.-bernstein"
  - name: "Umeshwar Dayal"
    link: "https://researchr.org/alias/umeshwar-dayal"
  - name: "Laura M. Haas"
    link: "https://researchr.org/alias/laura-m.-haas"
  - name: "Theo Härder"
    link: "https://researchr.org/alias/theo-h%C3%A4rder"
  - name: "Won Kim"
    link: "https://researchr.org/alias/won-kim"
  - name: "David  Maier"
    link: "http://web.cecs.pdx.edu/~maier/"
  - name: "Gerard Salton"
    link: "https://researchr.org/alias/gerard-salton"
  - name: "Gio Wiederhold"
    link: "https://researchr.org/alias/gio-wiederhold"
  year: "1989"
  doi: "db/journals/sigmod/BatoryBDHHKMSW89.html"
  researchr: "https://researchr.org/publication/BatoryBDHHKMSW89"
  cites: 0
  citedby: 0
  journal: "SIGMOD"
  volume: "18"
  number: "1"
  pages: "31"
  kind: "article"
  key: "BatoryBDHHKMSW89"
- title: "Creating Reference Architectures: An Example from Avionics"
  author:
  - name: "Don S. Batory"
    link: "http://www.cs.utexas.edu/~dsb/"
  - name: "Lou Coglianese"
    link: "https://researchr.org/alias/lou-coglianese"
  - name: "Mark Goodwin"
    link: "https://researchr.org/alias/mark-goodwin"
  - name: "Steve Shafer"
    link: "https://researchr.org/alias/steve-shafer"
  year: "1995"
  doi: "http://doi.acm.org/10.1145/211782.211786"
  links:
    doi: "http://doi.acm.org/10.1145/211782.211786"
  tags:
  - "architecture"
  researchr: "https://researchr.org/publication/BatoryCGS95"
  cites: 0
  citedby: 0
  pages: "27-37"
  booktitle: "ssr"
  kind: "inproceedings"
  key: "BatoryCGS95"
- title: "Automated analysis of feature models: challenges ahead"
  author:
  - name: "Don S. Batory"
    link: "http://www.cs.utexas.edu/~dsb/"
  - name: "David Benavides"
    link: "https://researchr.org/alias/david-benavides"
  - name: "Antonio Ruiz Cortés"
    link: "https://researchr.org/alias/antonio-ruiz-cort%C3%A9s"
  year: "2006"
  doi: "http://doi.acm.org/10.1145/1183264"
  links:
    doi: "http://doi.acm.org/10.1145/1183264"
  tags:
  - "analysis"
  researchr: "https://researchr.org/publication/BatoryBC06"
  cites: 0
  citedby: 0
  journal: "CACM"
  volume: "49"
  number: "12"
  pages: "45-47"
  kind: "article"
  key: "BatoryBC06"
- title: "A Cost-Benefit Decision Model: Analysis, Comparison, and Selection of Data Management Systems"
  author:
  - name: "Stanley Y. W. Su"
    link: "https://researchr.org/alias/stanley-y.-w.-su"
  - name: "Jozo J. Dujmovic"
    link: "https://researchr.org/alias/jozo-j.-dujmovic"
  - name: "Don S. Batory"
    link: "http://www.cs.utexas.edu/~dsb/"
  - name: "Shamkant B. Navathe"
    link: "https://researchr.org/alias/shamkant-b.-navathe"
  - name: "Richard Elnicki"
    link: "https://researchr.org/alias/richard-elnicki"
  year: "1987"
  doi: "http://doi.acm.org/10.1145/27629.33403"
  links:
    doi: "http://doi.acm.org/10.1145/27629.33403"
  tags:
  - "analysis"
  - "data-flow analysis"
  researchr: "https://researchr.org/publication/SuDBNE87"
  cites: 0
  citedby: 0
  journal: "TODS"
  volume: "12"
  number: "3"
  pages: "472-520"
  kind: "article"
  key: "SuDBNE87"
- title: "Program Refactoring, Program Synthesis, and Model-Driven Development"
  author:
  - name: "Don S. Batory"
    link: "http://www.cs.utexas.edu/~dsb/"
  year: "2007"
  doi: "http://dx.doi.org/10.1007/978-3-540-71229-9_11"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-540-71229-9_11"
  tags:
  - "meta programming"
  - "meta-model"
  - "model refactoring"
  - "refactoring"
  - "model-driven development"
  - "Meta-Environment"
  researchr: "https://researchr.org/publication/Batory07"
  cites: 0
  citedby: 0
  pages: "156-171"
  booktitle: "CC"
  kind: "inproceedings"
  key: "Batory07"
- title: "Feature Oriented Model Driven Development: A Case Study for Portlets"
  author:
  - name: "Salvador Trujillo"
    link: "https://researchr.org/alias/salvador-trujillo"
  - name: "Don S. Batory"
    link: "http://www.cs.utexas.edu/~dsb/"
  - name: "Oscar Díaz"
    link: "https://researchr.org/alias/oscar-d%C3%ADaz"
  year: "2007"
  doi: "http://doi.ieeecomputersociety.org/10.1109/ICSE.2007.36"
  links:
    doi: "http://doi.ieeecomputersociety.org/10.1109/ICSE.2007.36"
  tags:
  - "case study"
  - "meta-model"
  - "model-driven development"
  - "Meta-Environment"
  researchr: "https://researchr.org/publication/TrujilloBD07"
  cites: 0
  citedby: 0
  pages: "44-53"
  booktitle: "ICSE"
  kind: "inproceedings"
  key: "TrujilloBD07"
- title: "Physical Database Research at the University of Florida"
  author:
  - name: "Don S. Batory"
    link: "http://www.cs.utexas.edu/~dsb/"
  - name: "Stanley Y. W. Su"
    link: "https://researchr.org/alias/stanley-y.-w.-su"
  - name: "Shamkant B. Navathe"
    link: "https://researchr.org/alias/shamkant-b.-navathe"
  year: "1982"
  doi: "http://sites.computer.org/debull/82MAR-CD.pdf"
  links:
    doi: "http://sites.computer.org/debull/82MAR-CD.pdf"
  tags:
  - "database"
  researchr: "https://researchr.org/publication/BatorySN82"
  cites: 0
  citedby: 0
  journal: "DEBU"
  volume: "5"
  number: "1"
  pages: "5-8"
  kind: "article"
  key: "BatorySN82"
- title: "Modularity in the New Millenium: A Panel Summary"
  author:
  - name: "Premkumar T. Devanbu"
    link: "https://researchr.org/alias/premkumar-t.-devanbu"
  - name: "Robert Balzer"
    link: "https://researchr.org/alias/robert-balzer"
  - name: "Don S. Batory"
    link: "http://www.cs.utexas.edu/~dsb/"
  - name: "Gregor Kiczales"
    link: "http://people.cs.ubc.ca/~gregor/"
  - name: "John Launchbury"
    link: "https://researchr.org/alias/john-launchbury"
  - name: "David Lorge Parnas"
    link: "http://en.wikipedia.org/wiki/David_Parnas"
  - name: "Peri L. Tarr"
    link: "https://researchr.org/alias/peri-l.-tarr"
  year: "2003"
  doi: "http://computer.org/proceedings/icse/1877/18770723.pdf"
  links:
    doi: "http://computer.org/proceedings/icse/1877/18770723.pdf"
  researchr: "https://researchr.org/publication/DevanbuBBKLPT03"
  cites: 0
  citedby: 0
  pages: "723-725"
  booktitle: "ICSE"
  kind: "inproceedings"
  key: "DevanbuBBKLPT03"
- title: "A Science of Software Design"
  author:
  - name: "Don S. Batory"
    link: "http://www.cs.utexas.edu/~dsb/"
  year: "2004"
  doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3116&spage=3"
  links:
    doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3116&spage=3"
  tags:
  - "design science"
  - "e-science"
  - "design"
  - "science of software design"
  researchr: "https://researchr.org/publication/Batory04%3A1"
  cites: 0
  citedby: 0
  pages: "3-18"
  booktitle: "amast"
  kind: "inproceedings"
  key: "Batory04:1"
- title: "Implementation Concepts for an Extensible Data Model and Data Language"
  author:
  - name: "Don S. Batory"
    link: "http://www.cs.utexas.edu/~dsb/"
  - name: "T. Y. Leung"
    link: "https://researchr.org/alias/t.-y.-leung"
  - name: "T. E. Wise"
    link: "https://researchr.org/alias/t.-e.-wise"
  year: "1988"
  doi: "http://doi.acm.org/10.1145/44498.45062"
  links:
    doi: "http://doi.acm.org/10.1145/44498.45062"
  tags:
  - "data-flow language"
  - "modeling language"
  - "language modeling"
  - "data-flow"
  - "e-science"
  - "extensible language"
  researchr: "https://researchr.org/publication/BatoryLW88"
  cites: 0
  citedby: 0
  journal: "TODS"
  volume: "13"
  number: "3"
  pages: "231-262"
  kind: "article"
  key: "BatoryLW88"
- title: "Testing Software Product Lines Using Incremental Test Generation"
  author:
  - name: "Engin Uzuncaova"
    link: "https://researchr.org/alias/engin-uzuncaova"
  - name: "Daniel Garcia"
    link: "https://researchr.org/alias/daniel-garcia"
  - name: "Sarfraz Khurshid"
    link: "https://researchr.org/alias/sarfraz-khurshid"
  - name: "Don S. Batory"
    link: "http://www.cs.utexas.edu/~dsb/"
  year: "2008"
  doi: "http://dx.doi.org/10.1109/ISSRE.2008.56"
  links:
    doi: "http://dx.doi.org/10.1109/ISSRE.2008.56"
  tags:
  - "software product lines"
  - "testing"
  - "incremental"
  researchr: "https://researchr.org/publication/UzuncaovaGKB08"
  cites: 0
  citedby: 0
  pages: "249-258"
  booktitle: "issre"
  kind: "inproceedings"
  key: "UzuncaovaGKB08"
- title: "Design of Large-Scale Polylingual Systems"
  author:
  - name: "Mark Grechanik"
    link: "https://researchr.org/alias/mark-grechanik"
  - name: "Don S. Batory"
    link: "http://www.cs.utexas.edu/~dsb/"
  - name: "Dewayne E. Perry"
    link: "https://researchr.org/alias/dewayne-e.-perry"
  year: "2004"
  doi: "http://csdl.computer.org/comp/proceedings/icse/2004/2163/00/21630357abs.htm"
  links:
    doi: "http://csdl.computer.org/comp/proceedings/icse/2004/2163/00/21630357abs.htm"
  tags:
  - "design science"
  - "e-science"
  - "design"
  researchr: "https://researchr.org/publication/GrechanikBP04"
  cites: 0
  citedby: 0
  pages: "357-366"
  booktitle: "ICSE"
  kind: "inproceedings"
  key: "GrechanikBP04"
- title: "When to use features and aspects?: a case study"
  author:
  - name: "Sven  Apel"
    link: "http://www.infosun.fim.uni-passau.de/cl/staff/apel/"
  - name: "Don S. Batory"
    link: "http://www.cs.utexas.edu/~dsb/"
  year: "2006"
  doi: "http://doi.acm.org/10.1145/1173706.1173716"
  links:
    doi: "http://doi.acm.org/10.1145/1173706.1173716"
  tags:
  - "case study"
  researchr: "https://researchr.org/publication/ApelB06"
  cites: 0
  citedby: 0
  pages: "59-68"
  booktitle: "GPCE"
  kind: "inproceedings"
  key: "ApelB06"
- title: "Evaluating Support for Features in Advanced Modularization Technologies"
  author:
  - name: "Roberto E. Lopez-Herrejon"
    link: "https://researchr.org/alias/roberto-e.-lopez-herrejon"
  - name: "Don S. Batory"
    link: "http://www.cs.utexas.edu/~dsb/"
  - name: "William R. Cook"
    link: "http://www.cs.utexas.edu/~wcook/"
  year: "2005"
  doi: "http://dx.doi.org/10.1007/11531142_8"
  links:
    doi: "http://dx.doi.org/10.1007/11531142_8"
  tags:
  - "e-science"
  researchr: "https://researchr.org/publication/Lopez-HerrejonBC05"
  cites: 0
  citedby: 0
  pages: "169-194"
  booktitle: "ECOOP"
  kind: "inproceedings"
  key: "Lopez-HerrejonBC05"
- title: "Feature Models, Grammars, and Propositional Formulas"
  author:
  - name: "Don S. Batory"
    link: "http://www.cs.utexas.edu/~dsb/"
  year: "2005"
  doi: "http://dx.doi.org/10.1007/11554844_3"
  links:
    doi: "http://dx.doi.org/10.1007/11554844_3"
  tags:
  - "DSLsAndPLE"
  - "grammar"
  researchr: "https://researchr.org/publication/Batory05"
  cites: 0
  citedby: 0
  pages: "7-20"
  booktitle: "SPLC"
  kind: "inproceedings"
  key: "Batory05"
- title: "Using AOP to Monitor and Administer Software for Grid Computing Environments"
  author:
  - name: "Mark Grechanik"
    link: "https://researchr.org/alias/mark-grechanik"
  - name: "Dewayne E. Perry"
    link: "https://researchr.org/alias/dewayne-e.-perry"
  - name: "Don S. Batory"
    link: "http://www.cs.utexas.edu/~dsb/"
  year: "2005"
  doi: "http://doi.ieeecomputersociety.org/10.1109/COMPSAC.2005.167"
  links:
    doi: "http://doi.ieeecomputersociety.org/10.1109/COMPSAC.2005.167"
  tags:
  - "e-science"
  - "Meta-Environment"
  researchr: "https://researchr.org/publication/GrechanikPB05"
  cites: 0
  citedby: 0
  pages: "241-248"
  booktitle: "compsac"
  kind: "inproceedings"
  key: "GrechanikPB05"
- title: "Lifting Transformational Models of Product Lines: A Case Study"
  author:
  - name: "Greg Freeman"
    link: "https://researchr.org/alias/greg-freeman"
  - name: "Don S. Batory"
    link: "http://www.cs.utexas.edu/~dsb/"
  - name: "R. Greg Lavender"
    link: "https://researchr.org/alias/r.-greg-lavender"
  year: "2008"
  doi: "http://dx.doi.org/10.1007/978-3-540-69927-9_2"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-540-69927-9_2"
  tags:
  - "model-to-model transformation"
  - "case study"
  - "meta-model"
  - "source-to-source"
  - "model transformation"
  - "Meta-Environment"
  - "product line"
  - "transformation"
  researchr: "https://researchr.org/publication/FreemanBL08"
  cites: 0
  citedby: 0
  pages: "16-30"
  booktitle: "ICMT"
  kind: "inproceedings"
  key: "FreemanBL08"
- title: "Automatic Remodularization and Optimized Synthesis of Product-Families"
  author:
  - name: "Jia Liu"
    link: "https://researchr.org/alias/jia-liu"
  - name: "Don S. Batory"
    link: "http://www.cs.utexas.edu/~dsb/"
  year: "2004"
  doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3286&spage=379"
  links:
    doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3286&spage=379"
  tags:
  - "optimization"
  researchr: "https://researchr.org/publication/LiuB04"
  cites: 0
  citedby: 0
  pages: "379-395"
  booktitle: "GPCE"
  kind: "inproceedings"
  key: "LiuB04"
- title: "A disciplined approach to aspect composition"
  author:
  - name: "Roberto E. Lopez-Herrejon"
    link: "https://researchr.org/alias/roberto-e.-lopez-herrejon"
  - name: "Don S. Batory"
    link: "http://www.cs.utexas.edu/~dsb/"
  - name: "Christian Lengauer"
    link: "http://www.infosun.fim.uni-passau.de/cl/staff/lengauer/"
  year: "2006"
  doi: "http://doi.acm.org/10.1145/1111542.1111554"
  links:
    doi: "http://doi.acm.org/10.1145/1111542.1111554"
  tags:
  - "composition"
  - "e-science"
  - "systematic-approach"
  researchr: "https://researchr.org/publication/Lopez-HerrejonBL06"
  cites: 0
  citedby: 0
  pages: "68-77"
  booktitle: "PEPM"
  kind: "inproceedings"
  key: "Lopez-HerrejonBL06"
- title: "Dimensions of Variability in Software Product Lines"
  author:
  - name: "Don S. Batory"
    link: "http://www.cs.utexas.edu/~dsb/"
  year: "2009"
  doi: "http://www.vamos-workshop.net/proceedings/VaMoS_2009_Proceedings.pdf"
  links:
    doi: "http://www.vamos-workshop.net/proceedings/VaMoS_2009_Proceedings.pdf"
  tags:
  - "software product lines"
  researchr: "https://researchr.org/publication/Batory09"
  cites: 0
  citedby: 0
  pages: "7"
  booktitle: "vamos"
  kind: "inproceedings"
  key: "Batory09"
- title: "Modeling Concepts for VLSI CAD Objects"
  author:
  - name: "Don S. Batory"
    link: "http://www.cs.utexas.edu/~dsb/"
  - name: "Won Kim"
    link: "https://researchr.org/alias/won-kim"
  year: "1985"
  doi: "http://doi.acm.org/10.1145/3979.4018"
  links:
    doi: "http://doi.acm.org/10.1145/3979.4018"
  tags:
  - "meta-model"
  - "modeling"
  - "object-role modeling"
  - "Meta-Environment"
  - "meta-objects"
  researchr: "https://researchr.org/publication/BatoryK85%3A0"
  cites: 0
  citedby: 0
  journal: "TODS"
  volume: "10"
  number: "3"
  pages: "322-346"
  kind: "article"
  key: "BatoryK85:0"
- title: "Modularizing Theorems for Software Product Lines: The Jbook Case Study"
  author:
  - name: "Don S. Batory"
    link: "http://www.cs.utexas.edu/~dsb/"
  - name: "Egon Börger"
    link: "https://researchr.org/alias/egon-b%C3%B6rger"
  year: "2008"
  tags:
  - "case study"
  - "software product lines"
  researchr: "https://researchr.org/publication/BatoryB08"
  cites: 0
  citedby: 0
  journal: "jucs"
  volume: "14"
  number: "12"
  pages: "2059-2082"
  kind: "article"
  key: "BatoryB08"
- title: "Generative Techniques for Product Lines"
  author:
  - name: "Gregory Butler"
    link: "https://researchr.org/alias/gregory-butler"
  - name: "Don S. Batory"
    link: "http://www.cs.utexas.edu/~dsb/"
  - name: "Krzysztof Czarnecki"
    link: "http://www.swen.uwaterloo.ca/~kczarnec/"
  - name: "Ulrich W. Eisenecker"
    link: "https://researchr.org/alias/ulrich-w.-eisenecker"
  year: "2001"
  researchr: "https://researchr.org/publication/ButlerBCE01"
  cites: 0
  citedby: 0
  pages: "760-761"
  booktitle: "ICSE"
  kind: "inproceedings"
  key: "ButlerBCE01"
- title: "Reengineering a Complex Application Using a Scalable Data Structure Compiler"
  author:
  - name: "Don S. Batory"
    link: "http://www.cs.utexas.edu/~dsb/"
  - name: "Jeff Thomas"
    link: "https://researchr.org/alias/jeff-thomas"
  - name: "Marty Sirkin"
    link: "https://researchr.org/alias/marty-sirkin"
  year: "1994"
  doi: "http://doi.acm.org/10.1145/193173.195299"
  abstract: "P2 is a scalable compiler for collection data structures. High-level abstractions insulate P2 users from data structure implementation details. By specifying a target data structure as a composition ofcomponents from a reuse library, the P2 compiler replaces abstract operations with their concrete implementations. LEAPS is a production system compiler that produces the fastest sequential executables of OPS5 rule sets. LEAPS is a hand-written, highly-tuned, performance-driven application that relies on complex data structures. Reengineering LEAPS using P2 was an acid test to evaluate P2’s scalability, productivity benefits, and generated code performance. In this paper, we present some of our experimental results and experiences in this reengineering exercise. We show that P2 scaled to this complex application, substantially increased productivity,and provided unexpected performance gains"
  links:
    doi: "http://doi.acm.org/10.1145/193173.195299"
  tags:
  - "rule-based"
  - "composition"
  - "testing"
  - "reuse"
  - "data-flow"
  - "rules"
  - "compiler"
  - "abstraction"
  researchr: "https://researchr.org/publication/BatoryTS94"
  cites: 0
  citedby: 0
  pages: "111-120"
  booktitle: "ESEC/FSE"
  kind: "inproceedings"
  key: "BatoryTS94"
- title: "Achieving extensibility through product-lines and domain-specific languages: a case study"
  author:
  - name: "Don S. Batory"
    link: "http://www.cs.utexas.edu/~dsb/"
  - name: "Clay Johnson"
    link: "https://researchr.org/alias/clay-johnson"
  - name: "Bob MacDonald"
    link: "https://researchr.org/alias/bob-macdonald"
  - name: "Dale von Heeder"
    link: "https://researchr.org/alias/dale-von-heeder"
  year: "2002"
  doi: "http://doi.acm.org/10.1145/505145.505147"
  links:
    doi: "http://doi.acm.org/10.1145/505145.505147"
  tags:
  - "case study"
  - "extensible language"
  - "domain-specific language"
  researchr: "https://researchr.org/publication/BatoryJMH02"
  cites: 0
  citedby: 0
  journal: "TOSEM"
  volume: "11"
  number: "2"
  pages: "191-214"
  kind: "article"
  key: "BatoryJMH02"
- title: "Refinements and multi-dimensional separation of concerns"
  author:
  - name: "Don S. Batory"
    link: "http://www.cs.utexas.edu/~dsb/"
  - name: "Jia Liu"
    link: "https://researchr.org/alias/jia-liu"
  - name: "Jacob Neal Sarvela"
    link: "https://researchr.org/alias/jacob-neal-sarvela"
  year: "2003"
  doi: "http://doi.acm.org/10.1145/940071.940079"
  links:
    doi: "http://doi.acm.org/10.1145/940071.940079"
  tags:
  - "separation of concerns"
  - "refinement"
  researchr: "https://researchr.org/publication/BatoryLS03"
  cites: 0
  citedby: 0
  pages: "48-57"
  booktitle: "ESEC/FSE"
  kind: "inproceedings"
  key: "BatoryLS03"
- title: "Reasoning about Edits to Feature Models"
  author:
  - name: "Thomas Thüm"
    link: "http://www.ovgu.de/~tthuem/"
  - name: "Don S. Batory"
    link: "http://www.cs.utexas.edu/~dsb/"
  - name: "Christian Kästner"
    link: "http://wwwiti.cs.uni-magdeburg.de/~ckaestne/"
  year: "2009"
  doi: "http://dx.doi.org/10.1109/ICSE.2009.5070526"
  abstract: "Features express the variabilities and commonalities among programs in a software product line (SPL). A feature model defines the valid combinations of features, where each combination corresponds to a program in an SPL. SPLs and their feature models evolve over time. We classify the evolution of a feature model via modifications as refactorings, specializations, generalizations, or arbitrary edits. We present an algorithm to reason about feature model edits to help designers determine how the program membership of an SPL has changed. Our algorithm takes two feature models as input (before and after edit versions), where the set of features in both models are not necessarily the same, and it automatically computes the change classification. Our algorithm is able to give examples of added or deleted products and efficiently classifies edits to even large models that have thousands of features."
  links:
    doi: "http://dx.doi.org/10.1109/ICSE.2009.5070526"
  tags:
  - "object-oriented programming"
  - "meta programming"
  - "classification"
  - "meta-model"
  - "SAT solver"
  - "modeling"
  - "model refactoring"
  - "refactoring"
  - "software evolution"
  - "object-role modeling"
  - "subject-oriented programming"
  - "software product line"
  - "Meta-Environment"
  - "feature model"
  - "product line"
  - "feature-oriented programming"
  - "FeatureIDE"
  researchr: "https://researchr.org/publication/ThumBK09"
  cites: 0
  citedby: 0
  pages: "254-264"
  booktitle: "ICSE"
  kind: "inproceedings"
  key: "ThumBK09"
- title: "Software Components for Object-Oriented Database Systems"
  author:
  - name: "Don S. Batory"
    link: "http://www.cs.utexas.edu/~dsb/"
  - name: "Devang Vasavada"
    link: "https://researchr.org/alias/devang-vasavada"
  year: "1993"
  doi: "http://dx.doi.org/10.1142/S0218194093000082"
  links:
    doi: "http://dx.doi.org/10.1142/S0218194093000082"
  tags:
  - "software components"
  - "meta-model"
  - "software component"
  - "database"
  - "Meta-Environment"
  - "meta-objects"
  researchr: "https://researchr.org/publication/BatoryV93"
  cites: 0
  citedby: 0
  journal: "ijseke"
  volume: "3"
  number: "2"
  pages: "165-192"
  kind: "article"
  key: "BatoryV93"
- title: "High level Modelling Languages, Adaptable Process Models and Software Generation: Drivers for Quality and Productivity"
  author:
  - name: "Ulrich Frank"
    link: "https://researchr.org/alias/ulrich-frank"
  - name: "Don S. Batory"
    link: "http://www.cs.utexas.edu/~dsb/"
  - name: "Jean Bézivin"
    link: "https://researchr.org/alias/jean-b%C3%A9zivin"
  - name: "Brian Henderson-Sellers"
    link: "https://researchr.org/alias/brian-henderson-sellers"
  - name: "Houman Younessi"
    link: "https://researchr.org/alias/houman-younessi"
  year: "1999"
  doi: "http://doi.ieeecomputersociety.org/10.1109/TOOLS.1999.10049"
  links:
    doi: "http://doi.ieeecomputersociety.org/10.1109/TOOLS.1999.10049"
  tags:
  - "modeling language"
  - "modeling"
  - "language modeling"
  - "process modeling"
  researchr: "https://researchr.org/publication/FrankBBHY99"
  cites: 0
  citedby: 0
  pages: "563-570"
  booktitle: "TOOLS"
  kind: "inproceedings"
  key: "FrankBBHY99"
- title: "Logical and Physical Modeling of Statistical Scientific Databases"
  author:
  - name: "Stanley Y. W. Su"
    link: "https://researchr.org/alias/stanley-y.-w.-su"
  - name: "Shamkant B. Navathe"
    link: "https://researchr.org/alias/shamkant-b.-navathe"
  - name: "Don S. Batory"
    link: "http://www.cs.utexas.edu/~dsb/"
  year: "1983"
  doi: "db/conf/ssdbm/SuNB83.html"
  tags:
  - "modeling"
  researchr: "https://researchr.org/publication/SuNB83"
  cites: 0
  citedby: 0
  pages: "251-263"
  booktitle: "ssdbm"
  kind: "inproceedings"
  key: "SuNB83"
- title: "Feature Modularity in Software Product Lines"
  author:
  - name: "Don S. Batory"
    link: "http://www.cs.utexas.edu/~dsb/"
  year: "2006"
  tags:
  - "software product lines"
  researchr: "https://researchr.org/publication/Batory06%3A0"
  cites: 0
  citedby: 0
  pages: "230"
  booktitle: "SPLC"
  kind: "inproceedings"
  key: "Batory06:0"
- title: "On Searching Transposed Files"
  author:
  - name: "Don S. Batory"
    link: "http://www.cs.utexas.edu/~dsb/"
  year: "1979"
  doi: "http://doi.acm.org/10.1145/320107.320125"
  links:
    doi: "http://doi.acm.org/10.1145/320107.320125"
  researchr: "https://researchr.org/publication/Batory79"
  cites: 0
  citedby: 0
  journal: "TODS"
  volume: "4"
  number: "4"
  pages: "531-544"
  kind: "article"
  key: "Batory79"
- title: "Guaranteeing Syntactic Correctness for All Product Line Variants: A Language-Independent Approach"
  author:
  - name: "Christian Kästner"
    link: "https://researchr.org/alias/christian-k%C3%A3%C2%A4stner"
  - name: "Sven Apel"
    link: "https://researchr.org/alias/sven-apel"
  - name: "Salvador Trujillo"
    link: "https://researchr.org/alias/salvador-trujillo"
  - name: "Martin Kuhlemann"
    link: "https://researchr.org/alias/martin-kuhlemann"
  - name: "Don S. Batory"
    link: "http://www.cs.utexas.edu/~dsb/"
  year: "2009"
  doi: "http://dx.doi.org/10.1007/978-3-642-02571-6_11"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-642-02571-6_11"
  tags:
  - "DSLsAndPLE"
  - "product line"
  - "systematic-approach"
  researchr: "https://researchr.org/publication/KastnerATKB09"
  cites: 0
  citedby: 0
  pages: "175-194"
  booktitle: "TOOLS"
  kind: "inproceedings"
  key: "KastnerATKB09"
- title: "Optimal File Designs and Reorganization Points"
  author:
  - name: "Don S. Batory"
    link: "http://www.cs.utexas.edu/~dsb/"
  year: "1982"
  doi: "http://doi.acm.org/10.1145/319682.319696"
  links:
    doi: "http://doi.acm.org/10.1145/319682.319696"
  researchr: "https://researchr.org/publication/Batory82%3A0"
  cites: 0
  citedby: 0
  journal: "TODS"
  volume: "7"
  number: "1"
  pages: "60-81"
  kind: "article"
  key: "Batory82:0"
- title: " JTS: A tool suite for building genvoca generators"
  author:
  - name: "Don S. Batory"
    link: "http://www.cs.utexas.edu/~dsb/"
  - name: " B. Lofaso"
    link: "https://researchr.org/alias/b.-lofaso"
  - name: "Yannis Smaragdakis"
    link: "http://smaragd.org"
  year: "1998"
  researchr: "https://researchr.org/publication/Batory1998"
  cites: 0
  citedby: 1
  kind: "inproceedings"
  key: "Batory1998"
- title: "Modeling Concepts for VLSI CAD Objects (Abstract)"
  author:
  - name: "Don S. Batory"
    link: "http://www.cs.utexas.edu/~dsb/"
  - name: "Won Kim"
    link: "https://researchr.org/alias/won-kim"
  year: "1985"
  doi: "http://doi.acm.org/10.1145/318898.320001"
  links:
    doi: "http://doi.acm.org/10.1145/318898.320001"
  tags:
  - "meta-model"
  - "modeling"
  - "object-role modeling"
  - "Meta-Environment"
  - "meta-objects"
  researchr: "https://researchr.org/publication/BatoryK85"
  cites: 0
  citedby: 0
  pages: "446"
  booktitle: "SIGMOD"
  kind: "inproceedings"
  key: "BatoryK85"
- title: "Application Generators"
  author:
  - name: "Yannis Smaragdakis"
    link: "http://smaragd.org"
  - name: "Don S. Batory"
    link: "http://www.cs.utexas.edu/~dsb/"
  year: "2000"
  researchr: "https://researchr.org/publication/SmaragdakisB00-0"
  cites: 0
  citedby: 0
  journal: "Encyclopedia of Electrical and Electronics Engineering"
  kind: "article"
  key: "SmaragdakisB00-0"
- title: "A Security Mechanism for Component-Based Systems"
  author:
  - name: "Mark Grechanik"
    link: "https://researchr.org/alias/mark-grechanik"
  - name: "Dewayne E. Perry"
    link: "https://researchr.org/alias/dewayne-e.-perry"
  - name: "Don S. Batory"
    link: "http://www.cs.utexas.edu/~dsb/"
  year: "2006"
  doi: "http://doi.ieeecomputersociety.org/10.1109/ICCBSS.2006.3"
  links:
    doi: "http://doi.ieeecomputersociety.org/10.1109/ICCBSS.2006.3"
  tags:
  - "rule-based"
  - "security"
  - "e-science"
  researchr: "https://researchr.org/publication/GrechanikPB06"
  cites: 0
  citedby: 0
  pages: "53-62"
  booktitle: "iccbss"
  kind: "inproceedings"
  key: "GrechanikPB06"
- title: "On Searching Transposed Files (Abstract)"
  author:
  - name: "Don S. Batory"
    link: "http://www.cs.utexas.edu/~dsb/"
  year: "1978"
  doi: "db/conf/vldb/Batory78.html"
  researchr: "https://researchr.org/publication/Batory78"
  cites: 0
  citedby: 0
  pages: "488"
  booktitle: "VLDB"
  kind: "inproceedings"
  key: "Batory78"
- title: "Safe composition of non-monotonic features"
  author:
  - name: "Martin Kuhlemann"
    link: "https://researchr.org/alias/martin-kuhlemann"
  - name: "Don S. Batory"
    link: "http://www.cs.utexas.edu/~dsb/"
  - name: "Christian Kästner"
    link: "https://researchr.org/alias/christian-k%C3%A3%C2%A4stner"
  year: "2009"
  doi: "http://doi.acm.org/10.1145/1621607.1621634"
  links:
    doi: "http://doi.acm.org/10.1145/1621607.1621634"
  tags:
  - "composition"
  - "safe composition"
  researchr: "https://researchr.org/publication/KuhlemannBK09"
  cites: 0
  citedby: 0
  pages: "177-186"
  booktitle: "GPCE"
  kind: "inproceedings"
  key: "KuhlemannBK09"
- title: "An Overview of the Object-Oriented Functional Data Language"
  author:
  - name: "Michael V. Mannino"
    link: "https://researchr.org/alias/michael-v.-mannino"
  - name: "Injun Choi"
    link: "https://researchr.org/alias/injun-choi"
  - name: "Don S. Batory"
    link: "http://www.cs.utexas.edu/~dsb/"
  year: "1989"
  doi: "db/conf/icde/ManinoCB89.html"
  tags:
  - "data-flow language"
  - "data-flow"
  - "Meta-Environment"
  - "meta-objects"
  researchr: "https://researchr.org/publication/ManinoCB89"
  cites: 0
  citedby: 0
  pages: "18-26"
  booktitle: "icde"
  kind: "inproceedings"
  key: "ManinoCB89"
- title: "Safe Composition of Non-Monotonic Features"
  author:
  - name: "Martin Kuhlemann"
    link: "https://researchr.org/alias/martin-kuhlemann"
  - name: "Don S. Batory"
    link: "http://www.cs.utexas.edu/~dsb/"
  - name: "Christian Kästner"
    link: "http://wwwiti.cs.uni-magdeburg.de/~ckaestne/"
  year: "2009"
  month: "OCT"
  abstract: "Programs can be composed from features. We want to verify automatically that all legal combinations of features can be composed safely without errors. Prior work on this problem assumed that features add code monotonically. We generalize prior work to enable features to both add and remove code, describe our analyses and implementation, and review case studies. We observe that more expressive features can increase the complexity of developed programs rapidly -- up to the point where automated concepts as presented in this paper are not a helpful tool but a necessity for verification."
  tags:
  - "fosd"
  - "program analysis"
  - "case study"
  - "program verification"
  - "Variability-Aware Analysis"
  - "refactoring"
  - "composition"
  - "analysis"
  - "reviewing"
  - "context-aware"
  - "safe composition"
  researchr: "https://researchr.org/publication/KBK%3AGPCE09"
  cites: 0
  citedby: 0
  booktitle: "Proceedings of the 8th International Conference on Generative Programming and Component Engineering (GPCE)"
  kind: "inproceedings"
  key: "KBK:GPCE09"
- title: "A Standard Problem for Evaluating Product-Line Methodologies"
  author:
  - name: "Roberto E. Lopez-Herrejon"
    link: "https://researchr.org/alias/roberto-e.-lopez-herrejon"
  - name: "Don S. Batory"
    link: "http://www.cs.utexas.edu/~dsb/"
  year: "2001"
  doi: "http://link.springer.de/link/service/series/0558/bibs/2186/21860010.htm"
  links:
    doi: "http://link.springer.de/link/service/series/0558/bibs/2186/21860010.htm"
  tags:
  - "e-science"
  - "product line"
  researchr: "https://researchr.org/publication/Lopez-HerrejonB01"
  cites: 0
  citedby: 0
  pages: "10-24"
  booktitle: "gcse"
  kind: "inproceedings"
  key: "Lopez-HerrejonB01"
- title: "Feature refactoring a multi-representation program into a product line"
  author:
  - name: "Salvador Trujillo"
    link: "https://researchr.org/alias/salvador-trujillo"
  - name: "Don S. Batory"
    link: "http://www.cs.utexas.edu/~dsb/"
  - name: "Oscar Díaz"
    link: "https://researchr.org/alias/oscar-d%C3%ADaz"
  year: "2006"
  doi: "http://doi.acm.org/10.1145/1173706.1173736"
  links:
    doi: "http://doi.acm.org/10.1145/1173706.1173736"
  tags:
  - "object-oriented programming"
  - "refactoring"
  - "product line"
  - "feature-oriented programming"
  researchr: "https://researchr.org/publication/TrujilloBD06"
  cites: 0
  citedby: 0
  pages: "191-200"
  booktitle: "GPCE"
  kind: "inproceedings"
  key: "TrujilloBD06"
- title: "Safe composition of product lines"
  author:
  - name: "Sahil Thaker"
    link: "https://researchr.org/alias/sahil-thaker"
  - name: "Don S. Batory"
    link: "http://www.cs.utexas.edu/~dsb/"
  - name: "David Kitchin"
    link: "https://researchr.org/alias/david-kitchin"
  - name: "William R. Cook"
    link: "http://www.cs.utexas.edu/~wcook/"
  year: "2007"
  doi: "http://doi.acm.org/10.1145/1289971.1289989"
  links:
    doi: "http://doi.acm.org/10.1145/1289971.1289989"
  tags:
  - "Variability-Aware Analysis"
  - "composition"
  - "analysis"
  - "context-aware"
  - "safe composition"
  researchr: "https://researchr.org/publication/ThakerBKC07"
  cites: 0
  citedby: 0
  pages: "95-104"
  booktitle: "GPCE"
  kind: "inproceedings"
  key: "ThakerBKC07"
- title: "Modeling the Storage Architectures of Commercial Database Systems"
  author:
  - name: "Don S. Batory"
    link: "http://www.cs.utexas.edu/~dsb/"
  year: "1985"
  doi: "http://doi.acm.org/10.1145/4879.5392"
  links:
    doi: "http://doi.acm.org/10.1145/4879.5392"
  tags:
  - "modeling"
  - "architecture"
  - "database"
  researchr: "https://researchr.org/publication/Batory85%3A0"
  cites: 0
  citedby: 0
  journal: "TODS"
  volume: "10"
  number: "4"
  pages: "463-528"
  kind: "article"
  key: "Batory85:0"
- title: "On the impact of the optional feature problem: analysis and case studies"
  author:
  - name: "Christian Kästner"
    link: "https://researchr.org/alias/christian-k%C3%A3%C2%A4stner"
  - name: "Sven Apel"
    link: "https://researchr.org/alias/sven-apel"
  - name: "Syed Saif ur Rahman"
    link: "https://researchr.org/alias/syed-saif-ur-rahman"
  - name: "Marko Rosenmüller"
    link: "https://researchr.org/alias/marko-rosenm%C3%A3%C2%BCller"
  - name: "Don S. Batory"
    link: "http://www.cs.utexas.edu/~dsb/"
  - name: "Gunter Saake"
    link: "https://researchr.org/alias/gunter-saake"
  year: "2009"
  doi: "http://doi.acm.org/10.1145/1753235.1753261"
  links:
    doi: "http://doi.acm.org/10.1145/1753235.1753261"
  tags:
  - "case study"
  - "analysis"
  researchr: "https://researchr.org/publication/KastnerARRBS09"
  cites: 0
  citedby: 0
  pages: "181-190"
  booktitle: "SPLC"
  kind: "inproceedings"
  key: "KastnerARRBS09"
- title: "Scoping Constructs for Software Generators"
  author:
  - name: "Yannis Smaragdakis"
    link: "http://smaragd.org"
  - name: "Don S. Batory"
    link: "http://www.cs.utexas.edu/~dsb/"
  year: "1999"
  doi: "http://link.springer.de/link/service/series/0558/bibs/1799/17990065.htm"
  links:
    doi: "http://link.springer.de/link/service/series/0558/bibs/1799/17990065.htm"
  researchr: "https://researchr.org/publication/SmaragdakisB99"
  cites: 0
  citedby: 0
  pages: "65-78"
  booktitle: "gcse"
  kind: "inproceedings"
  key: "SmaragdakisB99"
- title: "Objects and Domain Engineering - Panel Session"
  author:
  - name: "Sanjiv Gossain"
    link: "https://researchr.org/alias/sanjiv-gossain"
  - name: "Don S. Batory"
    link: "http://www.cs.utexas.edu/~dsb/"
  - name: "Hassan Gomaa"
    link: "https://researchr.org/alias/hassan-gomaa"
  - name: "Mitchell D. Lubars"
    link: "https://researchr.org/alias/mitchell-d.-lubars"
  - name: "Christopher Pidgeon"
    link: "https://researchr.org/alias/christopher-pidgeon"
  - name: "Ed Seidewitz"
    link: "https://researchr.org/alias/ed-seidewitz"
  year: "1995"
  tags:
  - "meta-model"
  - "model-driven engineering"
  - "Meta-Environment"
  - "meta-objects"
  researchr: "https://researchr.org/publication/GossainBGLPS95"
  cites: 0
  citedby: 0
  pages: "333-336"
  booktitle: "OOPSLA"
  kind: "inproceedings"
  key: "GossainBGLPS95"
- title: "On the reusability of query optimization algorithms"
  author:
  - name: "Don S. Batory"
    link: "http://www.cs.utexas.edu/~dsb/"
  year: "1989"
  doi: "http://dx.doi.org/10.1016/0020-0255(89)90027-3"
  links:
    doi: "http://dx.doi.org/10.1016/0020-0255(89)90027-3"
  tags:
  - "optimization"
  - "reuse"
  researchr: "https://researchr.org/publication/Batory89"
  cites: 0
  citedby: 0
  journal: "isci"
  volume: "49"
  number: "1-3"
  pages: "177-202"
  kind: "article"
  key: "Batory89"
- title: "Physical Storage and Implementation Issues"
  author:
  - name: "Don S. Batory"
    link: "http://www.cs.utexas.edu/~dsb/"
  year: "1984"
  doi: "http://sites.computer.org/debull/84MAR-CD.pdf"
  links:
    doi: "http://sites.computer.org/debull/84MAR-CD.pdf"
  researchr: "https://researchr.org/publication/Batory84a"
  cites: 0
  citedby: 0
  journal: "DEBU"
  volume: "7"
  number: "1"
  pages: "49-52"
  kind: "article"
  key: "Batory84a"
- title: "Refinements and Product Line Architectures"
  author:
  - name: "Don S. Batory"
    link: "http://www.cs.utexas.edu/~dsb/"
  year: "2000"
  doi: "http://link.springer.de/link/service/series/0558/bibs/1924/19240003.htm"
  links:
    doi: "http://link.springer.de/link/service/series/0558/bibs/1924/19240003.htm"
  tags:
  - "refinement"
  - "architecture"
  - "product line"
  researchr: "https://researchr.org/publication/Batory00"
  cites: 0
  citedby: 0
  pages: "3-4"
  booktitle: "saig"
  kind: "inproceedings"
  key: "Batory00"
- title: "A Tutorial on Feature Oriented Programming and Product-Lines"
  author:
  - name: "Don S. Batory"
    link: "http://www.cs.utexas.edu/~dsb/"
  year: "2003"
  doi: "http://computer.org/proceedings/icse/1877/18770753.pdf"
  links:
    doi: "http://computer.org/proceedings/icse/1877/18770753.pdf"
  tags:
  - "object-oriented programming"
  - "programming"
  - "subject-oriented programming"
  - "feature-oriented programming"
  researchr: "https://researchr.org/publication/Batory03%3A0"
  cites: 0
  citedby: 0
  pages: "753-754"
  booktitle: "ICSE"
  kind: "inproceedings"
  key: "Batory03:0"
- title: "Memory Simulators and Software Generators"
  author:
  - name: "Guillermo Jiménez-Pérez"
    link: "https://researchr.org/alias/guillermo-jim%C3%A9nez-p%C3%A9rez"
  - name: "Don S. Batory"
    link: "http://www.cs.utexas.edu/~dsb/"
  year: "1997"
  doi: "http://doi.acm.org/10.1145/258366.258410"
  links:
    doi: "http://doi.acm.org/10.1145/258366.258410"
  researchr: "https://researchr.org/publication/Jimenez-PerezB97"
  cites: 0
  citedby: 0
  pages: "136-145"
  booktitle: "ssr"
  kind: "inproceedings"
  key: "Jimenez-PerezB97"
- title: "GENESIS: An Extensible Database Management System"
  author:
  - name: "Don S. Batory"
    link: "http://www.cs.utexas.edu/~dsb/"
  - name: "J. R. Barnett"
    link: "https://researchr.org/alias/j.-r.-barnett"
  - name: "J. F. Garza"
    link: "https://researchr.org/alias/j.-f.-garza"
  - name: "K. P. Smith"
    link: "https://researchr.org/alias/k.-p.-smith"
  - name: "K. Tsukuda"
    link: "https://researchr.org/alias/k.-tsukuda"
  - name: "B. C. Twichell"
    link: "https://researchr.org/alias/b.-c.-twichell"
  - name: "T. E. Wise"
    link: "https://researchr.org/alias/t.-e.-wise"
  year: "1988"
  doi: "http://www.computer.org/tse/ts1988/e1711abs.htm"
  links:
    doi: "http://www.computer.org/tse/ts1988/e1711abs.htm"
  tags:
  - "C++"
  - "database"
  researchr: "https://researchr.org/publication/BatoryBGSTTW88"
  cites: 0
  citedby: 0
  journal: "TSE"
  volume: "14"
  number: "11"
  pages: "1711-1730"
  kind: "article"
  key: "BatoryBGSTTW88"
- title: "Progress Toward Automating The Development of Database System Software"
  author:
  - name: "Don S. Batory"
    link: "http://www.cs.utexas.edu/~dsb/"
  year: "1985"
  tags:
  - "database"
  researchr: "https://researchr.org/publication/Batory85"
  cites: 0
  citedby: 0
  pages: "261-278"
  booktitle: "Query Processing in Database Systems"
  kind: "incollection"
  key: "Batory85"
- title: "Scaling Step-Wise Refinement"
  author:
  - name: "Don S. Batory"
    link: "http://www.cs.utexas.edu/~dsb/"
  - name: "Jacob Neal Sarvela"
    link: "https://researchr.org/alias/jacob-neal-sarvela"
  - name: "Axel Rauschmayer"
    link: "https://researchr.org/alias/axel-rauschmayer"
  year: "2004"
  doi: "http://doi.ieeecomputersociety.org/10.1109/TSE.2004.23"
  links:
    doi: "http://doi.ieeecomputersociety.org/10.1109/TSE.2004.23"
  tags:
  - "refinement"
  researchr: "https://researchr.org/publication/BatorySR04"
  cites: 0
  citedby: 0
  journal: "TSE"
  volume: "30"
  number: "6"
  pages: "355-371"
  kind: "article"
  key: "BatorySR04"
- title: "Letter from the Editor"
  author:
  - name: "Don S. Batory"
    link: "http://www.cs.utexas.edu/~dsb/"
  year: "1982"
  doi: "http://sites.computer.org/debull/82MAR-CD.pdf"
  links:
    doi: "http://sites.computer.org/debull/82MAR-CD.pdf"
  researchr: "https://researchr.org/publication/Batory82"
  cites: 0
  citedby: 0
  journal: "DEBU"
  volume: "5"
  number: "1"
  pages: "1"
  kind: "article"
  key: "Batory82"
- title: "A specification-based approach to testing software product lines"
  author:
  - name: "Engin Uzuncaova"
    link: "https://researchr.org/alias/engin-uzuncaova"
  - name: "Daniel Garcia"
    link: "https://researchr.org/alias/daniel-garcia"
  - name: "Sarfraz Khurshid"
    link: "https://researchr.org/alias/sarfraz-khurshid"
  - name: "Don S. Batory"
    link: "http://www.cs.utexas.edu/~dsb/"
  year: "2007"
  doi: "http://doi.acm.org/10.1145/1287624.1287701"
  links:
    doi: "http://doi.acm.org/10.1145/1287624.1287701"
  tags:
  - "rule-based"
  - "software product lines"
  - "testing"
  - "systematic-approach"
  researchr: "https://researchr.org/publication/UzuncaovaGKB07"
  cites: 0
  citedby: 0
  pages: "525-528"
  booktitle: "ESEC/FSE"
  kind: "inproceedings"
  key: "UzuncaovaGKB07"
- title: "Transformation-Based Parallelization of Request-Processing Applications"
  author:
  - name: "Riche"
    link: "https://researchr.org/alias/riche"
  - name: "Vin"
    link: "https://researchr.org/alias/vin"
  - name: "Don S. Batory"
    link: "http://www.cs.utexas.edu/~dsb/"
  year: "2010"
  tags:
  - "rule-based"
  - "transformation"
  researchr: "https://researchr.org/publication/Riche%3AMoDELS%3A2010"
  cites: 0
  citedby: 0
  booktitle: "MoDELS"
  kind: "inproceedings"
  key: "Riche:MoDELS:2010"
- title: "Product-line architectures, aspects, and reuse (tutorial session)"
  author:
  - name: "Don S. Batory"
    link: "http://www.cs.utexas.edu/~dsb/"
  year: "2000"
  doi: "http://doi.acm.org/10.1145/337180.337860"
  links:
    doi: "http://doi.acm.org/10.1145/337180.337860"
  tags:
  - "architecture"
  - "reuse"
  - "product line"
  researchr: "https://researchr.org/publication/Batory00%3A0"
  cites: 0
  citedby: 0
  pages: "832"
  booktitle: "ICSE"
  kind: "inproceedings"
  key: "Batory00:0"
- title: "On the Impact of the Optional Feature Problem: Analysis and Case Studies"
  author:
  - name: "Christian Kästner"
    link: "http://wwwiti.cs.uni-magdeburg.de/~ckaestne/"
  - name: "Sven  Apel"
    link: "http://www.infosun.fim.uni-passau.de/cl/staff/apel/"
  - name: "Syed Saif ur Rahman"
    link: "https://researchr.org/alias/syed-saif-ur-rahman"
  - name: "Marko  Rosenmüller"
    link: "http://wwwiti.cs.uni-magdeburg.de/~rosenmue/"
  - name: "Don S. Batory"
    link: "http://www.cs.utexas.edu/~dsb/"
  - name: "Gunter Saake"
    link: "http://wwwiti.cs.uni-magdeburg.de/~saake/"
  year: "2009"
  month: "AUG"
  abstract: "A software product-line is a family of related programs that are distinguished in terms of features. A feature implements a stakeholders' requirement. Different program variants specified by distinct feature selections are produced from a common code base. The optional feature problem describes a common mismatch between variability intended in the domain and dependencies in the implementation. When this occurs, some variants that are valid in the domain cannot be produced due to implementation issues. There are many different solutions to the optional feature problem, but they all suffer from drawbacks such as reduced variability, increased development effort, reduced efficiency, or reduced source code quality. In this paper, we examine the impact of the optional feature problem in two case studies in the domain of embedded database systems, and we survey different state-of-the-art solutions and their trade-offs. Our intension is to raise awareness of the problem, to guide developers in selecting an appropriate solution for their product-line project, and to identify opportunities for future research."
  tags:
  - "preprocessor"
  - "object-oriented programming"
  - "FAME-DBMS"
  - "fosd"
  - "rule-based"
  - "multi-dimensional separation of concerns"
  - "program analysis"
  - "feature interactions"
  - "case study"
  - "software product lines"
  - "sple"
  - "embedded software"
  - "separation of concerns"
  - "refactoring"
  - "software product quality"
  - "points-to analysis"
  - "domain analysis"
  - "analysis"
  - "berkeley db"
  - "source-to-source"
  - "survey"
  - "rule-based refactoring"
  - "database"
  - "context-aware"
  - "software product line"
  - "product line"
  - "feature-oriented programming"
  - "open-source"
  - "CIDE"
  researchr: "https://researchr.org/publication/KARRBS%3ASPLC09"
  cites: 0
  citedby: 0
  booktitle: "Proceedings of the 13th International Software Product Line Conference (SPLC)"
  kind: "inproceedings"
  key: "KARRBS:SPLC09"
- title: "A Unifying Model of Physical Databases"
  author:
  - name: "Don S. Batory"
    link: "http://www.cs.utexas.edu/~dsb/"
  - name: "C. C. Gotlieb"
    link: "https://researchr.org/alias/c.-c.-gotlieb"
  year: "1982"
  doi: "http://doi.acm.org/10.1145/319758.319760"
  links:
    doi: "http://doi.acm.org/10.1145/319758.319760"
  tags:
  - "meta-model"
  - "C++"
  - "Meta-Environment"
  researchr: "https://researchr.org/publication/BatoryG82"
  cites: 0
  citedby: 0
  journal: "TODS"
  volume: "7"
  number: "4"
  pages: "509-539"
  kind: "article"
  key: "BatoryG82"
- title: "Stepwise Development of Streaming Software Architectures"
  author:
  - name: "Don S. Batory"
    link: "http://www.cs.utexas.edu/~dsb/"
  year: "2009"
  tags:
  - "software architecture"
  - "architecture"
  researchr: "https://researchr.org/publication/Batory09-0"
  cites: 0
  citedby: 0
  pages: "4"
  booktitle: "jisbd"
  kind: "inproceedings"
  key: "Batory09-0"
- title: "Domain-Specific Program Generation, International Seminar, Dagstuhl Castle, Germany, March 23-28, 2003, Revised Papers"
  year: "2004"
  researchr: "https://researchr.org/publication/dagstuhl%3A2003dspg"
  cites: 0
  citedby: 0
  booktitle: "Domain-Specific Program Generation, International Seminar, Dagstuhl Castle, Germany, March 23-28, 2003, Revised Papers"
  conference: "Dagstuhl"
  editor:
  - name: "Christian Lengauer"
    link: "http://www.infosun.fim.uni-passau.de/cl/staff/lengauer/"
  - name: "Don S. Batory"
    link: "http://www.cs.utexas.edu/~dsb/"
  - name: "Charles Consel"
    link: "https://researchr.org/alias/charles-consel"
  - name: "Martin Odersky"
    link: "http://lampwww.epfl.ch/~odersky/"
  volume: "3016"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-22119-0"
  kind: "proceedings"
  key: "dagstuhl:2003dspg"
- title: "Query Processing in Database Systems"
  year: "1985"
  tags:
  - "database"
  researchr: "https://researchr.org/publication/KimRB85%3A0"
  cites: 0
  citedby: 0
  editor:
  - name: "Won Kim"
    link: "https://researchr.org/alias/won-kim"
  - name: "David S. Reiner"
    link: "https://researchr.org/alias/david-s.-reiner"
  - name: "Don S. Batory"
    link: "http://www.cs.utexas.edu/~dsb/"
  publisher: "Springer"
  isbn: "3-540-13831-5"
  kind: "book"
  key: "KimRB85:0"
- title: "Generative Programming and Component Engineering, ACM SIGPLAN/SIGSOFT Conference, GPCE 2002, Pittsburgh, PA, USA, October 6-8, 2002, Proceedings"
  year: "2002"
  tags:
  - "generative programming"
  - "programming"
  researchr: "https://researchr.org/publication/gpce%3A2002"
  cites: 0
  citedby: 0
  booktitle: "Generative Programming and Component Engineering, ACM SIGPLAN/SIGSOFT Conference, GPCE 2002, Pittsburgh, PA, USA, October 6-8, 2002, Proceedings"
  conference: "GPCE"
  editor:
  - name: "Don S. Batory"
    link: "http://www.cs.utexas.edu/~dsb/"
  - name: "Charles Consel"
    link: "https://researchr.org/alias/charles-consel"
  - name: "Walid Taha"
    link: "http://www.cs.rice.edu/~taha/"
  volume: "2487"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-44284-7"
  kind: "proceedings"
  key: "gpce:2002"