{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,4,9]],"date-time":"2023-04-09T07:10:02Z","timestamp":1681024202996},"reference-count":36,"publisher":"Elsevier BV","issue":"1-2","license":[{"start":{"date-parts":[[2000,9,1]],"date-time":"2000-09-01T00:00:00Z","timestamp":967766400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2013,7,17]],"date-time":"2013-07-17T00:00:00Z","timestamp":1374019200000},"content-version":"vor","delay-in-days":4702,"URL":"https:\/\/www.elsevier.com\/open-access\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Theoretical Computer Science"],"published-print":{"date-parts":[[2000,9]]},"DOI":"10.1016\/s0304-3975(99)00085-7","type":"journal-article","created":{"date-parts":[[2002,7,25]],"date-time":"2002-07-25T14:21:37Z","timestamp":1027606897000},"page":"257-276","source":"Crossref","is-referenced-by-count":8,"title":["Semantic distance between specifications"],"prefix":"10.1016","volume":"247","author":[{"given":"Rym","family":"Mili","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jules","family":"Desharnais","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marc","family":"Frappier","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ali","family":"Mili","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"key":"10.1016\/S0304-3975(99)00085-7_BIB1","unstructured":"R. Backhouse, P. Hoogendijk, E. Voermans, J. Van der Woude, A relational theory of data types, Research Report, Department of Mathematics and Computer Science, Eindhoven University of Technology, The Netherlands, 1992."},{"issue":"4","key":"10.1016\/S0304-3975(99)00085-7_BIB2","doi-asserted-by":"crossref","first-page":"379","DOI":"10.1109\/32.223805","article-title":"Repository Evaluation of Software Reuse","volume":"19","author":"Banker","year":"1993","journal-title":"IEEE Trans. Software Eng."},{"key":"10.1016\/S0304-3975(99)00085-7_BIB3","doi-asserted-by":"crossref","first-page":"163","DOI":"10.1016\/0020-0190(89)90197-X","article-title":"Symmetric quotients and domain constructions","volume":"33","author":"Berghammer","year":"1989","journal-title":"Inform. Process. Lett."},{"key":"10.1016\/S0304-3975(99)00085-7_BIB4","series-title":"Software Reusability, vol. 1","author":"Biggerstaff","year":"1989"},{"key":"10.1016\/S0304-3975(99)00085-7_BIB5","unstructured":"G. Birkhoff, Lattice Theory, American Mathematical Society, Providence, RI, 1967."},{"key":"10.1016\/S0304-3975(99)00085-7_BIB6","doi-asserted-by":"crossref","first-page":"544","DOI":"10.1007\/BF01211474","article-title":"The lattice of specifications: applications to a specification methodology","volume":"4","author":"Boudriga","year":"1992","journal-title":"Formal Aspects Comput."},{"key":"10.1016\/S0304-3975(99)00085-7_BIB7","doi-asserted-by":"crossref","unstructured":"J. Desharnais, N. Belkhither, S. Sghaier, F. Tchier, A. Jaoua, A. Mili, N. Zaguia, Embedding a demonic semi-lattice in a relation algebra, Theoret. Comput. Sci. (149) (1995) 333\u2013360.","DOI":"10.1016\/0304-3975(94)00271-J"},{"issue":"5","key":"10.1016\/S0304-3975(99)00085-7_BIB8","doi-asserted-by":"crossref","first-page":"34","DOI":"10.1145\/103167.103172","article-title":"LaSSIE","volume":"34","author":"Devanbu","year":"1991","journal-title":"Comm. ACM 34"},{"key":"10.1016\/S0304-3975(99)00085-7_BIB9","doi-asserted-by":"crossref","unstructured":"M. Frappier, A relational basis for program construction by parts, Ph.D. Dissertation, University of Ottawa, October 1995.","DOI":"10.1007\/3-540-60117-1_15"},{"key":"10.1016\/S0304-3975(99)00085-7_BIB10","doi-asserted-by":"crossref","unstructured":"M. Frappier, J. Desharnais, A. Mili, A calculus of program construction by parts, Proc. Mathematics of Program Construction, Kloster Irsee, Germany, Lecture Notes in Computer Science, Springer, Berlin, July 1995.","DOI":"10.1007\/3-540-60117-1_15"},{"issue":"1\u20133","key":"10.1016\/S0304-3975(99)00085-7_BIB11","first-page":"237","article-title":"A calculus of program construction by parts","volume":"26","author":"Frappier","year":"1996","journal-title":"SCICOP"},{"key":"10.1016\/S0304-3975(99)00085-7_BIB12","doi-asserted-by":"crossref","first-page":"43","DOI":"10.1145\/101306.101309","article-title":"Proteus: a reuse library system that supports multiple representation methods","volume":"24","author":"Frakes","year":"1990","journal-title":"ACM SIGIR Forum"},{"issue":"8","key":"10.1016\/S0304-3975(99)00085-7_BIB13","doi-asserted-by":"crossref","first-page":"617","DOI":"10.1109\/32.310671","article-title":"Empirical study of software reuse","volume":"20","author":"Frakes","year":"1994","journal-title":"IEEE Trans. Software Eng."},{"key":"10.1016\/S0304-3975(99)00085-7_BIB14","unstructured":"R.J. Hall, Generalized behavior-based retrieval, Proc. 16th Internat. Conf. on Software Engineering, Sorento, Italy, ACM Press, New York, May 1994."},{"key":"10.1016\/S0304-3975(99)00085-7_BIB15","doi-asserted-by":"crossref","unstructured":"C.A.R. Hoare, J.F. He, The weakest prespecification, Fund. Inform. IX (1986) (Part I) 51\u201358; Part (II) (1986) 217\u2013252.","DOI":"10.3233\/FI-1986-9205"},{"key":"10.1016\/S0304-3975(99)00085-7_BIB16","doi-asserted-by":"crossref","first-page":"127","DOI":"10.1016\/0020-0190(87)90106-2","article-title":"The weakest prespecification","volume":"24","author":"Hoare","year":"1987","journal-title":"Inform. Process. Lett."},{"key":"10.1016\/S0304-3975(99)00085-7_BIB17","unstructured":"J.J. Jeng, B.H.C. Cheng, A formal approach to reusing more general components, IEEE 9th Knowledge-based Software Engineering Conf., Monterey, CA, September 1994, pp. 90\u201397."},{"key":"10.1016\/S0304-3975(99)00085-7_BIB18","doi-asserted-by":"crossref","first-page":"273","DOI":"10.1007\/BF02483728","article-title":"Varieties of relation algebras","volume":"15","author":"Jonsson","year":"1982","journal-title":"Algebra Univ."},{"key":"10.1016\/S0304-3975(99)00085-7_BIB19","unstructured":"M.B. Josephs, An introduction to the theory of specification and refinement, IBM Research Report RC 12993, July 1987."},{"key":"10.1016\/S0304-3975(99)00085-7_BIB20","doi-asserted-by":"crossref","unstructured":"Y.S. Maarek, D.M. Berry, The use of lexical affinities in requirements extraction, Proc. 5th Internat. Workshop on Software Specification and Design, Pittsburgh, Pa, May 1989.","DOI":"10.1145\/75199.75229"},{"key":"10.1016\/S0304-3975(99)00085-7_BIB21","unstructured":"R. Mili, Determining the reuse worthiness of a component: empirical and analytical approaches, Ph.D. Dissertation, University of Ottawa, Fall 1996."},{"issue":"7","key":"10.1016\/S0304-3975(99)00085-7_BIB22","doi-asserted-by":"crossref","first-page":"445","DOI":"10.1109\/32.605762","article-title":"Storing and retrieving software component: a refinement based approach","volume":"23","author":"Mili","year":"1997","journal-title":"IEEE Trans. Software Eng."},{"key":"10.1016\/S0304-3975(99)00085-7_BIB23","unstructured":"T. Moineau, M.C. Gaudel, Software reusability through formal specifications, in Proc. Internat. Workshop on Software Reusability, number Memo No. 57, Dortmund, 1991."},{"issue":"3","key":"10.1016\/S0304-3975(99)00085-7_BIB24","doi-asserted-by":"crossref","first-page":"205","DOI":"10.1145\/131736.131739","article-title":"Computing similarity in a reuse library system: an AI-based approach","volume":"1","author":"Ostertag","year":"1992","journal-title":"ACM Trans. Software Eng. Methodol."},{"key":"10.1016\/S0304-3975(99)00085-7_BIB25","doi-asserted-by":"crossref","unstructured":"D.E. Perry, S.S. Popovich, Inquire: predicate-based use and reuse, Proc. Knowledge Based Software Engineering Conf., Chicago, IL, September 1993.","DOI":"10.1109\/KBSE.1993.341192"},{"issue":"3","key":"10.1016\/S0304-3975(99)00085-7_BIB26","doi-asserted-by":"crossref","first-page":"286","DOI":"10.1145\/152388.152392","article-title":"Retrieving reusable software by sampling behavior","volume":"2","author":"Podgurski","year":"1993","journal-title":"ACM Trans. Software Eng. Methodol."},{"issue":"1","key":"10.1016\/S0304-3975(99)00085-7_BIB27","doi-asserted-by":"crossref","first-page":"6","DOI":"10.1109\/MS.1987.229789","article-title":"Classifying software for reusability","volume":"4","author":"Prieto-Diaz","year":"1987","journal-title":"IEEE Software"},{"key":"10.1016\/S0304-3975(99)00085-7_BIB28","doi-asserted-by":"crossref","first-page":"88","DOI":"10.1145\/103167.103176","article-title":"Implementing faceted classification for software reuse","volume":"34","author":"Prieto-Diaz","year":"1991","journal-title":"Comm. ACM"},{"key":"10.1016\/S0304-3975(99)00085-7_BIB29","series-title":"Using types as search keys in function libraries, Conf. on Functional Programming Languages and Computer Architectures","author":"Rittri","year":"1989"},{"key":"10.1016\/S0304-3975(99)00085-7_BIB30","series-title":"Relations and Graphs","author":"Schmidt","year":"1990"},{"key":"10.1016\/S0304-3975(99)00085-7_BIB31","series-title":"SIGSOFT Software Engineering Notes","article-title":"Components based software using resolve","author":"Sitaraman et al","year":"1994"},{"key":"10.1016\/S0304-3975(99)00085-7_BIB32","unstructured":"G. Spanoudakis, P. Constantopoulos, measuring similarity between software artifacts, in Proc. Software Engineering and Knowledge Engineering Conference, Jurmala, Latvia, June 1994."},{"key":"10.1016\/S0304-3975(99)00085-7_BIB33","doi-asserted-by":"crossref","unstructured":"R.A. Steigerwald, Reusable component retrieval with formal specifications, in Proc. 5th Annual Workshop on Software Reuse, October 1992.","DOI":"10.1109\/HICSS.1992.183272"},{"key":"10.1016\/S0304-3975(99)00085-7_BIB34","series-title":"Advances in Computers","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/S0065-2458(08)60164-3","article-title":"Reusable software components","author":"Weide","year":"1991"},{"issue":"2","key":"10.1016\/S0304-3975(99)00085-7_BIB35","doi-asserted-by":"crossref","first-page":"146","DOI":"10.1145\/210134.210179","article-title":"Signature Matching","volume":"4","author":"Moormann Zaremski","year":"1995","journal-title":"ACM Trans. Software Eng. Methodol."},{"key":"10.1016\/S0304-3975(99)00085-7_BIB36","unstructured":"A. Moorman Zaremski, J.M. Wing, Specification matching of software components, in Proc. SIGSOFT \u201995: 3rd ACM SIGSOFT Symp. on the Foundations of Software Engineering, ACM Press, New York."}],"container-title":["Theoretical Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0304397599000857?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0304397599000857?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2023,4,9]],"date-time":"2023-04-09T06:28:23Z","timestamp":1681021703000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0304397599000857"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000,9]]},"references-count":36,"journal-issue":{"issue":"1-2","published-print":{"date-parts":[[2000,9]]}},"alternative-id":["S0304397599000857"],"URL":"https:\/\/doi.org\/10.1016\/s0304-3975(99)00085-7","relation":{},"ISSN":["0304-3975"],"issn-type":[{"value":"0304-3975","type":"print"}],"subject":[],"published":{"date-parts":[[2000,9]]}}}