Batory SoD Project Nugget - PowerPoint PPT Presentation

1 / 1
About This Presentation
Title:

Batory SoD Project Nugget

Description:

Institution Name: University of Texas at Austin. Investigator Name(s): Don Batory ... Project began with mathematical model of feature interactions ... – PowerPoint PPT presentation

Number of Views:23
Avg rating:3.0/5.0
Slides: 2
Provided by: Alas9
Category:

less

Transcript and Presenter's Notes

Title: Batory SoD Project Nugget


1
Batory SoD Project Nugget
B
Synthesis Geometries in Category Theory
  • Project began with mathematical model of feature
    interactions
  • Lead us to simple, elegant descriptions of
    program design in category theory, the theory
    of mathematical structures and their
    relationships.
  • Generality program refactorings, feature- and
    aspect-based program synthesis,
  • and model-driven design can be unified
    programs are values, transformations
  • map programs to programs, and operators map
    transformations to transformations
  • Category theory is foundation of this world
  • Science of Design in automated program
    development maintenance is really the
    Science of Structure and structure manipulation
  • POPL07 and ETAPS CC07 keynotes, ICSE05,
    ICSE06, ETAPS07 papers
Write a Comment
User Comments (0)
About PowerShow.com