{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T01:35:46Z","timestamp":1743039346517,"version":"3.40.3"},"publisher-location":"Cham","reference-count":12,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319576657"},{"type":"electronic","value":"9783319576664"}],"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":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017]]},"DOI":"10.1007\/978-3-319-57666-4_2","type":"book-chapter","created":{"date-parts":[[2017,4,12]],"date-time":"2017-04-12T12:18:42Z","timestamp":1491999522000},"page":"10-14","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["From Formal Methods to Software Components: Back to the Future?"],"prefix":"10.1007","author":[{"given":"Kung-Kiu","family":"Lau","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2017,4,13]]},"reference":[{"issue":"1","key":"2_CR1","doi-asserted-by":"publisher","first-page":"49","DOI":"10.1007\/s003780050007","volume":"19","author":"M Broy","year":"1998","unstructured":"Broy, M., Deimel, A., Henn, J., Koskimies, K., Plasil, F., Pomberger, G., Pree, W., Stal, M., Szyperski, C.: What characterizes a software component? Softw. Concepts Tools 19(1), 49\u201356 (1998)","journal-title":"Softw. Concepts Tools"},{"key":"2_CR2","doi-asserted-by":"crossref","unstructured":"di Cola, S., Tran, C., Lau, K.-K.: A graphical tool for model-driven development using components and services. In: Proceedings of 41st Euromicro Conference on Software Engineering and Advanced Applications (SEAA) 2015, pp. 181\u2013182 (2015)","DOI":"10.1109\/SEAA.2015.13"},{"key":"2_CR3","unstructured":"He, N., Kroening, D., Wahl, T., Lau, K.-K., Taweel, F., Tran, C., R\u00fcmmer, P., Sharma, S.: Component-based design and verification in X-MAN. In: Proceedings of Embedded Real Time Software and Systems (2012)"},{"key":"2_CR4","unstructured":"Lau, K.-K.: Component certification and system prediction: is there a role for formality? In: Crnkovic, I., Schmidt, H., Stafford, J., Wallnau, K. (eds.) Proceedings of the Fourth ICSE Workshop on Component-based Software Engineering, pp. 80\u201383. IEEE Computer Society Press (2001)"},{"key":"2_CR5","doi-asserted-by":"crossref","unstructured":"Lau, K.-K., Rana, T.: A taxonomy of software composition mechanisms. In: Proceedings of 36th EUROMICRO Conference on Software Engineering and Advanced Applications, pp. 102\u2013110. IEEE (2010)","DOI":"10.1109\/SEAA.2010.36"},{"key":"2_CR6","doi-asserted-by":"crossref","unstructured":"Lau, K.-K., Taweel, F., Tran, C.: The W model for component-based software development. In: Proceedings of 37th EUROMICRO Conference on Software Engineering and Advanced Applications, pp. 47\u201350. IEEE (2011)","DOI":"10.1109\/SEAA.2011.17"},{"key":"2_CR7","doi-asserted-by":"crossref","unstructured":"Lau, K.-K., Tran, C.: X-MAN: an MDE tool for component-based system development. In: Proceedings of 38th EUROMICRO Conference on Software Engineering and Advanced Applications, pp. 158\u2013165. IEEE (2012)","DOI":"10.1109\/SEAA.2012.32"},{"key":"2_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"90","DOI":"10.1007\/11424529_7","volume-title":"Component-Based Software Engineering","author":"K-K Lau","year":"2005","unstructured":"Lau, K.-K., Velasco Elizondo, P., Wang, Z.: Exogenous connectors for software components. In: Heineman, G.T., Crnkovic, I., Schmidt, H.W., Stafford, J.A., Szyperski, C., Wallnau, K. (eds.) CBSE 2005. LNCS, vol. 3489, pp. 90\u2013106. Springer, Heidelberg (2005). doi: 10.1007\/11424529_7"},{"issue":"10","key":"2_CR9","doi-asserted-by":"publisher","first-page":"709","DOI":"10.1109\/TSE.2007.70726","volume":"33","author":"K-K Lau","year":"2007","unstructured":"Lau, K.-K., Wang, Z.: Software component models. IEEE Trans. Softw. Eng. 33(10), 709\u2013724 (2007)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"2_CR10","doi-asserted-by":"crossref","unstructured":"Lau, K.-K., Wang, Z., di Cola, S., Tran, C., Christou, V.: Software componentmodels: past, present and future. In: Tutorial at COMPARCH 2014 Conference, 30 June 2014, Lille, France (2014)","DOI":"10.1145\/2602458.2611456"},{"key":"2_CR11","doi-asserted-by":"crossref","unstructured":"Maras, J., Lednicki, L., Crnkovic, I.: 15 years of CBSE symposium - impact on the research community. In: Proceedings of the 15th International ACM SIGSOFT Symposium on Component-Based Software Engineering, pp. 61\u201370. ACM (2012)","DOI":"10.1145\/2304736.2304748"},{"key":"2_CR12","doi-asserted-by":"publisher","first-page":"1165","DOI":"10.1016\/j.jss.2010.01.008","volume":"83","author":"PV Elizondo","year":"2010","unstructured":"Elizondo, P.V., Lau, K.-K.: A catalogue of component connectors to support development with reuse. J. Syst. Softw. 83, 1165\u20131178 (2010)","journal-title":"J. Syst. Softw."}],"container-title":["Lecture Notes in Computer Science","Formal Aspects of Component Software"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-57666-4_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,8,23]],"date-time":"2023-08-23T03:21:56Z","timestamp":1692760916000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-57666-4_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319576657","9783319576664"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-57666-4_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2017]]},"assertion":[{"value":"13 April 2017","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"FACS","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Workshop on Formal Aspects of Component Software","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Besan\u00e7on","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"France","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2016","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"19 October 2016","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"21 October 2016","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"13","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"facs2016","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/events.femto-st.fr\/facs2016\/en","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}