{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T18:57:08Z","timestamp":1725908228089},"publisher-location":"Cham","reference-count":14,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319659473"},{"type":"electronic","value":"9783319659480"}],"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-65948-0_10","type":"book-chapter","created":{"date-parts":[[2017,8,10]],"date-time":"2017-08-10T02:33:00Z","timestamp":1502332380000},"page":"151-168","source":"Crossref","is-referenced-by-count":0,"title":["Improving Robustness of AUTOSAR Software Components with Design by Contract: A Study Within Volvo AB"],"prefix":"10.1007","author":[{"given":"Yulai","family":"Zhou","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Patrizio","family":"Pelliccione","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Johan","family":"Haraldsson","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mafjiul","family":"Islam","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2017,8,11]]},"reference":[{"issue":"1","key":"10_CR1","doi-asserted-by":"crossref","first-page":"4","DOI":"10.1109\/MVT.2013.2295285","volume":"9","author":"B Fleming","year":"2014","unstructured":"Fleming, B.: An overview of advances in automotive electronics [automotive electronics]. IEEE Veh. Technol. Mag. 9(1), 4\u20139 (2014)","journal-title":"IEEE Veh. Technol. Mag."},{"key":"10_CR2","doi-asserted-by":"crossref","unstructured":"Knauss, E., Pelliccione, P., Heldal, R., \u00c5gren, M., Hellman, S., Maniette, D.: Continuous integration beyond the team: a tooling perspective on challenges in the automotive industry. In: Proceedings of ESEM 2016. ACM (2016)","DOI":"10.1145\/2961111.2962639"},{"key":"10_CR3","doi-asserted-by":"crossref","first-page":"83","DOI":"10.1016\/j.sysarc.2017.02.005","volume":"77","author":"P Pelliccione","year":"2017","unstructured":"Pelliccione, P., Knauss, E., Heldal, R., \u00c5gren, S.M., Mallozzi, P., Alminger, A., Borgentun, D.: Automotive architecture framework: the experience of volvo cars. J. Syst. Architect. 77, 83\u2013100 (2017). \nhttp:\/\/www.sciencedirect.com\/science\/article\/pii\/S1383762117300954","journal-title":"J. Syst. Architect."},{"key":"10_CR4","unstructured":"AUTOSAR, Autosar technical overview v2.2.2 (2012)"},{"key":"10_CR5","volume-title":"Object-Oriented Software Construction","author":"B Meyer","year":"1988","unstructured":"Meyer, B.: Object-Oriented Software Construction, 1st edn. Prentice-Hall Inc., Upper Saddle River (1988)","edition":"1"},{"key":"10_CR6","unstructured":"Meyer, B.: Design by contract, Technical report TR-EI-12\/CO, Interactive Software Engineering Inc. (1986)"},{"issue":"10","key":"10_CR7","doi-asserted-by":"crossref","first-page":"40","DOI":"10.1109\/2.161279","volume":"25","author":"B Meyer","year":"1992","unstructured":"Meyer, B.: Applying \u201cdesign by contract\u201d. Computer 25(10), 40\u201351 (1992)","journal-title":"Computer"},{"key":"10_CR8","doi-asserted-by":"crossref","unstructured":"Araujo, W., Briand, L.C., Labiche, Y.: Enabling the runtime assertion checking of concurrent contracts for the java modeling language. In: Proceedings of the 33rd International Conference on Software Engineering, ICSE 2011, pp. 786\u2013795. ACM, New York (2011)","DOI":"10.1145\/1985793.1985903"},{"issue":"10","key":"10_CR9","doi-asserted-by":"crossref","first-page":"971","DOI":"10.1109\/TSE.2014.2339829","volume":"40","author":"W Araujo","year":"2014","unstructured":"Araujo, W., Briand, L.C., Labiche, Y.: On the effectiveness of contracts as test oracles in the detection and diagnosis of functional faults in concurrent object-oriented software. IEEE Trans. Software Eng. 40(10), 971\u2013992 (2014)","journal-title":"IEEE Trans. Software Eng."},{"key":"10_CR10","unstructured":"Liu, Y., Cunningham, H.C.: Software component specification using design by contract. In: Proceeding of the South-East Software Engineering Conference. Tennessee Valley Chapter. National Defense Industry Association (2002)"},{"issue":"6","key":"10_CR11","doi-asserted-by":"crossref","first-page":"583","DOI":"10.1002\/spe.649","volume":"35","author":"Y Cheon","year":"2005","unstructured":"Cheon, Y., Leavens, G., Sitaraman, M., Edwards, S.: Model variables: cleanly supporting abstraction in design by contract. Softw. Pract. Experience 35(6), 583\u2013599 (2005)","journal-title":"Softw. Pract. Experience"},{"key":"10_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"255","DOI":"10.1007\/978-3-642-28872-2_18","volume-title":"Fundamental Approaches to Software Engineering","author":"T Th\u00fcm","year":"2012","unstructured":"Th\u00fcm, T., Schaefer, I., Kuhlemann, M., Apel, S., Saake, G.: Applying design by contract to\u00a0feature-oriented programming. In: Lara, J., Zisman, A. (eds.) FASE 2012. LNCS, vol. 7212, pp. 255\u2013269. Springer, Heidelberg (2012). doi:\n10.1007\/978-3-642-28872-2_18"},{"key":"10_CR13","unstructured":"Benveniste, A., Caillaud, B., Nickovic, D., Passerone, R., Raclet, J.-B., Reinkemeier, P., Sangiovanni-Vincentelli, A., Damm, W., Henzinger, T., Larsen, K.: Contracts for systems design, Research Report N.8147, Inria (2012)"},{"key":"10_CR14","unstructured":"Jones, M., Haraldsson, J.: D2.4 Dedicate Framework Description (2012)"}],"container-title":["Lecture Notes in Computer Science","Software Engineering for Resilient Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-65948-0_10","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,8,10]],"date-time":"2017-08-10T02:37:04Z","timestamp":1502332624000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-65948-0_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319659473","9783319659480"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-65948-0_10","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2017]]}}}