Specification Matching of Software Components (1996)

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

Documents Related by Co-Citation

224 Protocol specifications and component adaptors – D M Yellin, R E Strom - 1997
116 Signature Matching: a Tool for Using Software Libraries – Amy Moormann Zaremski, Jeannette M. Wing - 1995
32 Specification Matching for Software Reuse: A Foundation – Jun-Jang Jeng, Betty H. C. Cheng - 1995
1214 Component Software: Beyond Object-Oriented Programming. 2nd Edition – C Szyperski - 2002
187 Regular Types for Active Objects – Oscar Nierstrasz - 1993
13 Software component search – Joseph Goguen, Doan Nguyen, José Meseguer, Du Zhang Luqi, Valdis Berzins - 1996
18 A protocol-based approach to specifying interoperability between objects – I Cho, J McGregor, L Krause - 1998
96 Mittermeir: Storing and Retrieving Software Components: A Refinement-Based System – A Mili, R Mili, R - 1994
24 Interface-Based Protocol Specification of Open Systems using PSL – Doug Lea, Jos Marlowe - 1994
558 The Common Object Request Broker: Architecture and Specification (Revision 2.2): OMG – OMG - 1998
27 Formal Specification and Prototyping of CORBA Systems – Rémi Bastide, Ousmane Sy - 1999
325 Specification and analysis of system architecture using Rapide – David C. Luckham, John J. Kenney, Larry M. Augustin, James Vera, Doug Bryan, Walter Mann - 1995
32 Foundations of Component-Based Systems – G T Leavens, M Sitaraman - 2000
641 A formal basis for architectural connection – Robert Allen, David Garlan - 1997
431 A Behavioral Notion of Subtyping – Barbara H. Liskov, Jeanette M. Wing - 1994
309 Larch: Languages and tools for formal specification – J. V. Guttag, J. J. Horning, S. J. Garland, K. D. Jones, A. Modet, J. M. Wing - 1993
424 Semantic matching of web services capabilities – Massimo Paolucci, Takahiro Kawamura, Terry R. Payne, Katia Sycara - 2002
70 Supporting Reuse by Delivering Task-Relevant and Personalized Information – Yunwen Ye, Gerhard Fischer - 2002
53 Matchmaking among Heterogeneous Agents on the Internet – Katia Sycara , Jianguo Lu , Matthias Klusch, Seth Widoff - 1999