Don S. Batory - researchr profile publications

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 100 from 132

2010

Transformation-Based Parallelization of Request-Processing ApplicationsRiche, Vin, Don S. Batory. MoDELS 2010:

2009

Stepwise Development of Streaming Software ArchitecturesDon S. Batory. jisbd 2009: 4

Dimensions of Variability in Software Product LinesDon S. Batory. vamos 2009: 7 [doi]

On the importance and challenges of FOSDDon S. Batory. MoDELS 2009: 1 [doi]

A machine-checked model of safe compositionBenjamin Delaware, William R. Cook, Don S. Batory. foal 2009: 31-35 [doi]

Fitting the pieces together: a machine-checked model of safe compositionBenjamin Delaware, William R. Cook, Don S. Batory. FSE 2009: 243-252 [doi]

Safe Composition of Non-Monotonic FeaturesMartin Kuhlemann, Don S. Batory, Christian Kästner. In Proceedings of the 8th International Conference on Generative Programming and Component Engineering (GPCE). 2009:

Safe composition of non-monotonic featuresMartin Kuhlemann, Don S. Batory, Christian KÃ¤stner. GPCE 2009: 177-186 [doi]

Refactoring Feature ModulesMartin Kuhlemann, Don S. Batory, Sven Apel. icsr 2009: 106-115 [doi]

Guaranteeing Syntactic Correctness for All Product Line Variants: A Language-Independent ApproachChristian KÃ¤stner, Sven Apel, Salvador Trujillo, Martin Kuhlemann, Don S. Batory. TOOLS 2009: 175-194 [doi]

On the impact of the optional feature problem: analysis and case studiesChristian KÃ¤stner, Sven Apel, Syed Saif ur Rahman, Marko RosenmÃ¼ller, Don S. Batory, Gunter Saake. SPLC 2009: 181-190 [doi]

Guaranteeing Syntactic Correctness for all Product Line Variants: A Language-Independent ApproachChristian Kästner, Sven Apel, Salvador Trujillo, Martin Kuhlemann, Don S. Batory. In Proceedings of the 47th International Conference Objects, Models, Components, Patterns (TOOLS EUROPE). 2009: [doi]

On the Impact of the Optional Feature Problem: Analysis and Case StudiesChristian Kästner, Sven Apel, Syed Saif ur Rahman, Marko Rosenmüller, Don S. Batory, Gunter Saake. In Proceedings of the 13th International Software Product Line Conference (SPLC). 2009:

Reasoning about Edits to Feature ModelsThomas Thüm, Don S. Batory, Christian Kästner. ICSE 2009: 254-264 [doi]

2008

Program refactoring using functional aspectsSven Apel, Christian Kästner, Don S. Batory. GPCE 2008: 161-170 [doi]

The Objects and Arrows of Computational DesignDon S. Batory, Maider Azanza, João Saraiva. MoDELS 2008: 1-20 [doi]

Using modern mathematics as an FOSD modeling languageDon S. Batory. GPCE 2008: 35-44 [doi]

Modularizing Theorems for Software Product Lines: The Jbook Case StudyDon S. Batory, Egon Börger. jucs, 14(12):2059-2082, 2008.

First International Workshop on Analysis of Software Product Lines (ASPL 08)David Benavides, Antonio Ruiz Cortés, Don S. Batory, Patrick Heymans. SPLC 2008: 385 [doi]

Coupling Design and Verification in Software Product LinesEgon Börger, Don S. Batory. foiks 2008: 1-4 [doi]

Lifting Transformational Models of Product Lines: A Case StudyGreg Freeman, Don S. Batory, R. Greg Lavender. ICMT 2008: 16-30 [doi]

On the modularity of feature interactionsChang Hwan Peter Kim, Christian Kästner, Don S. Batory. GPCE 2008: 23-34 [doi]

Testing Software Product Lines Using Incremental Test GenerationEngin Uzuncaova, Daniel Garcia, Sarfraz Khurshid, Don S. Batory. issre 2008: 249-258 [doi]

2007

From implementation to theory in product synthesisDon S. Batory. POPL 2007: 135-136 [doi]

A Modeling Language for Program Design and SynthesisDon S. Batory. lipari 2008: 39-58 [doi]

