{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,4]],"date-time":"2025-05-04T22:40:08Z","timestamp":1746398408274,"version":"3.40.4"},"publisher-location":"Cham","reference-count":17,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319116792"},{"type":"electronic","value":"9783319116808"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-319-11680-8_41","type":"book-chapter","created":{"date-parts":[[2014,9,29]],"date-time":"2014-09-29T17:25:41Z","timestamp":1412011541000},"page":"513-524","source":"Crossref","is-referenced-by-count":0,"title":["A Lightweight Formal Approach for Component Reuse"],"prefix":"10.1007","author":[{"given":"Khai T.","family":"Huynh","sequence":"first","affiliation":[]},{"given":"Thang H.","family":"Bui","sequence":"additional","affiliation":[]},{"given":"Tho T.","family":"Quan","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"5","key":"41_CR1","doi-asserted-by":"publisher","first-page":"303","DOI":"10.1049\/sej.1991.0032","volume":"6","author":"V. Basili","year":"1991","unstructured":"Basili, V., Rombach, H.D.: Support for comprehensive reuse. IEEE Software Engineering Journal, vol\u00a06(5), 303\u2013316 (1991)","journal-title":"IEEE Software Engineering Journal, vol"},{"key":"41_CR2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-03345-6","volume-title":"Software engineering with reusable components","author":"J. Sametinger","year":"1997","unstructured":"Sametinger, J.: Software engineering with reusable components. Springer, New York (1997)"},{"key":"41_CR3","unstructured":"Sommerville, I.: Software Engineering, 9th edn., ch. 16. Addison-Wesley (2010) ISBN-10: 0137035152"},{"issue":"1","key":"41_CR4","doi-asserted-by":"publisher","first-page":"24","DOI":"10.1109\/32.663996","volume":"24","author":"S. Liu","year":"1998","unstructured":"Liu, S., et al.: SOFL: A formal engineering methodology for industrial applications. IEEE Transactions on Software Engineering\u00a024(1), 24\u201345 (1998)","journal-title":"IEEE Transactions on Software Engineering"},{"issue":"2","key":"41_CR5","doi-asserted-by":"publisher","first-page":"161","DOI":"10.1007\/s10270-009-0115-6","volume":"9","author":"S. Zschaler","year":"2010","unstructured":"Zschaler, S.: Formal specification of non-functional properties of component-based software systems. Software & Systems Modeling\u00a09(2), 161\u2013201 (2010)","journal-title":"Software & Systems Modeling"},{"key":"41_CR6","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1016\/S0049-237X(08)71097-8","volume":"90","author":"J. Barwise","year":"1977","unstructured":"Barwise, J.: An introduction to first-order logic. Studies in Logic and the Foundations of Mathematics\u00a090, 5\u201346 (1977)","journal-title":"Studies in Logic and the Foundations of Mathematics"},{"key":"41_CR7","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/978-1-4614-5746-6","volume-title":"Syntax of First-Order Logic. A Course on Mathematical Logic","author":"S.M. Srivastava","year":"2013","unstructured":"Srivastava, S.M.: Syntax of First-Order Logic. A Course on Mathematical Logic, pp. 1\u201313. Springer, New York (2013)"},{"key":"41_CR8","unstructured":"Ayorinde, I.T., Akinkunmi, B.O.: Application of First-Order Logic in Knowledge Based Systems. African Journal of Computing & ICT\u00a06(3) (2013)"},{"key":"41_CR9","unstructured":"Jesse, A., et al.: Premise selection for mathematics by corpus analysis and kernel methods. Journal of Automated Reasoning, 1\u201323 (2011)"},{"issue":"4","key":"41_CR10","doi-asserted-by":"publisher","first-page":"461","DOI":"10.1162\/neco.1991.3.4.461","volume":"3","author":"M.D. Richard","year":"1991","unstructured":"Richard, M.D., Richard, P.L.: Neural network classifiers estimate Bayesian a posteriori probabilities. Neural Computation\u00a03(4), 461\u2013483 (1991)","journal-title":"Neural Computation"},{"key":"41_CR11","unstructured":"Irina, R.: An empirical study of the naive Bayes classifier. In: IJCAI 2001 Workshop on Empirical Methods in Artificial Intelligence, vol.\u00a03, pp. 41\u201346 (2001)"},{"key":"41_CR12","unstructured":"Russell, S.: Artificial intelligence: A modern approach, 2nd edn., vol.\u00a0ch. 11. Pearson Education India (2003)"},{"key":"41_CR13","doi-asserted-by":"publisher","first-page":"189","DOI":"10.1016\/0004-3702(71)90010-5","volume":"2","author":"E. Richard","year":"1971","unstructured":"Richard, E., Nilsson, J.: Strips: A new approach to the application of theorem proving to problem solving. Artificial Intelligence\u00a02, 189\u2013208 (1971)","journal-title":"Artificial Intelligence"},{"key":"41_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"337","DOI":"10.1007\/978-3-540-78800-3_24","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"L. de Moura","year":"2008","unstructured":"de Moura, L., Bj\u00f8rner, N.S.: Z3: An efficient SMT solver. In: Ramakrishnan, C.R., Rehof, J. (eds.) TACAS 2008. LNCS, vol.\u00a04963, pp. 337\u2013340. Springer, Heidelberg (2008)"},{"key":"41_CR15","doi-asserted-by":"crossref","unstructured":"Rizwan, A., Saif, R.K., Aamer, N., Tai-hoo, K.: IASRE: An Integrated Software Architecture Reuse and Evaluation Framework. In: ASEA 2010, pp. 174\u2013187 (2010)","DOI":"10.1007\/978-3-642-17578-7_18"},{"key":"41_CR16","doi-asserted-by":"crossref","unstructured":"Xinyu, Z., Li, Z., Cheng, S.: The Research of the Component-based Software Engineering. In: Sixth International Conference on Information Technology: New Generations, pp. 1590\u20131591. IEEE (2009)","DOI":"10.1109\/ITNG.2009.70"},{"key":"41_CR17","doi-asserted-by":"crossref","unstructured":"Jubair, B.N.M., Salman, A.M.: A Framework Studio for Component Reusability. CS & IT-CSCP-2012, 325\u2013335 (2012)","DOI":"10.5121\/csit.2012.2130"}],"container-title":["Advances in Intelligent Systems and Computing","Knowledge and Systems Engineering"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-11680-8_41","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,4]],"date-time":"2025-05-04T22:15:45Z","timestamp":1746396945000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-11680-8_41"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319116792","9783319116808"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-11680-8_41","relation":{},"ISSN":["2194-5357","2194-5365"],"issn-type":[{"type":"print","value":"2194-5357"},{"type":"electronic","value":"2194-5365"}],"subject":[],"published":{"date-parts":[[2015]]}}}