| 1997 |
|---|
| 8 | EE | Amy Moormann Zaremski,
Jeannette M. Wing:
Specification Matching of Software Components.
ACM Trans. Softw. Eng. Methodol. 6(4): 333-369 (1997) |
| 1995 |
|---|
| 7 | EE | Amy Moormann Zaremski,
Jeannette M. Wing:
Specification Matching of Software Components.
SIGSOFT FSE 1995: 6-17 |
| 6 | EE | Amy Moormann Zaremski,
Jeannette M. Wing:
Signature Matching: A Tool for Using Software Libraries.
ACM Trans. Softw. Eng. Methodol. 4(2): 146-170 (1995) |
| 1993 |
|---|
| 5 | EE | Amy Moormann Zaremski,
Jeannette M. Wing:
Signature Matching: A Key to Reuse.
SIGSOFT FSE 1993: 182-190 |
| 1992 |
|---|
| 4 | | Jeannette M. Wing,
Eugene J. Rollins,
Amy Moormann Zaremski:
Thoughts on a Larch/ML and a New Application for LP.
Larch 1992: 297-312 |
| 1991 |
|---|
| 3 | | Jeannette M. Wing,
Amy Moormann Zaremski:
Unintrusive Ways to Integrate Formal Specifications in Practice.
VDM Europe (1) 1991: 545-569 |
| 1990 |
|---|
| 2 | EE | 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): 1185-1197 (1990) |
| 1989 |
|---|
| 1 | | Allan Heydon,
Mark W. Maimone,
J. D. Tygar,
Jeannette M. Wing,
Amy Moormann Zaremski:
Constraining Pictures with Pictures.
IFIP Congress 1989: 157-162 |
