Compositional Abstraction and Refinement for Aspects (CARA)
Slides from Kickoff meeting (Colorado Springs, CO, 31 July-1 Aug 2000) (gzipped postscript)
If you need a postscript viewer, follow the first link below.
Quadchart:
gzipped postscript or
powerpoint
Reports:
Principal Investigator:
Staff Members:
|