{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T21:33:16Z","timestamp":1743024796971,"version":"3.40.3"},"publisher-location":"Dordrecht","reference-count":32,"publisher":"Springer Netherlands","isbn-type":[{"type":"print","value":"9789048136575"},{"type":"electronic","value":"9789048136582"}],"license":[{"start":{"date-parts":[[2009,12,28]],"date-time":"2009-12-28T00:00:00Z","timestamp":1261958400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2009,12,28]],"date-time":"2009-12-28T00:00:00Z","timestamp":1261958400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-90-481-3658-2_75","type":"book-chapter","created":{"date-parts":[[2010,2,12]],"date-time":"2010-02-12T16:28:26Z","timestamp":1265992106000},"page":"429-432","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Using Formal Methods in Component Based Software Development"],"prefix":"10.1007","author":[{"given":"Sajad","family":"Shirali-Shahreza","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mohammad","family":"Shirali-Shahreza","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2009,12,28]]},"reference":[{"key":"75_CR1","doi-asserted-by":"crossref","unstructured":"S. Takada , Y. Otsuka, K. Nakakoji, and K. Torii, \u201cStrategies for seeking reusable components in Smalltalk,\u201d Proceedings of the Fifth International Conference on Software Reuse, Victoria, BC, Canada, June 1998, pp. 66-74.","DOI":"10.1109\/ICSR.1998.685731"},{"key":"75_CR2","doi-asserted-by":"crossref","unstructured":"S. Atkinson, \u201cCognitive deficiencies in software library design,\u201d Proceedings of the Asia Pacific Software Engineering Conference and International Computer Science Conference (APSEC \u201897 and ICSC \u201897), December 1997, pp. 354-363.","DOI":"10.1109\/APSEC.1997.640192"},{"key":"75_CR3","doi-asserted-by":"crossref","unstructured":"M.R. Girardi and B. Ibrahim, \u201cA software reuse system based on natural language specifications,\u201d Proceedings of Fifth International Conference on Computing and Information (ICCI \u201893), Sudbury, Ontario, Canada, May 1993, pp. 507-511.","DOI":"10.1109\/ICCI.1993.315320"},{"key":"75_CR4","doi-asserted-by":"crossref","unstructured":"R. Meling, E.J., Montgomery, P. Sudha Ponnusamy, E.B. Wong, and D. Mehandjiska, \u201cStoring and retrieving software components: a component description manager,\u201d Proceedings of the 2000 Australian Software Engineering Conference, Canberra, Australia, April 2000, pp. 107-117.","DOI":"10.1109\/ASWEC.2000.844568"},{"key":"75_CR5","doi-asserted-by":"crossref","unstructured":"J.L.B. Justo, \u201cA repository to support requirement specifications reuse,\u201d Proceedings of the Information Systems Conference of New Zealand, Palmerston North, New Zealand, October 1996, pp. 53-62.","DOI":"10.1109\/ISCNZ.1996.555269"},{"key":"75_CR6","doi-asserted-by":"crossref","unstructured":"G. Sindre, E.A. Karlsson, and T. Staalhane, \u201cA method for software reuse through large component libraries,\u201d Proceedings of Fifth International Conference on Computing and Information (ICCI \u201893), Sudbury, Ontario, Canada, May 1993, pp. 464-468.","DOI":"10.1109\/ICCI.1993.315328"},{"key":"75_CR7","doi-asserted-by":"crossref","unstructured":"A. Michail and D. Notkin, \u201cAssessing software libraries by browsing similar classes, functions and relationships,\u201d Proceedings of the 1999 International Conference on Software Engineering, Los Angeles, CA USA, May 1999, pp. 463-472.","DOI":"10.1145\/302405.302678"},{"key":"75_CR8","doi-asserted-by":"crossref","unstructured":"N.K. Agarwal, D.C.C. Poo., and T.K. Yong, \u201cComponent-based Development of MILLS: A Case Study in the development of an Inter-library Loan Software System,\u201d Proceedings of the 13 th Asia Pacific Software Engineering Conference (APSEC 2006), Bangalore, India, December 2006, pp. 37-44","DOI":"10.1109\/APSEC.2006.28"},{"key":"75_CR9","doi-asserted-by":"crossref","unstructured":"G.E. Da Silveira and S.L. Meira, \u201cA metacomponent model to support the extensibility and evolvability of networked applications,\u201d Proceedings of 34 th International Conference on Technology of Object-Oriented Languages and Systems (TOOLS 34), Santa Barbara, CA, USA, July-August 2000, pp. 185-194.","DOI":"10.1109\/TOOLS.2000.868970"},{"key":"75_CR10","doi-asserted-by":"crossref","unstructured":"D. Merkl, A.M. Tjoa, and G. Kappel, \u201cLearning the semantic similarity of reusable software components,\u201d Proceedings of Third International Conference on Software Reuse: Advances in Software Reusability, Rio de Janeiro, Argentina, November 1994, pp. 33-41.","DOI":"10.1109\/ICSR.1994.365813"},{"key":"75_CR11","doi-asserted-by":"publisher","first-page":"45","DOI":"10.1049\/ip-sen:20010447","volume":"148","author":"H. Ye","year":"2001","unstructured":"H. Ye and B.W.N. Lo, \u201cTowards a self-structuring software library,\u201d IEE Proceedings-Software, April 2001, vol. 148, pp. 45-55.","journal-title":"IEE Proceedings-Software"},{"key":"75_CR12","doi-asserted-by":"crossref","unstructured":"C. Clifton and L. Wen-Syan, \u201cClassifying software components using design characteristics,\u201d Proceedings of the 10 th Knowledge-Based Software Engineering Conference, Boston, MA, USA, November 1995, pp. 139-146.","DOI":"10.1109\/KBSE.1995.490129"},{"key":"75_CR13","unstructured":"D. Hemer, A Unified Approach to Adapting and Retrieving Formally Specified Components for Reuse, Ph.D. Dissertation, University of Queensland, Australia, March 2000."},{"key":"75_CR14","doi-asserted-by":"crossref","unstructured":"D. Hemer, and P. Lindsay, \u201cSpecification-based retrieval strategies for module reuse,\u201d Proceedings of the 2001 Australian Software Engineering Conference, Canberra, Australia, August 2001, pp. 235-243.","DOI":"10.1109\/ASWEC.2001.948517"},{"key":"75_CR15","doi-asserted-by":"crossref","unstructured":"D. Hemer, \u201cSpecification matching of state-based modular components,\u201d Proceedings of the Tenth Asia-Pacific Software Engineering Conference, 2003, pp. 446-455.","DOI":"10.1109\/APSEC.2003.1254400"},{"key":"75_CR16","doi-asserted-by":"crossref","unstructured":"F. Feiks and D. Hemer, \u201cSpecification matching of object-oriented components,\u201d Proceedings of the First International Conference on Software Engineering and Formal Methods, September 2003, pp. 182-190.","DOI":"10.1109\/SEFM.2003.1236220"},{"key":"75_CR17","doi-asserted-by":"crossref","unstructured":"D. Hemer, \u201cSpecification-based retrieval strategies for component architectures,\u201d Proceedings of the 2005 Australian Software Engineering Conference, March-April 2005, pp. 233-242.","DOI":"10.1109\/ASWEC.2005.43"},{"key":"75_CR18","doi-asserted-by":"crossref","unstructured":"U. Praphamontripong and G. Hu, \u201cXML-based software component retrieval with partial and reference matching,\u201d Proceedings of the 2004 IEEE International Conference on Information Reuse and Integration (IRI 2004), Nov. 2004, pp. 127-132.","DOI":"10.1109\/IRI.2004.1431448"},{"key":"75_CR19","unstructured":"J. Penix and P. Alexander, \u201cUsing formal specifications for component retrieval and reuse,\u201d Proceedings of the Thirty-First Hawaii International Conference on System Sciences, Kohala Coast, HI, USA, Jan. 1998, vol.3, pp. 356-365."},{"key":"75_CR20","doi-asserted-by":"crossref","unstructured":"B. Morel, and P. Alexander, \u201cAutomating component adaptation for reuse,\u201d Proceedings of the 18 th IEEE International Conference on Automated Software Engineering, October 2003, pp. 142-151.","DOI":"10.1109\/ASE.2003.1240302"},{"issue":"9","key":"75_CR21","doi-asserted-by":"publisher","first-page":"587","DOI":"10.1109\/TSE.2004.53","volume":"30","author":"B. Morel","year":"2004","unstructured":"B. Morel and P. Alexander, \u201cSPARTACAS: automating component reuse and adaptation,\u201d IEEE Transactions on Software Engineering, September 2004, vol. 30, no. 9, pp. 587-600.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"75_CR22","doi-asserted-by":"crossref","unstructured":"S. Atkinson, \u201cModelling formal integrated component retrieval,\u201d Proceedings of the Fifth International Conference on Software Reuse, Victoria, BC, Canada, June 1998, pp. 337-346.","DOI":"10.1109\/ICSR.1998.685759"},{"key":"75_CR23","doi-asserted-by":"crossref","unstructured":"B. Fischer, \u201cSpecification-based browsing of software component libraries,\u201d Proceedings of the 13th IEEE International Conference on Automated Software Engineering, Honolulu, HI, USA, October 1998, pp. 74-83.","DOI":"10.1109\/ASE.1998.732577"},{"key":"75_CR24","doi-asserted-by":"crossref","unstructured":"S.A. Ehikioya, \u201cA formal model for the reuse of software specifications,\u201d Proceedings of the 1999 IEEE Canadian Conference on Electrical and Computer Engineering, Edmonton, AB, USA, May 1999, vol.1, pp. 283-288.","DOI":"10.1109\/CCECE.1999.807210"},{"key":"75_CR25","doi-asserted-by":"crossref","unstructured":"W.C. Chu, \u201cThe integration and adaptation of reusable components through semantic interface analysis,\u201d Proceedings of the Eighteenth Annual International Computer Software and Applications Conference. (COMPSAC 94), Taipei, Taiwan, Nov. 1994, pp. 252-257.","DOI":"10.1109\/CMPSAC.1994.342796"},{"key":"75_CR26","doi-asserted-by":"crossref","unstructured":"L.L. Jilani, J. Desharnais, M. Frappier, R. Mili, and A. Mili, \u201cRetrieving software components that minimize adaptation effort,\u201d Proceedings of the 12 th IEEE International Conference Automated Software Engineering, Incline Village, NV, USA, November 1997, pp. 255-262.","DOI":"10.1109\/ASE.1997.632846"},{"key":"75_CR27","doi-asserted-by":"crossref","unstructured":"W.C. Chu, and H. Yang, \u201cA formal method to software integration in reuse,\u201d Proceedings of 20 th International Computer Software and Applications Conference (COMPSAC \u201896), August 1996, pp. 343-348.","DOI":"10.1109\/CMPSAC.1996.544588"},{"key":"75_CR28","unstructured":"C.T. Chang, W.C. Chu, C.S. Liu, and H. Yang, \u201cA formal approach to software components classification and retrieval,\u201d Proceedings of the Twenty-First Annual International Computer Software and Applications Conference (COMPSAC \u201897), Washington, DC, USA, August 1997, pp. 264-269."},{"key":"75_CR29","doi-asserted-by":"crossref","unstructured":"P.S. Roop, A. Sowmya, and S. Ramesh, \u201cA formal approach to component based development of synchronous programs,\u201d Proceedings of the Asia and South Pacific Design Automation Conference 2001 (ASP-DAC 2001), Yokohama, Japan, January-February. 2001, pp. 421-424.","DOI":"10.1145\/370155.370432"},{"key":"75_CR30","doi-asserted-by":"crossref","unstructured":"W.C. Chu, and H. Yang, \u201cComponent reuse through reverse engineering and semantic interface analysis,\u201d Proceedings of the Nineteenth Annual International Computer Software and Applications Conference (COMPSAC 95), Dallas, TX, USA, August 1995, pp. 290-296.","DOI":"10.1109\/CMPSAC.1995.524793"},{"key":"75_CR31","doi-asserted-by":"crossref","unstructured":"G.C. Gannod and B.H.C. Cheng, \u201cA specification matching based approach to reverse engineering,\u201d Proceedings of the 1999 International Conference on Software Engineering, Los Angeles, CA USA, May 1999, pp. 389-398.","DOI":"10.1145\/302405.302661"},{"key":"75_CR32","doi-asserted-by":"crossref","unstructured":"G.C. Gannod, Y. Chen, and B.H.C. Cheng, \u201cAn automated approach for supporting software reuse via reverse engineering,\u201d Proceedings of the 13 th IEEE International Conference on Automated Software Engineering, Honolulu, HI, USA, October 1998, pp. 94-103.","DOI":"10.1109\/ASE.1998.732586"}],"container-title":["Innovations and Advances in Computer Sciences and Engineering"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-90-481-3658-2_75","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,18]],"date-time":"2025-02-18T11:42:25Z","timestamp":1739878945000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-90-481-3658-2_75"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,12,28]]},"ISBN":["9789048136575","9789048136582"],"references-count":32,"URL":"https:\/\/doi.org\/10.1007\/978-90-481-3658-2_75","relation":{},"subject":[],"published":{"date-parts":[[2009,12,28]]},"assertion":[{"value":"28 December 2009","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}