Kurt Stirewalt - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 27 from 27

2022

ORM ontologies with executable derivation rules to support semantic search in large-scale data applicationsMárton Búr, Kurt Stirewalt. MoDELS 2022: 81-82 [doi]

2020

A Scheduling Approach to Incremental Maintenance of Datalog ProgramsShikha Singh 0002, Sergey Madaminov, Michael A. Bender, Michael Ferdman, Ryan Johnson, Benjamin Moseley, Hung Q. Ngo 0001, Dung Nguyen, Soeren Olesen, Kurt Stirewalt, Geoffrey Washburn. ipps 2020: 864-873 [doi]

2013

Live logic programmingSpencer Rugaber, Zef Hemel, Kurt Stirewalt. ICSE 2013: 19-22 [doi]

2010

Mapping ORM to Datalog: An OverviewTerry A. Halpin, Matthew Curland, Kurt Stirewalt, Navin Viswanath, Matthew J. McGill, Steven Beck. otm 2010: 504-513 [doi]

2009

A Role Calculus for ORMMatthew Curland, Terry A. Halpin, Kurt Stirewalt. otm 2009: 692-703 [doi]

2007

IntroductionKurt Stirewalt, Virginie Wiels. ASE, 14(1):1-2, 2007. [doi]

2005

Automated Invariant Maintenance Via OCL CompilationKurt Stirewalt, Spencer Rugaber. uml 2005: 616-632 [doi]

2004

Model-Driven Reverse EngineeringSpencer Rugaber, Kurt Stirewalt. IEEE Software, 21(4):45-53, 2004. [doi]

2003

Inference Graphs: A Computational Structure Supporting Generation of Customizable and Correct Analysis ComponentsLaura K. Dillon, Kurt Stirewalt. TSE, 29(2):133-150, 2003. [doi]

2002

Automatically Detecting and Visualising Errors in UML DiagramsLaura A. Campbell, Betty H. C. Cheng, William E. McUmber, Kurt Stirewalt. re, 7(4):264-287, 2002. [doi]

Education: Interactive Distributed Applications and the Computer Science CurriculumPhilip K. McKinley, Kurt Stirewalt, Betty H. C. Cheng, Laura K. Dillon, Sandeep S. Kulkarni. dsonline, 3(10), 2002. [doi]

2001

Leightweight Analysis of Operational Specifications Using Inference GraphsLaura K. Dillon, Kurt Stirewalt. ICSE 2001: 57-67

Adequate Reverse EngineeringSpencer Rugaber, Terry Shikano, Kurt Stirewalt. ASE 2001: 232 [doi]

A Component-Based Approach to Building Formal Analysis ToolsKurt Stirewalt, Laura K. Dillon. ICSE 2001: 167-176

Generation of visitor components that implement program transformationsKurt Stirewalt, Laura K. Dillon. ssr 2001: 86-94 [doi]

2000

The universe model: an approach for improving the modularity and reliability of concurrent programsReimer Behrends, Kurt Stirewalt. ESEC/FSE 2000: 20-29 [doi]

The Model-Composition Problem in User-Interface GenerationKurt Stirewalt, Spencer Rugaber. ASE, 7(2):101-124, 2000.

1999

Separating Concerns in Direct Manipulation User InterfacesKurt Stirewalt. ASE 1999: 199 [doi]

Model Based User-Interface ReengineeringK. Tucker, Kurt Stirewalt. WCRE 1999: 56 [doi]

1998

Automating UI Generation by Model CompositionKurt Stirewalt, Spencer Rugaber. ASE 1998: 177 [doi]

Practical Dialogue RefinementKurt Stirewalt, Gregory D. Abowd. DSVIS 1998: 191-205

1996

Understanding Interleaved CodeSpencer Rugaber, Kurt Stirewalt, Linda M. Wills. ASE, 3(1/2):47-76, 1996.

1995

The Interleaving Problem in Program UnderstandingSpencer Rugaber, Kurt Stirewalt, Linda M. Wills. WCRE 1995:

Detecting interleavingSpencer Rugaber, Kurt Stirewalt, Linda M. Wills. ICSM 1995: 265-274 [doi]

1993

Spatial-Temporal Analysis of Program Dependence Graphs for Useful ParallelismHelen Gill, Thomas J. Smith, Thomas E. Gerasch, John V. Warren, Carolyn McCreary, Kurt Stirewalt. jpdc, 19(2):103-118, 1993.

1991

PATCH - a new algorithm for rapid incremental dependence analysisWilliam F. Appelbe, Kevin Smith, Kurt Stirewalt. ics 1991: 424-432 [doi]

1990

Incremental dependence analysis for interactive parallelizationKevin Smith, William F. Appelbe, Kurt Stirewalt. ics 1990: 330-341 [doi]

Sign in or sign up to see more results.

runs on WebDSL

翻译：