Speci cation Matching of Software
暂无分享,去创建一个
[1] Jeannette M. Wing,et al. Thoughts on a Larch/ML and a New Application for LP , 1992, Larch.
[2] Susan P. Arnold,et al. The Reuse System: Cataloging and Retrieval of Reusable Software , 1988, IEEE Computer Society International Conference.
[3] 簡聰富,et al. 物件導向軟體之架構(Object-Oriented Software Construction)探討 , 1989 .
[4] Charles Richter,et al. PARIS: a system for reusing partially interpreted schemas , 1987, ICSE '87.
[5] Gerhard Fischer,et al. Cognitive tools for locating and comprehending software objects for reuse , 1991, [1991 Proceedings] 13th International Conference on Software Engineering.
[6] William B. Frakes,et al. Software reuse through information retrieval , 1986, SIGF.
[7] Gail E. Kaiser,et al. An Information Retrieval Approach For Automatically Constructing Software Libraries , 1991, IEEE Trans. Software Eng..
[8] Roland Mittermeir,et al. Storing and retrieving software components: a refinement based system , 1994, ICSE '94.
[9] Roberto Di Cosmo,et al. Type isomorphisms in a type-assignment framework , 1992, POPL '92.
[10] Robert R. Korfhage,et al. Visualization of a Document Collection: The VIBE System , 1993, Inf. Process. Manag..
[11] Todd Leavens Gary. Verifying object-oriented programs that use subtypes , 1989 .
[12] Jeannette M. Wing,et al. Signature matching: a tool for using software libraries , 1995, TSEM.
[13] Jeannette M. Wing,et al. Specifications as Search Keys for Software Libraries , 1991, ICLP.
[14] D. Perry. The Inscape Environment , 1989, 11th International Conference on Software Engineering.
[15] Colin Runciman,et al. Retrieving re-usable software components by polymorphic type , 1989, Journal of Functional Programming.
[16] Gary T. Leavens,et al. Reasoning about object-oriented programs that use subtypes , 1990, OOPSLA/ECOOP '90.
[17] Gary T. Leavens,et al. Subtyping for Mutable Types in Object-Oriented Programming Languages , 1992 .
[18] Bernd Fischer,et al. VCR: A VDM-based software component retrieval tool , 1994 .
[19] James A. Hendler,et al. Computing similarity in a reuse library system: an AI-based approach , 1992, TSEM.
[20] Pierre America,et al. Designing an Object-Oriented Programming Language with Behavioural Subtyping , 1990, REX Workshop.
[21] Stephen J. Garland,et al. Larch: Languages and Tools for Formal Specification , 1993, Texts and Monographs in Computer Science.
[22] Michael McGill,et al. Introduction to Modern Information Retrieval , 1983 .
[23] Jeannette M. Wing,et al. A behavioral notion of subtyping , 1994, TOPL.
[24] Barbara Liskov,et al. Data Abstraction and Hierarchy , 1987 .
[25] Mikael Rittri. Retrieving Library Identifiers via Equational Matching of Types , 1990, CADE.