{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T21:14:15Z","timestamp":1725484455250},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540000297"},{"type":"electronic","value":"9783540361039"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-36103-0_9","type":"book-chapter","created":{"date-parts":[[2007,5,16]],"date-time":"2007-05-16T03:15:07Z","timestamp":1179285307000},"page":"69-79","source":"Crossref","is-referenced-by-count":1,"title":["A Specification-Based Software Construction Framework for Reuse"],"prefix":"10.1007","author":[{"given":"Jing","family":"Liu","sequence":"first","affiliation":[]},{"given":"Huaikou","family":"Miao","sequence":"additional","affiliation":[]},{"given":"Xiaolei","family":"Gao","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2002,10,10]]},"reference":[{"issue":"6","key":"9_CR1","doi-asserted-by":"publisher","first-page":"528","DOI":"10.1109\/32.391379","volume":"21","author":"H. Mili","year":"1995","unstructured":"Mili, H., Mili, F., and Mili, A. 1995. Reusing software: Issues and research directions. IEEE Transaction on Software Engineering, 21(6):528\u2013562","journal-title":"IEEE Transaction on Software Engineering"},{"key":"9_CR2","doi-asserted-by":"publisher","first-page":"139","DOI":"10.1023\/A:1008766530096","volume":"6","author":"J. Penix","year":"1999","unstructured":"Penix, J. and Alexander, P. 1999. Efficient Specification-Based Component Retrieval. Automated Software Engineering, 6, 139\u2013170, Kluwer Academic Publishers","journal-title":"Automated Software Engineering"},{"key":"9_CR3","unstructured":"Shaw, M. and Garlan, D. 1996. Software architecture: perspectives on an emerging discipline. Prentice Hall."},{"key":"9_CR4","unstructured":"Rollins, E.J. and Wing, J. 1991. Specifications as search keys for software libraries. In Proceedings of the Eight International Conference in Logic Programming."},{"key":"9_CR5","doi-asserted-by":"crossref","unstructured":"Moormann Zaremski, A. and Wing, J.M. 1995. Signature matching, a tool for using software libraries. ACM Transactions on Software Engineering and Methodology (TOSEM).","DOI":"10.1145\/210134.210179"},{"key":"9_CR6","doi-asserted-by":"crossref","unstructured":"Moormann Zaremski, A. and Wing, J.M. 1995. Specification matching of software components. In 3rd ACM SIGSOFT Symposium on the Foundations of Software Engineering.","DOI":"10.1145\/222124.222135"},{"key":"9_CR7","unstructured":"Penix, J. and Alexander, P. 1997. Toward automated component adaptation. In Proceedings of the Ninth International Conference on Software Engineering and KE, page 535\u2013542."},{"key":"9_CR8","unstructured":"Rakotonirainy, A., Bond, A., Indulska, J. and Leonard, D., 2000, SCAF: A simple component architecture framework. IEEE 0-7695-0731-X\/00"},{"key":"9_CR9","doi-asserted-by":"crossref","unstructured":"Zaremski, A.M., and Wing, J.M., 1995, Specification matching of software components. SIGSOFT\u201995 Pro of 3rd ACM SIGSOFT Symposium on the foundation of software Engineering-ACM Press","DOI":"10.21236\/ADA294846"},{"key":"9_CR10","doi-asserted-by":"crossref","unstructured":"Jacky, J., 1997, The way of Z: Practical Programming with Formal Methods. Cambridge University Press","DOI":"10.1017\/CBO9780511574924"},{"key":"9_CR11","unstructured":"Matthews, C., and Swatman, P.A., 2000, Fuzzy Concept and Formal Methods: Some Illustrative Examples, IEEE 1530-1362\/00"},{"key":"9_CR12","doi-asserted-by":"crossref","unstructured":"Zaremski, A.M. and Wing, J.M. 1993, Signature Matching: A key to Reuse, Proc. ACM SIGSOFT Symp. On the Foundations on Software Engineering","DOI":"10.1145\/256428.167077"},{"key":"9_CR13","unstructured":"Miao, H., Li, G. and Zhu, G., 1999, Software Engineering Language \u2014 Z, (in Chinese), Shanghai Science and Technology Literature Press"},{"key":"9_CR14","volume-title":"36th International Conference in Technology of Object \u2022 Oriented Languages and Systems Tools","author":"H. Miao","year":"2000","unstructured":"Miao, H., Yu, C. and Li, L., 2000, A formalized abstract component object model\u2014 Z-COM+, 36th International Conference in Technology of Object \u2022 Oriented Languages and Systems Tools-Asia, IEEE Computer Society Press"},{"issue":"4","key":"9_CR15","doi-asserted-by":"publisher","first-page":"333","DOI":"10.1145\/261640.261641","volume":"6","author":"A.M. Zaremski","year":"1997","unstructured":"Zaremski, A.M. and Wing, J.M., 1997, Specification matching of software components, ACM Transactions on Software Engineering and Methodology (TOSEM), Vol. 6, No. 4, pages 333\u2013369.","journal-title":"ACM Transactions on Software Engineering and Methodology (TOSEM)"},{"key":"9_CR16","doi-asserted-by":"crossref","unstructured":"Matthews, C., and Swatman, P.A., 2000, Fuzzy concept and formal methods: a fuzzy logic toolkit for Z, in J.P. Bowen, S.E. Dunne, A. Springer-Verlag, Berlin, ISBN 3-540-67944-8, 491\u2013510.","DOI":"10.1007\/3-540-44525-0_29"}],"container-title":["Lecture Notes in Computer Science","Formal Methods and Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-36103-0_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,22]],"date-time":"2020-04-22T01:29:11Z","timestamp":1587518951000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-36103-0_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540000297","9783540361039"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/3-540-36103-0_9","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2002]]}}}