Amy Moormann Zaremski

According to our database, Amy Moormann Zaremski authored at least 9 papers between 1989 and 1997.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

1997

Specification Matching of Software Components.

Amy Moormann Zaremski, Jeannette M. Wing

ACM Trans. Softw. Eng. Methodol., 1997

1995

Signature Matching: A Tool for Using Software Libraries.

Amy Moormann Zaremski, Jeannette M. Wing

ACM Trans. Softw. Eng. Methodol., 1995

1993

Signature Matching: A Key to Reuse.

Amy Moormann Zaremski, Jeannette M. Wing

Proceedings of the First ACM SIGSOFT Symposium on Foundations of Software Engineering, 1993

1992

Thoughts on a Larch/ML and a New Application for LP.

Jeannette M. Wing, Eugene J. Rollins, Amy Moormann Zaremski

Proceedings of the First International Workshop on Larch, 1992

1991

A formal specification of a visual language editor.

Jeannette M. Wing, Amy Moormann Zaremski

Proceedings of the 6th International Workshop on Software Specification and Design, 1991

Unintrusive Ways to Integrate Formal Specifications in Practice.

Jeannette M. Wing, Amy Moormann Zaremski

Proceedings of the VDM '91, 1991

1990

Miró: Visual Specification of Security.

Allan Heydon, Mark W. Maimone, J. D. Tygar, Jeannette M. Wing, Amy Moormann Zaremski

IEEE Trans. Software Eng., 1990

1989

Micro tools.

Allan Heydon, Mark W. Maimone, J. Doug Tygar, Jeannette M. Wing, Amy Moormann Zaremski

Proceedings of the IEEE Workshop on Visual Languages, 1989

Constraining Pictures with Pictures.

Allan Heydon, Mark W. Maimone, J. D. Tygar, Jeannette M. Wing, Amy Moormann Zaremski

Proceedings of the Information Processing 89, Proceedings of the IFIP 11th World Computer Congress, San Francisco, USA, August 28, 1989