{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,16]],"date-time":"2025-10-16T03:46:09Z","timestamp":1760586369796},"reference-count":19,"publisher":"World Scientific Pub Co Pte Lt","issue":"04","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Int. J. Soft. Eng. Knowl. Eng."],"published-print":{"date-parts":[[2005,8]]},"abstract":"<jats:p> In a totally formalized, iterative and incremental software process, each iteration usually implies identifying new requirements, adding them to the current model of the system, checking again the consistency and, in many cases, modifying the model to satisfy all the functional requirements. In this context, the ARIFS (Approximate Retrieval of Incomplete and Formal Specifications) methodology provides a suitable reuse environment (1) to classify, retrieve and adapt formal and incomplete requirements specifications and (2) to reuse the formal verification results linked to them. In this paper, we focus on the first goal describing the classification and retrieval tasks, which are based on functional similarities according to structural and semantic closeness. To this effect, we define four partial ordering relations among reusable components and several measures to quantify functional differences among them. By using these measures, we are able to offer an approximate and efficient retrieval, without formal proofs, and to predict adaptation efforts to satisfy the required functionality. <\/jats:p>","DOI":"10.1142\/s021819400500249x","type":"journal-article","created":{"date-parts":[[2005,8,30]],"date-time":"2005-08-30T07:43:07Z","timestamp":1125387787000},"page":"607-645","source":"Crossref","is-referenced-by-count":3,"title":["ARIFS METHODOLOGY: REUSING INCOMPLETE MODELS AT THE REQUIREMENTS SPECIFICATION STAGE"],"prefix":"10.1142","volume":"15","author":[{"given":"REBECA P.","family":"D\u00cdAZ REDONDO","sequence":"first","affiliation":[{"name":"Departamento de Enxe\u00f1er\u00eda Telem\u00e1tica, Universidade de Vigo, Spain"},{"name":"E.T.S.E. Telecomunicaci\u00f3n, Vigo 36200, Spain"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"JOS\u00c9 J.","family":"PAZOS ARIAS","sequence":"additional","affiliation":[{"name":"Departamento de Enxe\u00f1er\u00eda Telem\u00e1tica, Universidade de Vigo, Spain"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"ANA","family":"FERN\u00c1NDEZ VILAS","sequence":"additional","affiliation":[{"name":"Departamento de Enxe\u00f1er\u00eda Telem\u00e1tica, Universidade de Vigo, Spain"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"JORGE","family":"GARC\u00cdA DUQUE","sequence":"additional","affiliation":[{"name":"Departamento de Enxe\u00f1er\u00eda Telem\u00e1tica, Universidade de Vigo, Spain"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"ALBERTO","family":"GIL SOLLA","sequence":"additional","affiliation":[{"name":"Departamento de Enxe\u00f1er\u00eda Telem\u00e1tica, Universidade de Vigo, Spain"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"219","published-online":{"date-parts":[[2011,11,21]]},"reference":[{"key":"rf1","doi-asserted-by":"publisher","DOI":"10.1007\/978-0-387-35079-0_6"},{"key":"rf2","first-page":"10","volume":"6","author":"Prieto-Diaz R.","journal-title":"American Programmer"},{"key":"rf3","doi-asserted-by":"publisher","DOI":"10.1007\/BF02813029"},{"key":"rf6","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-45064-1_15"},{"key":"rf7","first-page":"677","volume":"35","author":"Bryant R.","journal-title":"IEEE Trans. on Computers"},{"key":"rf9","doi-asserted-by":"publisher","DOI":"10.1007\/BF01384314"},{"key":"rf11","doi-asserted-by":"publisher","DOI":"10.1002\/spe.4380180203"},{"key":"rf12","doi-asserted-by":"publisher","DOI":"10.1002\/j.1538-7305.1985.tb00010.x"},{"key":"rf13","doi-asserted-by":"publisher","DOI":"10.1145\/103167.103176"},{"key":"rf14","doi-asserted-by":"publisher","DOI":"10.1109\/32.83915"},{"key":"rf16","doi-asserted-by":"publisher","DOI":"10.1145\/261640.261641"},{"key":"rf17","doi-asserted-by":"publisher","DOI":"10.1023\/A:1008766530096"},{"key":"rf18","volume":"9","author":"Cheng B. H. C.","journal-title":"IEEE Trans. on Knowledge and Data Engineering"},{"key":"rf21","doi-asserted-by":"publisher","DOI":"10.1109\/32.605762"},{"key":"rf23","doi-asserted-by":"publisher","DOI":"10.1007\/PL00003939"},{"key":"rf25","volume-title":"Handbook of Process Algebra","author":"van Glabeek R. J.","year":"2001"},{"key":"rf28","volume-title":"Element of Discrete Mathematics","author":"Liu C. L.","year":"1985"},{"key":"rf29","doi-asserted-by":"publisher","DOI":"10.1142\/9789812562425_0009"},{"key":"rf30","doi-asserted-by":"publisher","DOI":"10.1109\/52.62928"}],"container-title":["International Journal of Software Engineering and Knowledge Engineering"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.worldscientific.com\/doi\/pdf\/10.1142\/S021819400500249X","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,6]],"date-time":"2019-08-06T21:47:17Z","timestamp":1565128037000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.worldscientific.com\/doi\/abs\/10.1142\/S021819400500249X"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005,8]]},"references-count":19,"journal-issue":{"issue":"04","published-online":{"date-parts":[[2011,11,21]]},"published-print":{"date-parts":[[2005,8]]}},"alternative-id":["10.1142\/S021819400500249X"],"URL":"https:\/\/doi.org\/10.1142\/s021819400500249x","relation":{},"ISSN":["0218-1940","1793-6403"],"issn-type":[{"value":"0218-1940","type":"print"},{"value":"1793-6403","type":"electronic"}],"subject":[],"published":{"date-parts":[[2005,8]]}}}