{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T06:42:33Z","timestamp":1725864153977},"publisher-location":"Cham","reference-count":12,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319454795"},{"type":"electronic","value":"9783319454801"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"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":[[2016]]},"DOI":"10.1007\/978-3-319-45480-1_4","type":"book-chapter","created":{"date-parts":[[2016,9,2]],"date-time":"2016-09-02T11:08:20Z","timestamp":1472814500000},"page":"43-54","source":"Crossref","is-referenced-by-count":3,"title":["Configuration-Aware Contracts"],"prefix":"10.1007","author":[{"given":"Irfan","family":"Sljivo","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Barbara","family":"Gallina","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jan","family":"Carlson","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hans","family":"Hansson","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2016,9,1]]},"reference":[{"unstructured":"Benveniste, A., Caillaud, B., Nickovic, D., Passerone, R., Raclet, J.-B., Reinkemeier, P., Sangiovanni-Vincentelli, A., Damm, W., Henzinger, T., Larsen, K.G.: Contracts for system design. Research report RR-8147, Inria, November 2012","key":"4_CR1"},{"issue":"3","key":"4_CR2","first-page":"333","volume":"97","author":"A Cimatti","year":"2014","unstructured":"Cimatti, A., Tonetta, S.: Contracts-refinement proof system for component-based embedded systems. Sci. Comput. Programm. 97(3), 333\u2013348 (2014)","journal-title":"Sci. Comput. Programm."},{"issue":"21","key":"4_CR3","doi-asserted-by":"crossref","first-page":"1309","DOI":"10.1016\/j.ifacol.2015.09.706","volume":"48","author":"AL Oliveira","year":"2015","unstructured":"Oliveira, A.L., Papadopoulos, Y., Azevedo, L., Parker, D., Braga, R., Masiero, P.C., Habli, I., Kelly, T.: Automatic allocation of safety requirements to components of a software product line. IFAC-Pap. OnLine 48(21), 1309\u20131314 (2015)","journal-title":"IFAC-Pap. OnLine"},{"issue":"1","key":"4_CR4","doi-asserted-by":"crossref","first-page":"4","DOI":"10.1007\/s007790170019","volume":"5","author":"AK Dey","year":"2001","unstructured":"Dey, A.K.: Understanding and using context. Pers. Ubiquitous Comput. 5(1), 4\u20137 (2001)","journal-title":"Pers. Ubiquitous Comput."},{"unstructured":"Road vehicles \u2014 Functional safety \u2014 Part 10: Guideline on ISO 26262. International Organization for Standardization, Geneva (2011)","key":"4_CR5"},{"issue":"2","key":"4_CR6","doi-asserted-by":"crossref","first-page":"590","DOI":"10.1016\/j.engfailanal.2010.09.025","volume":"18","author":"Y Papadopoulos","year":"2011","unstructured":"Papadopoulos, Y., Walker, M., Parker, D., R\u00fcde, E., Hamann, R., Uhlig, A., Gr\u00e4tz, U., Lien, R.: Engineering failure analysis and design optimisation with HiP-HOPS. Eng. Fail. Anal. 18(2), 590\u2013608 (2011)","journal-title":"Eng. Fail. Anal."},{"key":"4_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"119","DOI":"10.1007\/3-540-45416-0_13","volume-title":"Computer Safety, Reliability and Security","author":"F Redmill","year":"2001","unstructured":"Redmill, F.: The COTS debate in perspective. In: Voges, U. (ed.) SAFECOMP 2001. LNCS, vol. 2187, p. 119. Springer, Heidelberg (2001)"},{"doi-asserted-by":"crossref","unstructured":"Schneider, D., Trapp, M., Papadopoulos, Y., Armengaud, E., Zeller, M., H\u00f6fig, K.: WAP: digital dependability identities. In: 26th International Symposium on Software Reliability Engineering, pp. 324\u2013329. IEEE (2015)","key":"4_CR8","DOI":"10.1109\/ISSRE.2015.7381825"},{"doi-asserted-by":"crossref","unstructured":"Sljivo, I., Gallina, B., Carlson, J., Hansson, H.: Strong and weak contract formalism for third-party component reuse. In: 3rd International Workshop on Software Certification, International Symposium on Software Reliability Engineering Workshops (ISSREW), pp. 359\u2013364. IEEE, November 2013","key":"4_CR9","DOI":"10.1109\/ISSREW.2013.6688921"},{"key":"4_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"170","DOI":"10.1007\/978-3-319-10506-2_12","volume-title":"Computer Safety, Reliability, and Security","author":"I Sljivo","year":"2014","unstructured":"Sljivo, I., Gallina, B., Carlson, J., Hansson, H.: Generation of safety case argument-fragments from safety contracts. In: Bondavalli, A., Di Giandomenico, F. (eds.) SAFECOMP 2014. LNCS, vol. 8666, pp. 170\u2013185. Springer, Heidelberg (2014)"},{"doi-asserted-by":"crossref","unstructured":"Varnell-Sarjeant, J., Andrews, A.A., Stefik, A., Strategies, C.R.: An empirical evaluation of developer views. In: 8th International Workshop on Quality Oriented Reuse of Software, pp. 498\u2013503. IEEE (2014)","key":"4_CR11","DOI":"10.1109\/COMPSACW.2014.83"},{"key":"4_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"218","DOI":"10.1007\/978-3-319-11653-2_14","volume-title":"Model-Driven Engineering Languages and Systems","author":"J Westman","year":"2014","unstructured":"Westman, J., Nyberg, M.: Environment-centric contracts for design of cyber-physical systems. In: Dingel, J., Schulte, W., Ramos, I., Abrah\u00e3o, S., Insfran, E. (eds.) MODELS 2014. LNCS, vol. 8767, pp. 218\u2013234. Springer, Heidelberg (2014)"}],"container-title":["Lecture Notes in Computer Science","Computer Safety, Reliability, and Security"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-45480-1_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,13]],"date-time":"2019-09-13T00:44:29Z","timestamp":1568335469000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-45480-1_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319454795","9783319454801"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-45480-1_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016]]}}}