{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,17]],"date-time":"2025-05-17T06:31:20Z","timestamp":1747463480753},"reference-count":35,"publisher":"Springer Science and Business Media LLC","issue":"1-2","license":[{"start":{"date-parts":[[1996,3,1]],"date-time":"1996-03-01T00:00:00Z","timestamp":825638400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Journal of Systems Integration"],"published-print":{"date-parts":[[1996,3]]},"DOI":"10.1007\/bf02262753","type":"journal-article","created":{"date-parts":[[2005,11,23]],"date-time":"2005-11-23T09:31:21Z","timestamp":1132738281000},"page":"93-134","source":"Crossref","is-referenced-by-count":16,"title":["Software component search"],"prefix":"10.1007","volume":"6","author":[{"given":"Joseph","family":"Goguen","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Doan","family":"Nguyen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jos\u00e9","family":"Meseguer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"family":"Luqi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Du","family":"Zhang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Valdis","family":"Berzins","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"BF02262753_CR1","unstructured":"R. Diaconescu, \u201cCategory-Based Operational Semantics of Equational Logic Programming\u201d, PhD thesis, Programming Research Group, Oxford University, 1994."},{"key":"BF02262753_CR2","volume-title":"Automated interface for retrieving reusable software components","author":"S. J. Dolgoff","year":"1992","unstructured":"S. J. Dolgoff, \u201cAutomated interface for retrieving reusable software components\u201d, Master's thesis, Naval Postgraduate School, Monterey, California, 1992."},{"key":"BF02262753_CR3","unstructured":"G. Fischer, S. Henninger, and D. Redmiles, \u201cCognitive tools for locating and comprehending software objects for resue\u201d, inProceedings, 13th International Conference on Software Engineering, May 1991."},{"issue":"8","key":"BF02262753_CR4","doi-asserted-by":"crossref","first-page":"617","DOI":"10.1109\/32.310671","volume":"20","author":"W. B. Frakes","year":"1994","unstructured":"W. B. Frakes and T. P. Pole, \u201cAn empirical study of representation methods for reusable software components\u201d.IEEE Transactions on Software Engineering 20(8), pp. 617\u2013630, August 1994.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"BF02262753_CR5","doi-asserted-by":"crossref","unstructured":"W. B. Frakes and I. Sadahiro, \u201cSuccess factors for systematic reuse\u201d.IEEE Software, pp. 15\u201319, September 1994.","DOI":"10.1109\/52.311045"},{"key":"BF02262753_CR6","doi-asserted-by":"crossref","unstructured":"K. Futatsugi, J. Goguen, J.-P. Jouannaud, and J. Meseguer, \u201cPrinciples of OBJ2\u201d, in B. Reid, editor,Proceedings, Twelfth ACM Symposium on Principles of Programming Languages. Association for Computing Machinery, 1985, pp. 52\u201366.","DOI":"10.1145\/318593.318610"},{"key":"BF02262753_CR7","unstructured":"J. Goguen, \u201cSuggestions for using and organizing libraries in software development\u201d, in S. Kartashev and S. Kartashev, editors,Proceedings, First International Conference on Supercomputing Systems, IEEE Computer Society, 1985, pp. 349\u2013360. Also inSupercomputing Systems, S. and S. Kartashev, Eds., Elsevier, 1986."},{"key":"BF02262753_CR8","first-page":"121","volume":"48","author":"J. Goguen","year":"1992","unstructured":"J. Goguen and R. Diaconescu, \u201cA short Oxford survey of order sorted algebra\u201d,Bulletin of the European Association for Theoretical Computer Science, 48, pp. 121\u2013133, October 1992. Guest column in the \u201cAlgebraic Specification Column\u201d. Also inCurrent Trends in Theoretical Computer Science: Essays and Tutorials. World Scientific, 1993, pp. 209\u2013221.","journal-title":"Bulletin of the European Association for Theoretical Computer Science"},{"key":"BF02262753_CR9","doi-asserted-by":"crossref","unstructured":"J. Goguen and R. Diaconescu, \u201cTowards an algebraic semantics for the object paradigm\u201d, in Hartmut Ehrig and Fernando Orejas, editors,Proceedings, Tenth Workshop on Abstract Data Types, Springer, 1994, pp. 1\u201329.Lecture Notes in Computer Science, Vol. 785.","DOI":"10.1007\/3-540-57867-6_1"},{"key":"BF02262753_CR10","doi-asserted-by":"crossref","unstructured":"J. Goguen, C. Kirchner, H. Kirchner, A. M\u00e9grelis, and J. Meseguer, \u201cAn introduction to OBJ3\u201d, in J.-P. Jouannaud and S. Kaplan, editors,Proceedings, Conference on Conditional Term Rewriting. Springer, 1988, pp. 258\u2013263.Lecture Notes in Computer Science, Vol. 308.","DOI":"10.1007\/3-540-19242-5_22"},{"key":"BF02262753_CR11","unstructured":"J. Goguen and G. Malcolm, \u201cProof of correctness of object representation\u201d, in A. W. Roscoe, ed.,A Classical Mind: Essays in Honour of C.A.R. Hoare. Prentice-Hall, 1994, pp. 119\u2013142."},{"key":"BF02262753_CR12","doi-asserted-by":"crossref","unstructured":"J. Goguen and J. Meseguer, \u201cUniversal realization, persistent interconnection and implementation of abstract modules\u201d, in M. Nielsen and E. M. Schmidt, eds.,Proceedings, 9th International Conference on Automata, Languages and Programming. Springer, 1982, pp. 265\u2013281.Lecture Notes in Computer Science, Vol. 140.","DOI":"10.1007\/BFb0012775"},{"issue":"2","key":"BF02262753_CR13","doi-asserted-by":"crossref","first-page":"217","DOI":"10.1016\/0304-3975(92)90302-V","volume":"105","author":"J. Goguen","year":"1992","unstructured":"J. Goguen and J. Meseguer, \u201cOrder-sorted algebra I: Equational deduction for multiple inheritance, overloading, exceptions and partial operations\u201d,Theoretical Computer Science 105(2), pp. 217\u2013273, 1992. AlsoProgramming Research Group Technical Monograph PRG-80. Oxford University, December 1989, and Technical Report SRI-CSL-89-10, SRI International, Computer Science Lab, July 1989; originally given as lecture atSeminar on Types, Carnegie-Mellon University, June 1983; many draft versions exist, from as early as 1985.","journal-title":"Theoretical Computer Science"},{"key":"BF02262753_CR14","unstructured":"J. Goguen and J. Meseguer, \u201cSoftware component search\u201d, Technical report, SRI International, Computer Science Lab, September 1994."},{"key":"BF02262753_CR15","unstructured":"J. Goguen, J. Thatcher, and E. Wagner, \u201cAn initial algebra approach to the specification, correctness and implementation of abstract data types\u201d, Technical Report RC 6487, IBM T.J. Watson Research Center, October 1976. InCurrent Trends in Programming Methodology, IV. Raymond Yeh, ed., Prentice-Hall, 1978, pp. 80\u2013149."},{"key":"BF02262753_CR16","doi-asserted-by":"crossref","unstructured":"J. Goguen, T. Winkler, J. Meseguer, K. Futatsugi, and J.-P. Jouannaud, \u201cIntroducing OBJ\u201d, in Joseph Goguen and Grant Malcolm, editors,Algebraic Specification with OBJ: An Introduction with Case Studies. Cambridge, to appear. Also Technical Report, SRI International.","DOI":"10.1007\/978-1-4757-6541-0_1"},{"key":"BF02262753_CR17","doi-asserted-by":"crossref","unstructured":"P. Hall and C. Boldyreff, 1991.Software Engineer's Reference Book. Butterworth-Heinemann, 1991.","DOI":"10.1016\/B978-0-7506-0813-8.50048-4"},{"key":"BF02262753_CR18","doi-asserted-by":"crossref","unstructured":"S. Henninger, \u201cUsing iterative refinement to find reusable software\u201d,IEEE Software, pp. 48\u201359, September 1994.","DOI":"10.1109\/52.311059"},{"key":"BF02262753_CR19","unstructured":"Luqi, \u201cNormalized specifications for identifying resable software\u201d, inProceedings of the 1987 Fall Joint Computer Conference, IEEE, October 1987, pp. 46\u201349."},{"issue":"10","key":"BF02262753_CR20","doi-asserted-by":"crossref","first-page":"1409","DOI":"10.1109\/32.6186","volume":"14","author":"Luqi","year":"1988","unstructured":"Luqi, V. Berzins, and R. Yeh, \u201cA prototyping language for real-time software\u201d,IEEE Transactions on Software Engineering 14(10), pp. 1409\u20131423, 1988.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"BF02262753_CR21","unstructured":"Luqi and Y. Lee, \u201cTowards automated retrieval of reusable software components\u201d, inProceedings, AAAI Workshop on Artificial Intelligence and Automated Program Understanding, July 1992."},{"key":"BF02262753_CR22","doi-asserted-by":"crossref","unstructured":"Luqi and M. Ketabchi, \u201cA computer-aided prototyping system\u201d.IEEE Software, pp. 66\u201372, March 1988.","DOI":"10.1109\/52.2013"},{"key":"BF02262753_CR23","unstructured":"Y. Matsumoto, \u201cA software factory: An overall approach to software production\u201d, in P. Freeman, ed.,Tutorial on Software Reusability, pp. 155\u2013178, 1987."},{"key":"BF02262753_CR24","unstructured":"J. Meseguer and J. Goguen, \u201cInitiality, induction and computability\u201d, in M. Nivat and J. Reynolds, eds.,Algebraic Methods in Semantics. Cambridge, 1985, pp. 459\u2013541."},{"key":"BF02262753_CR25","unstructured":"A. Mili, R. Mili, and R. Mittermeir. \u201cStoring and retrieving software components\u201d, inProceedings, 16th International Conference on Software Engineering, 1984, pp. 15\u201319."},{"key":"BF02262753_CR26","unstructured":"D. Nguyen, \u201cMulti-Level Filtering for Software Component Retrieval\u201d, PhD. thesis, Naval Postgraduate School, 1995."},{"key":"BF02262753_CR27","doi-asserted-by":"crossref","unstructured":"E. Ostertag, J. Hendler, R. Prieto-Diaz, and C. Braun, \u201cComputing similarity in a reuse library system\u201d.ACM Transaction on Software Engineering and Methodology, pp. 205\u2013228, July 1992.","DOI":"10.1145\/131736.131739"},{"key":"BF02262753_CR28","volume-title":"The design and implementation of a reusable component library and a retrieval\/integration system","author":"D. Ozdemir","year":"1992","unstructured":"D. Ozdemir, \u201cThe design and implementation of a reusable component library and a retrieval\/integration system\u201d, Master's thesis, Naval Postgraduate School, Monterey, California, 1992."},{"issue":"3","key":"BF02262753_CR29","doi-asserted-by":"crossref","first-page":"286","DOI":"10.1145\/152388.152392","volume":"2","author":"A. Podgurski","year":"1993","unstructured":"A. Podgurski and L. Pierce, \u201cRetrieving reusable software by sampling behavior\u201d.ACM Transactions on Software Engineering and Methodology 2(3), pp. 286\u2013303, 1993.","journal-title":"ACM Transactions on Software Engineering and Methodology"},{"key":"BF02262753_CR30","doi-asserted-by":"crossref","unstructured":"R. Prieto-Diaz, \u201cImplementing faceted classification for sofware reuse\u201d.Communication of the ACM, pp. 89\u201397, May 1991.","DOI":"10.1145\/103167.103176"},{"key":"BF02262753_CR31","unstructured":"E. J. Rollins and J. M. Wing, \u201cSpecifications as search keys for software libraries\u201d, inProceedings of the Eighth International Conference on Logic Programming, 1991."},{"key":"BF02262753_CR32","doi-asserted-by":"crossref","unstructured":"R. Steigerwald, Luqi, and J. McDowell, \u201cCASE tool for reusable software component storage and retrieval in rapid prototyping\u201d.Information and Software Technology, pp. 698\u2013705, 1991.","DOI":"10.1016\/0950-5849(91)90043-B"},{"key":"BF02262753_CR33","doi-asserted-by":"crossref","unstructured":"R. A. Steigerwald, \u201cReusable Software Component Retrieval via Normalized Algebraic Specifications\u201d, PhD thesis, Naval Postgraduate School, 1991.","DOI":"10.1109\/HICSS.1992.183272"},{"key":"BF02262753_CR34","doi-asserted-by":"crossref","unstructured":"A. M. Zaremski and J. M. Wing, \u201cSignature matching, a tool for using software libraries\u201d, inProceedings, ACM Symposium on Foundations of Software Engineering, 1993. To appear,Transactions on Software Engineering and Methodology.","DOI":"10.1145\/256428.167077"},{"key":"BF02262753_CR35","doi-asserted-by":"crossref","unstructured":"A. M. Zaremski and J. M. Wing, \u201cSpecification matching of software components\u201d, Technical Report CMU-CS-95-127, School of Computer Science, Carnegie-Mellon University, 1995.","DOI":"10.21236\/ADA294846"}],"container-title":["Journal of Systems Integration"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF02262753.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF02262753\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF02262753","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,2,1]],"date-time":"2024-02-01T02:26:44Z","timestamp":1706754404000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF02262753"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996,3]]},"references-count":35,"journal-issue":{"issue":"1-2","published-print":{"date-parts":[[1996,3]]}},"alternative-id":["BF02262753"],"URL":"https:\/\/doi.org\/10.1007\/bf02262753","relation":{},"ISSN":["0925-4676","1573-8787"],"issn-type":[{"value":"0925-4676","type":"print"},{"value":"1573-8787","type":"electronic"}],"subject":[],"published":{"date-parts":[[1996,3]]}}}