Program Refactoring, Program Synthesis, and Model-Driven DevelopmentDon S. Batory. CC 2007: 156-171 [doi]

A Case Study Implementing Features Using AspectJChristian Kästner, Sven Apel, Don S. Batory. SPLC 2007: 223-232 [doi]

Safe composition of product linesSahil Thaker, Don S. Batory, David Kitchin, William R. Cook. GPCE 2007: 95-104 [doi]

Feature Oriented Model Driven Development: A Case Study for PortletsSalvador Trujillo, Don S. Batory, Oscar Díaz. ICSE 2007: 44-53 [doi]

A specification-based approach to testing software product linesEngin Uzuncaova, Daniel Garcia, Sarfraz Khurshid, Don S. Batory. ESEC/FSE 2007: 525-528 [doi]

A specification-based approach to testing software product linesEngin Uzuncaova, Daniel Garcia, Sarfraz Khurshid, Don S. Batory. ESEC/FSE 2007: 525-528 [doi]

2006

When to use features and aspects?: a case studySven Apel, Don S. Batory. GPCE 2006: 59-68 [doi]

Multilevel models in model-driven engineering, product lines, and metaprogrammingDon S. Batory. IBMSJ, 45(3):527-540, 2006. [doi]

A Tutorial on Feature Oriented Programming and the AHEAD Tool SuiteDon S. Batory. GTTSE 2006: 3-35 [doi]

Feature Modularity in Software Product LinesDon S. Batory. SPLC 2006: 230

Automated analysis of feature models: challenges aheadDon S. Batory, David Benavides, Antonio Ruiz Cortés. CACM, 49(12):45-47, 2006. [doi]

A Security Mechanism for Component-Based SystemsMark Grechanik, Dewayne E. Perry, Don S. Batory. iccbss 2006: 53-62 [doi]

Roadmap for enhanced languages and methods to aid verificationGary T. Leavens, Jean-Raymond Abrial, Don S. Batory, Michael J. Butler, Alessandro Coglio, Kathi Fisler, Eric C. R. Hehner, Cliff B. Jones, Dale Miller, Simon L. Peyton Jones, Murali Sitaraman, Douglas R. Smith, Aaron Stump. GPCE 2006: 221-236 [doi]

Feature oriented refactoring of legacy applicationsJia Liu, Don S. Batory, Christian Lengauer. ICSE 2006: 112-121 [doi]

Modeling Features in Aspect-Based Product Lines with Use Case Slices: An Exploratory Case StudyRoberto E. Lopez-Herrejon, Don S. Batory. MoDELS 2006: 6-16 [doi]

A disciplined approach to aspect compositionRoberto E. Lopez-Herrejon, Don S. Batory, Christian Lengauer. PEPM 2006: 68-77 [doi]

Feature refactoring a multi-representation program into a product lineSalvador Trujillo, Don S. Batory, Oscar Díaz. GPCE 2006: 191-200 [doi]

2005

2004

Scaling Step-Wise RefinementDon S. Batory, Jacob Neal Sarvela, Axel Rauschmayer. TSE, 30(6):355-371, 2004. [doi]

Feature-Oriented Programming and the AHEAD Tool SuiteDon S. Batory. ICSE 2004: 702-703 [doi]

Program Comprehension in Generative Programming: A History of Grand ChallengesDon S. Batory. IWPC 2004: 2-13 [doi]

A Science of Software DesignDon S. Batory. amast 2004: 3-18 [doi]

Design of Large-Scale Polylingual SystemsMark Grechanik, Don S. Batory, Dewayne E. Perry. ICSE 2004: 357-366 [doi]

Domain-Specific Program Generation, International Seminar, Dagstuhl Castle, Germany, March 23-28, 2003, Revised PapersChristian Lengauer, Don S. Batory, Charles Consel, Martin Odersky, editors, Volume 3016 of Lecture Notes in Computer Science, Springer, 2004.

Automatic Remodularization and Optimized Synthesis of Product-FamiliesJia Liu, Don S. Batory. GPCE 2004: 379-395 [doi]

2003

2002

Generative Programming and Component Engineering, ACM SIGPLAN/SIGSOFT Conference, GPCE 2002, Pittsburgh, PA, USA, October 6-8, 2002, ProceedingsDon S. Batory, Charles Consel, Walid Taha, editors, Volume 2487 of Lecture Notes in Computer Science, Springer, 2002.

