Next: Keywords
Up: No Title Previous:
Relational Analysis
- Jackson and Jackson 96
- Jackson, D. ``Automatic Analysis of Architectural
Style,'' submitted for publication.
- O'Callahan and Jackson 96
- O'Callahan, R., Jackson, D. ``Practical Program
Understanding With Type Inference,'' CMU Technical Report
CMU-CS-96-130, May 1996.
- Jackson and Jackson 96
- D. Jackson and M. Jackson. ``Problem Decomposition for
Reuse.'' Software Engineering Journal, vol. 11, no. 1,
pp. 11-30, January, 1996.
- Jackson et al 96
- D. Jackson, S. Jha, and C. A. Damon. ``Faster Checking of
Software Specifications By Eliminating Isomorphs.''
Proceedings of Principles of Programming Languages, St.
Petersburg Beach, FL, 1996.
- Jackson and Damon 96
- D. Jackson and C. A. Damon. ``Elements of Style:
Analyzing a Software Design Feature with a Counterexample
Detector.'' Proceedings of the International Symposium on
Software Testing and Analysis, San Diego, CA, 1996.
Brought to you by the Composable Software
Systems research group at Carnegie Mellon University's
School of Computer
Science. Last updated Wed Apr 23, 1997.