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

Documents Related by Co-Citation

223 Protocol specifications and component adaptors – D M Yellin, R E Strom - 1997
31 Specification Matching for Software Reuse: A Foundation – Jun-Jang Jeng, Betty H. C. Cheng - 1995
555 The Common Object Request Broker: Architecture and Specification – OMG - 1996
116 Signature Matching: a Tool for Using Software Libraries – Amy Moormann Zaremski, Jeannette M. Wing - 1995
1204 Component Software: Beyond Object-Oriented Programming – Clemens Szyperski - 1997
186 Regular Types for Active Objects – Oscar Nierstrasz - 1993
13 Software component search – Joseph Goguen, Doan Nguyen, José Meseguer, Du Zhang Luqi, Valdis Berzins - 1996
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
97 Storing and Retrieving Software Components: a Refinement Based System – R Mili, R T Mittermeir - 1994
27 Formal Specification and Prototyping of CORBA Systems – Rémi Bastide, Ousmane Sy - 1999
24 Interface-Based Protocol Specification of Open Systems using PSL – Doug Lea, Jos Marlowe - 1994
323 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
631 A formal basis for architectural connection – Robert Allen, David Garlan - 1997
428 A Behavioral Notion of Subtyping – Barbara H. Liskov, Jeanette M. Wing - 1994
37 Adding roles to CORBA objects – Carlos Canal, Lidia Fuentes, Ernesto Pimentel, José M. Troya, Antonio Vallecillo
135 Dynamic Service Matchmaking Among Agents in Open Information Environments – Katia Sycara, Matthias Klusch, Seth Wido, Jianguo Lu - 1999
69 Supporting Reuse by Delivering Task-Relevant and Personalized Information – Yunwen Ye, Gerhard Fischer - 2002
20 Subsumption for XML Types – Gabriel M. Kuper - 2001