Amy Moormann Zaremski

Publication Activity (10 Years)

Years Active: 1989-1997
Publications (10 Years): 0

Publications

Amy Moormann Zaremski, Jeannette M. Wing
Specification Matching of Software Components. ACM Trans. Softw. Eng. Methodol. 6 (4) (1997)
Amy Moormann Zaremski, Jeannette M. Wing
Specification Matching of Software Components. SIGSOFT FSE (1995)
Amy Moormann Zaremski, Jeannette M. Wing
Signature Matching: A Tool for Using Software Libraries. ACM Trans. Softw. Eng. Methodol. 4 (2) (1995)
Amy Moormann Zaremski, Jeannette M. Wing
Signature Matching: A Key to Reuse. SIGSOFT FSE (1993)
Jeannette M. Wing, Eugene J. Rollins, Amy Moormann Zaremski
Thoughts on a Larch/ML and a New Application for LP. Larch (1992)
Jeannette M. Wing, Amy Moormann Zaremski
A formal specification of a visual language editor. IWSSD (1991)
Jeannette M. Wing, Amy Moormann Zaremski
Unintrusive Ways to Integrate Formal Specifications in Practice. VDM Europe (1) (1991)
Allan Heydon, Mark W. Maimone, J. D. Tygar, Jeannette M. Wing, Amy Moormann Zaremski
Miró: Visual Specification of Security. IEEE Trans. Software Eng. 16 (10) (1990)
Allan Heydon, Mark W. Maimone, J. D. Tygar, Jeannette M. Wing, Amy Moormann Zaremski
Constraining Pictures with Pictures. IFIP Congress (1989)
Allan Heydon, Mark W. Maimone, J. Doug Tygar, Jeannette M. Wing, Amy Moormann Zaremski
Micro tools. VL (1989)