Searching for authors named "Amy Moormann Zaremski" – sorted by Relevance.
-
Signature and Specification Matching
- Signature and Specification Matching Amy Moormann Zaremski January 1996 CS-CMU-96-103 School
- Cited by 21 (1 self) – Add To MetaCart
-
Signature Matching: A Key to Reuse
- Signature Matching: A Key to Reuse Amy Moormann Zaremski and Jeannette M. Wing (amy
- Add To MetaCart
-
Unintrusive Ways to Integrate Formal Specifications in Practice
- -6543 under Contract F33615-90-C-1465, Arpa Order No. 7597. A. Moormann Zaremski is also supported by a
- Cited by 6 (1 self) – Add To MetaCart
-
Signature Matching: A Key to Reuse
- Signature Matching: A Key to Reuse Amy Moormann Zaremski and Jeannette M. Wing May 3, 1993 CMU
- Cited by 30 (2 self) – Add To MetaCart
-
Thoughts on a Larch/ML and a New Application for LP
- Moormann Zaremski May 7, 1992 CMU-CS-92-135 School of Computer Science Carnegie Mellon University
- Cited by 13 (5 self) – Add To MetaCart
-
Specification Matching of Software Components
- Specification Matching of Software Components Amy Moormann Zaremski and Jeannette M. Wing (amy
- Cited by 223 (4 self) – Add To MetaCart
-
Signature Matching: a Tool for Using Software Libraries
- Signature Matching: a Tool for Using Software Libraries AMY MOORMANN ZAREMSKI and JEANNETTE M
- Cited by 93 (2 self) – Add To MetaCart
-
Thoughts on a Larch/ML and a New Application for LP
- Moormann Zaremski May 7, 1992 CMU-CS-92-135 School of Computer Science Carnegie Mellon University
- Add To MetaCart
-
Unintrusive Ways to Integrate Formal Specifications in
- -6543 under Contract F33615-90-C-1465, Arpa Order No. 7597. A. Moormann Zaremski is also supported by a
- Add To MetaCart

