Publications

If the title of the paper is underlined, clicking gives you an abstract and a pointer to the postscript. If the tech report number is underlined (CMU-CS-XX-XXX), clicking gives you a postscript version of the paper directly.

Thesis-related

Specification Matching of Software Components, Amy Moormann Zaremski and Jeannette M. Wing. (An extended version of the SIGSOFT 95 paper.) ACM Transactions on Software Engineering and Methodology (TOSEM), Vol. 6, No. 4, October 1997, pages 333-369.
Signature and Specification Matching, Amy Moormann Zaremski. PhD Thesis, Carnegie Mellon University, January 1996.
Specification Matching of Software Components, Amy Moormann Zaremski and Jeannette M. Wing. 3rd ACM SIGSOFT Symposium on the Foundations of Software Engineering, October 1995.
Signature Matching, a Tool for Using Software Libraries, Amy Moormann Zaremski and Jeannette M. Wing. ACM Transactions on Software Engineering and Methodology (TOSEM), Vol. 4, No. 2, April 1995.
Signature Matching: A Key to Reuse. A. M. Zaremski and J. M. Wing. Proceedings of SIGSOFT '93, Foundations of Software Engineering, December 1993.
Thoughts on a Larch/ML and a New Application for LP. J.M. Wing and E. Rollins and A. Moormann Zaremski. First International Workshop on Larch, Dedham, Massachusetts, July, 1992. Also CMU-CS-92-135.

Software Architecture

Architecture Reviews. L. Bass, P. Clements, R. Kazman, G. Abowd, L. Northrop, and A. M. Zaremski. In Software Architecture in Practice, L. Bass, P. Clements, and R. Kazman (ed). Addison-Wesley, 1998.

Miró

Unintrusive Ways to Integrate Formal Specifications in Practice. J. M. Wing and A. Moormann Zaremski. Proceedings VDM '91 , October, 1991. Also CMU-CS-91-113.
A Formal Specification of a Visual Language Editor. Jeannette M. Wing and Amy Moormann Zaremski. Proceedings of the Sixth International Workshop on Software Specification and Design , October, 1991. Also CMU-CS-91-112.
A Larch Specification of the Miró Editor. Amy Moormann Zaremski. CMU-CS-91-111 , February, 1991.
Miró: Visual Specification of Security. Allan Heydon, Mark W. Maimone, J. D. Tygar, Jeannette M. Wing and Amy Moormann Zaremski. IEEE Transactions on Software Engineering . 16(10), October, 1990.

Click those ruby shoes to return to my home page. (Last modified 9/98)