Achieving extensibility through product-lines and domain-specific languages: a case studyDon S. Batory, Clay Johnson, Bob MacDonald, Dale von Heeder. TOSEM, 11(2):191-214, 2002. [doi]

Generating Product-Lines of Product-FamiliesDon S. Batory, Roberto E. Lopez-Herrejon, Jean-Philippe Martin. ASE 2002: 81-92 [doi]

Integrating and Reusing GUI-Driven ApplicationsMark Grechanik, Don S. Batory, Dewayne E. Perry. icsr 2002: 1-16 [doi]

Mixin layers: an object-oriented implementation technique for refinements and collaboration-based designsYannis Smaragdakis, Don S. Batory. TOSEM, 11(2):215-255, 2002. [doi]

2001

Generative Techniques for Product LinesGregory Butler, Don S. Batory, Krzysztof Czarnecki, Ulrich W. Eisenecker. ICSE 2001: 760-761

A Standard Problem for Evaluating Product-Line MethodologiesRoberto E. Lopez-Herrejon, Don S. Batory. gcse 2001: 10-24 [doi]

Evolving Object-Oriented Designs with RefactoringsLance Tokuda, Don S. Batory. ASE, 8(1):89-120, 2001.

2000

1999

International Workshop on Software Transformation Systems (STS 99)Marcelo Sant Anna, Julio Cesar Sampaio do Prado Leite, Ira D. Baxter, David S. Wile, Ted J. Biggerstaff, Don S. Batory, Premkumar T. Devanbu, Elizabeth Burd. ICSE 1999: 701-702 [doi]

Architectural Styles as AdaptorsDon S. Batory, Yannis Smaragdakis, Lou Coglianese. wicsa 1999: 203-224

High level Modelling Languages, Adaptable Process Models and Software Generation: Drivers for Quality and ProductivityUlrich Frank, Don S. Batory, Jean Bézivin, Brian Henderson-Sellers, Houman Younessi. TOOLS 1999: 563-570 [doi]

Building Product-Lines with Mixin-LayersYannis Smaragdakis, Don S. Batory. ECOOPW 1999: 197

Scoping Constructs for Software GeneratorsYannis Smaragdakis, Don S. Batory. gcse 2000: 65-78 [doi]

Evolving Object-Oriented Designs with RefactoringsLance Tokuda, Don S. Batory. ASE 1999: 174 [doi]

Automating Three Modes of Evolution for Object-Oriented Software ArchitecturesLance Tokuda, Don S. Batory. coots 1999: 189-202 [doi]

1998

JTS: A tool suite for building genvoca generatorsDon S. Batory, B. Lofaso, Yannis Smaragdakis. 1998:

Implementing Layered Designs with Mixin LayersYannis Smaragdakis, Don S. Batory. ECOOP 1998: 550-570 [doi]

1997

1995

1994

The GenVoca Model of Software-System GeneratorsDon S. Batory, Vivek Singhal, Jeff Thomas, Sankar Dasari, Bart J. Geraci, Marty Sirkin. IEEE Software, 11(5):89-94, 1994. [doi]

Reengineering a Complex Application Using a Scalable Data Structure CompilerDon S. Batory, Jeff Thomas, Marty Sirkin. ESEC/FSE 1994: 111-120 [doi]

1993

Software Components for Object-Oriented Database SystemsDon S. Batory, Devang Vasavada. ijseke, 3(2):165-192, 1993. [doi]

Scalable Software LibrariesDon S. Batory, Vivek Singhal, Marty Sirkin, Jeff Thomas. ESEC/FSE 1993: 191-199 [doi]

Software Components in a Data Structure PrecompilerMarty Sirkin, Don S. Batory, Vivek Singhal. ICSE 1993: 437-446 [doi]

1992

The Design and Implementation of Hierarchical Software Systems with Reusable ComponentsDon S. Batory, Sean W. O Malley. TOSEM, 1(4):355-398, 1992. [doi]

Implementing a Domain Model for Data StructuresDon S. Batory, Vivek Singhal, Marty Sirkin. ijseke, 2(3):375-402, 1992. [doi]

Sign in or sign up to see more results.

runs on WebDSL