{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T04:55:28Z","timestamp":1742964928118,"version":"3.40.3"},"publisher-location":"Cham","reference-count":22,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319686899"},{"type":"electronic","value":"9783319686905"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017]]},"DOI":"10.1007\/978-3-319-68690-5_5","type":"book-chapter","created":{"date-parts":[[2017,10,9]],"date-time":"2017-10-09T21:14:51Z","timestamp":1507583691000},"page":"71-87","source":"Crossref","is-referenced-by-count":0,"title":["A Framework for Multi-view Reconciliation and\u00a0for Medical Devices Personalization"],"prefix":"10.1007","author":[{"given":"Yihai","family":"Chen","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bofang","family":"Zhang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ridha","family":"Khedri","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Huaikou","family":"Miao","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2017,10,11]]},"reference":[{"key":"5_CR1","volume-title":"Safe and Sound Software: Creating an Efficient and Effective Quality System for Software Medical Device Organizations","author":"TH Faris","year":"2006","unstructured":"Faris, T.H.: Safe and Sound Software: Creating an Efficient and Effective Quality System for Software Medical Device Organizations. Asq Quality Press, Milwaukee (2006)"},{"key":"5_CR2","unstructured":"The Council Of The European Communities: Council Directive 93\/42\/EEC concerning medical devices (1993)"},{"key":"5_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-53956-5_7","volume-title":"Foundations of Health Information Engineering and Systems","author":"Y Chen","year":"2013","unstructured":"Chen, Y., Lawford, M., Wang, H., Wassyng, A.: Insulin pump software certification. In: Gibbons, J., MacCaull, W. (eds.) FHIES 2013. Lecture Notes in Computer Science, vol. 8315. Springer, Heidelberg (2013). doi:\n10.1007\/978-3-642-53956-5_7"},{"key":"5_CR4","unstructured":"Jones, P., Jetley, R., Abraham, J.: A formal methods-based verification approach to medical device software analysis. In: Embedded Systems Design (2010)"},{"issue":"12","key":"5_CR5","doi-asserted-by":"crossref","first-page":"41","DOI":"10.1145\/1183236.1183263","volume":"49","author":"J Bosch","year":"2006","unstructured":"Bosch, J.: The challenges of broadening the scope of software product families. Commun. ACM 49(12), 41\u201344 (2006)","journal-title":"Commun. ACM"},{"key":"5_CR6","volume-title":"Software Product Lines: Practices and Patterns","author":"CA Long","year":"2001","unstructured":"Long, C.A.: Software Product Lines: Practices and Patterns. Addison-Wesley Longman Publishing Co., Inc., Boston (2001)"},{"key":"5_CR7","unstructured":"SPLC: Product line hall of fame (2017). \nhttp:\/\/splc.net\/fame.html"},{"key":"5_CR8","doi-asserted-by":"crossref","unstructured":"Mcgregor, J.D., Muthig, D., Yoshimura, K., Jensen, P.: Successful software product line practices. IEEE Software (2010)","DOI":"10.1109\/MS.2010.74"},{"key":"5_CR9","unstructured":"Software Engineering Standards Committee of the IEEE Computer Society: ISO\/IEC Standard for Systems and Software Engineering - Recommended Practice for Architectural Description of Software-Intensive Systems (2007)"},{"issue":"2","key":"5_CR10","doi-asserted-by":"crossref","first-page":"161","DOI":"10.1007\/s10270-009-0127-2","volume":"10","author":"P H\u00f6fner","year":"2011","unstructured":"H\u00f6fner, P., Khedri, R., M\u00f6ller, B.: An algebra of product families. Softw. Syst. Model. 10(2), 161\u2013182 (2011)","journal-title":"Softw. Syst. Model."},{"key":"5_CR11","doi-asserted-by":"crossref","unstructured":"H\u00f6fner, P., Khedri, R., M\u00f6ller, B.: Algebraic view reconciliation. In: 6th IEEE International Conferences on Software Engineering and Formal Methods, Cape Town, South Africa, pp. 85\u201394, 10\u201314 November 2008","DOI":"10.1109\/SEFM.2008.36"},{"issue":"12","key":"5_CR12","doi-asserted-by":"crossref","first-page":"146","DOI":"10.1016\/j.jlamp.2015.08.004","volume":"85","author":"Q Zhang","year":"2016","unstructured":"Zhang, Q., Khedri, R.: On the weaving process of aspect-oriented product family algebra. J. Logic. Algebraic Methods Program. 85(12), 146\u2013172 (2016)","journal-title":"J. Logic. Algebraic Methods Program."},{"key":"5_CR13","doi-asserted-by":"crossref","first-page":"343","DOI":"10.1007\/s12652-013-0201-z","volume":"5","author":"Q Zhang","year":"2014","unstructured":"Zhang, Q., Khedri, R., Jaskolka, J.: An aspect-oriented language for feature-modeling. J. Ambient Intell. Humaniz. Comput. 5, 343\u2013356 (2014)","journal-title":"J. Ambient Intell. Humaniz. Comput."},{"key":"5_CR14","doi-asserted-by":"crossref","DOI":"10.1142\/3903","volume-title":"Semirings: Algebraic Theory and Applications in Computer Science","author":"U Hebisch","year":"1998","unstructured":"Hebisch, U., Weinert, H.J.: Semirings: Algebraic Theory and Applications in Computer Science. World Scientific, Singapore (1998)"},{"key":"5_CR15","unstructured":"Brear, M.: Modal kleene algebra and applications. In: Relational Methods in Computer Science, pp. 93\u2013131 (2004)"},{"key":"5_CR16","unstructured":"Diciolla, M.: Quantitative verification of real-time properties with application to medical devices. Ph.D. thesis, University of Oxford (2014)"},{"key":"5_CR17","unstructured":"Scientific, B.: PACEMAKER System Specification (2007)"},{"issue":"5","key":"5_CR18","doi-asserted-by":"crossref","first-page":"328","DOI":"10.1109\/TSE.2004.10","volume":"30","author":"LM Cysneiros","year":"2004","unstructured":"Cysneiros, L.M., do Prado Leite, J.C.S.: Nonfunctional requirements: from elicitation to conceptual models. IEEE Trans. Software Eng. 30(5), 328\u2013350 (2004)","journal-title":"IEEE Trans. Software Eng."},{"key":"5_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"248","DOI":"10.1007\/978-3-540-30587-3_34","volume-title":"COTS-Based Software Systems","author":"P Avgeriou","year":"2005","unstructured":"Avgeriou, P., Guelfi, N.: Resolving architectural mismatches of COTS through architectural reconciliation. In: Franch, X., Port, D. (eds.) ICCBSS 2005. LNCS, vol. 3412, pp. 248\u2013257. Springer, Heidelberg (2005). doi:\n10.1007\/978-3-540-30587-3_34"},{"key":"5_CR20","volume-title":"Applied Database Logic. Volume I: Fundamental Database Issues","author":"BE Jacobs","year":"1985","unstructured":"Jacobs, B.E.: Applied Database Logic. Volume I: Fundamental Database Issues. Prentice-Hall, Inc., Upper Saddle River (1985)"},{"key":"5_CR21","unstructured":"Proenca, J., Clarke, D.: Reconciliation of feature models via pullbacks. CS Reports Report CW601, Department of Computer Science, K.U.Leuven, January 2011"},{"issue":"1","key":"5_CR22","doi-asserted-by":"crossref","first-page":"1","DOI":"10.3724\/SP.J.1016.2013.00001","volume":"36","author":"L Yi","year":"2014","unstructured":"Yi, L., Haiyan, Z., Zhang, W., Jin, Z., Mei, H.: Research on the merging of feature models. Chin. J. Comput. 36(1), 1\u20139 (2014)","journal-title":"Chin. J. Comput."}],"container-title":["Lecture Notes in Computer Science","Formal Methods and Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-68690-5_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,10,12]],"date-time":"2017-10-12T08:16:33Z","timestamp":1507796193000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-68690-5_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319686899","9783319686905"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-68690-5_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2017]]}}}