Specification Matching of Software Components (1996)

by Amy Moormann Zaremski , Jeannette M. Wing
Venue:ACM Transactions on Software Engineering and Methodology
Citations:274 - 4 self

Active Bibliography

116 Signature Matching: a Tool for Using Software Libraries – Amy Moormann Zaremski, Jeannette M. Wing - 1995
Supporting Component-Based Software – Yunwen Ye, Written Yunwen Ye, Gerhard Fischer, James Martin - 2001
20 Supporting Component-Based Software Development with Active Component Repository Systems – Yunwen Ye - 2001
1 Subtyping and Inheritance in Object-Oriented Programming – Stoyan Kurtev - 2000
71 How the design of JML accommodates both runtime assertion checking and formal verification – Gary T. Leavens, Yoonsik Cheon, Curtis Clifton, Clyde Ruby, David R. Cok - 2003
9 Retrieving Software Components That Minimize Adaptation Effort – Lamia Labed Jilani, Jules Desharnais, Rym Mili, Ali Mili - 1997
4 A Calculus of Program Modifications – A Mili, M Frappier, J Desharnais, A. Mili - 1997
7 An inexact model matching approach and its applications – Hai Zhuge - 2003
1 Automatic Testing of Sequential and Concurrent Substitutability – Michael Pradel, Thomas R. Gross
Program analyses for automatic and . . . – Michael Pradel - 2012
40 An Evolutionary Approach to Constructing Effective Software Reuse Repositories – Scott Henninger - 1997
116 Forcing behavioral subtyping through specification inheritance – Krishna Kishore Dhara, Krishna Kishore Dhara, Gary T. Leavens, Gary T. Leavens - 1996
69 Supporting Reuse by Delivering Task-Relevant and Personalized Information – Yunwen Ye, Gerhard Fischer - 2002
30 Component Interoperability – Antonio Vallecillo, Juan Hernandez, Jose M. Troya - 2000
Subtyping, Modular Specification, and Modular Verification for Applicative Object-Oriented Programs – Gary T. Leavens, William E. Weihl - 1994
15 Behavioural Subtyping Relations for Object-Oriented Formalisms – Clemens Fischer, Heike Wehrheim - 2000
14 Behavioral subtyping, specification inheritance, and modular reasoning – Gary T. Leavens, David A. Naumann
54 Specification and verification challenges for sequential object-oriented programs – Gary T. Leavens, K. Rustan M. Leino, Peter Müller
17 Efficient Specification-Based Component Retrieval – John Penix, Perry Alexander - 1996