{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,6]],"date-time":"2026-07-06T11:14:40Z","timestamp":1783336480913,"version":"3.54.6"},"publisher-location":"Cham","reference-count":51,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783319741826","type":"print"},{"value":"9783319741833","type":"electronic"}],"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-74183-3_3","type":"book-chapter","created":{"date-parts":[[2018,1,17]],"date-time":"2018-01-17T13:02:43Z","timestamp":1516194163000},"page":"64-89","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":12,"title":["Challenges in Composing and Decomposing Assurances for Self-Adaptive Systems"],"prefix":"10.1007","author":[{"given":"Bradley","family":"Schmerl","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Jesper","family":"Andersson","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Thomas","family":"Vogel","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Myra B.","family":"Cohen","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Cecilia M. F.","family":"Rubira","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Yuriy","family":"Brun","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Alessandra","family":"Gorla","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Franco","family":"Zambonelli","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Luciano","family":"Baresi","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2018,1,18]]},"reference":[{"key":"3_CR1","series-title":"Lecture Notes in Business Information Processing","doi-asserted-by":"publisher","first-page":"362","DOI":"10.1007\/978-3-642-31072-0_25","volume-title":"Enterprise, Business-Process and Information Systems Modeling","author":"R Ali","year":"2012","unstructured":"Ali, R., Griggio, A., Franz\u00e9n, A., Dalpiaz, F., Giorgini, P.: Optimizing monitoring requirements in self-adaptive systems. In: Bider, I., Halpin, T., Krogstie, J., Nurcan, S., Proper, E., Schmidt, R., Soffer, P., Wrycza, S. (eds.) BPMDS\/EMMSAD -2012. LNBIP, vol. 113, pp. 362\u2013377. Springer, Heidelberg (2012). https:\/\/doi.org\/10.1007\/978-3-642-31072-0_25"},{"issue":"1","key":"3_CR2","doi-asserted-by":"crossref","first-page":"3:1","DOI":"10.1145\/2567926","volume":"9","author":"C Barna","year":"2014","unstructured":"Barna, C., Shtern, M., Smit, M., Tzerpos, V., Litoiu, M.: Mitigating dos attacks using performance model-driven adaptive algorithms. ACM Trans. Auton. Adapt. Syst. 9(1), 3:1\u20133:26 (2014)","journal-title":"ACM Trans. Auton. Adapt. Syst."},{"key":"3_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"321","DOI":"10.1007\/3-540-45732-1_31","volume-title":"Computer Safety, Reliability and Security","author":"I Bate","year":"2002","unstructured":"Bate, I., Kelly, T.: Architectural considerations in the certification of modular systems. In: Anderson, S., Felici, M., Bologna, S. (eds.) SAFECOMP 2002. LNCS, vol. 2434, pp. 321\u2013333. Springer, Heidelberg (2002). https:\/\/doi.org\/10.1007\/3-540-45732-1_31"},{"key":"3_CR4","doi-asserted-by":"publisher","unstructured":"Bloomfield, R., Bishop, P.: Safety and assurance cases: past, present and possible future - an Adelard perspective. In: Dale, C., Anderson, T. (eds.) Making Systems Safer, pp. 51\u201367. Springer, London (2010). https:\/\/doi.org\/10.1007\/978-1-84996-086-1_4","DOI":"10.1007\/978-1-84996-086-1_4"},{"key":"3_CR5","unstructured":"Bloomfield, R., Peter, B., Jones, C., Froome, P.: ASCAD \u2013 Adelard Safety Case Development Manual. Adelard, 3 Coborn Road, London E3 2DA, UK (1998)"},{"key":"3_CR6","doi-asserted-by":"crossref","unstructured":"Brun, Y., Bang, J.Y., Edwards, G., Medvidovic, N.: Self-adapting reliability in distributed software systems. IEEE Trans. Softw. Eng. (TSE) (2015) (in press)","DOI":"10.1109\/TSE.2015.2412134"},{"key":"3_CR7","doi-asserted-by":"publisher","unstructured":"Brun, Y., Edwards, G., Bang, J.Y., Medvidovic, N.: Smart redundancy for distributed computation. In: Proceedings of the 31st International Conference on Distributed Computing Systems (ICDCS), Minneapolis, MN, USA, pp. 665\u2013676, June 2011, https:\/\/doi.org\/10.1109\/ICDCS.2011.25","DOI":"10.1109\/ICDCS.2011.25"},{"key":"3_CR8","doi-asserted-by":"publisher","unstructured":"Brun, Y., Medvidovic, N.: Fault and adversary tolerance as an emergent property of distributed systems\u2019 software architectures. In: Proceedings of the 2nd International Workshop on Engineering Fault Tolerant Systems (EFTS), Dubrovnik, Croatia, pp. 38\u201343, September 2007, https:\/\/doi.org\/10.1145\/1316550.1316557","DOI":"10.1145\/1316550.1316557"},{"key":"3_CR9","doi-asserted-by":"publisher","unstructured":"Brun, Y., Medvidovic, N.: An architectural style for solving computationally intensive problems on large networks. In: Proceedings of Software Engineering for Adaptive and Self-Managing Systems (SEAMS), Minneapolis, MN, USA, May 2007, https:\/\/doi.org\/10.1109\/SEAMS.2007.4","DOI":"10.1109\/SEAMS.2007.4"},{"key":"3_CR10","doi-asserted-by":"publisher","unstructured":"Brun, Y., Medvidovic, N.: Keeping data private while computing in the cloud. In: Proceedings of the 5th International Conference on Cloud Computing (CLOUD), Honolulu, HI, USA, pp. 285\u2013294, June 2012, https:\/\/doi.org\/10.1109\/CLOUD.2012.126","DOI":"10.1109\/CLOUD.2012.126"},{"key":"3_CR11","doi-asserted-by":"publisher","unstructured":"Brun, Y., Medvidovic, N.: Entrusting private computation and data to untrusted networks. IEEE Trans. Dependable Secure Comput. (TDSC), 10(4), 225\u2013238 (2013), https:\/\/doi.org\/10.1109\/TDSC.2013.13","DOI":"10.1109\/TDSC.2013.13"},{"key":"3_CR12","doi-asserted-by":"publisher","unstructured":"Brun, Y., Reishus, D.: Path finding in the tile assembly model. Theoret. Comput. Sci. 410(15), 1461\u20131472 (2009), https:\/\/doi.org\/10.1016\/j.tcs.2008.12.008","DOI":"10.1016\/j.tcs.2008.12.008"},{"key":"3_CR13","doi-asserted-by":"crossref","unstructured":"Casanova, P., Garlan, D., Schmerl, B., Abreu, R.: Diagnosing architectural run-time failures. In: Proceedings of the 8th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, 20\u201321 May 2013 (2013)","DOI":"10.1109\/SEAMS.2013.6595497"},{"key":"3_CR14","doi-asserted-by":"crossref","unstructured":"Casanova, P., Garlan, D., Schmerl, B., Abreu, R.: Diagnosing unobserved components in self-adaptive systems. In: 9th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, Hyderabad, India, 2\u20133 June 2014 (2014)","DOI":"10.1145\/2593929.2593946"},{"key":"3_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"468","DOI":"10.1007\/978-3-642-04425-0_36","volume-title":"Model Driven Engineering Languages and Systems","author":"BHC Cheng","year":"2009","unstructured":"Cheng, B.H.C., Sawyer, P., Bencomo, N., Whittle, J.: A goal-based modeling approach to develop requirements of an adaptive system with environmental uncertainty. In: Sch\u00fcrr, A., Selic, B. (eds.) MODELS 2009. LNCS, vol. 5795, pp. 468\u2013483. Springer, Heidelberg (2009). https:\/\/doi.org\/10.1007\/978-3-642-04425-0_36"},{"key":"3_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-642-02161-9_1","volume-title":"Software Engineering for Self-Adaptive Systems","author":"BHC Cheng","year":"2009","unstructured":"Cheng, B.H.C., et al.: Software engineering for self-adaptive systems: a research roadmap. In: Cheng, B.H.C., de Lemos, R., Giese, H., Inverardi, P., Magee, J. (eds.) Software Engineering for Self-Adaptive Systems. LNCS, vol. 5525, pp. 1\u201326. Springer, Heidelberg (2009). https:\/\/doi.org\/10.1007\/978-3-642-02161-9_1"},{"key":"3_CR17","doi-asserted-by":"crossref","unstructured":"Cheng, S.-W., Garlan, D., Schmerl, B.: Architecture-based self-adaptation in the presence of multiple objectives. In: Workshop on Software Engineering for Adaptive and Self-Managing Systems (SEAMS), Shanghai, China, 21\u201322 May 2006 (2006)","DOI":"10.1145\/1137677.1137679"},{"key":"3_CR18","doi-asserted-by":"crossref","unstructured":"Cheng, S.-W., Garlan, D., Schmerl, B.: Evaluating the effectiveness of the rainbow self-adaptive system. In: Workshop on Software Engineering for Adaptive and Self-Managing Systems (SEAMS 2009), Vancouver, BC, Canada, May 2009","DOI":"10.1007\/978-3-642-02161-9"},{"key":"3_CR19","doi-asserted-by":"crossref","unstructured":"Cheng, S.-W., Garlan, D., Schmerl, B., Sousa, J.A.P., Spitznagel, B., Steenkiste, P.: Using architectural style as a basis for self-repair. In: Bosch, J., Gentleman, M., Hofmeister, C., Kuusela, J. (eds.) Proceedings of the 3rd Working IEEE\/IFIP Conference on Software Architecture, 25\u201331 August 2002, pp. 45\u201359. Kluwer Academic Publishers (2002)","DOI":"10.1007\/978-0-387-35607-5_3"},{"issue":"7","key":"3_CR20","doi-asserted-by":"crossref","first-page":"437","DOI":"10.1109\/32.605761","volume":"23","author":"DM Cohen","year":"1997","unstructured":"Cohen, D.M., Dalal, S.R., Fredman, M.L., Patton, G.C.: The AETG system: an approach to testing based on combinatorial design. IEEE Trans. Software Eng. 23(7), 437\u2013444 (1997)","journal-title":"IEEE Trans. Software Eng."},{"issue":"5","key":"3_CR21","doi-asserted-by":"crossref","first-page":"633","DOI":"10.1109\/TSE.2008.50","volume":"34","author":"MB Cohen","year":"2008","unstructured":"Cohen, M.B., Dwyer, M.B., Shi, J.: Constructing interaction test suites for highly-configurable systems in the presence of constraints: a greedy approach. IEEE Trans. Software Eng. 34(5), 633\u2013650 (2008)","journal-title":"IEEE Trans. Software Eng."},{"key":"3_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-642-36249-1_1","volume-title":"Assurances for Self-Adaptive Systems","author":"M Cordy","year":"2013","unstructured":"Cordy, M., Classen, A., Heymans, P., Legay, A., Schobbens, P.-Y.: Model checking adaptive software with featured transition systems. In: C\u00e1mara, J., de Lemos, R., Ghezzi, C., Lopes, A. (eds.) Assurances for Self-Adaptive Systems. LNCS, vol. 7740, pp. 1\u201329. Springer, Heidelberg (2013). https:\/\/doi.org\/10.1007\/978-3-642-36249-1_1"},{"key":"3_CR23","doi-asserted-by":"crossref","unstructured":"Elkhodary, A., Esfahani, N., Malek, S.: FUSION: a framework for engineering self-tuning self-adaptive software systems. In: Proceedings of the Eighteenth ACM SIGSOFT International Symposium on Foundations of Software Engineering, FSE 2010, pp. 7\u201316 (2010)","DOI":"10.1145\/1882291.1882296"},{"key":"3_CR24","doi-asserted-by":"crossref","unstructured":"Filieri, A., Ghezzi, C., Tamburrelli, G.: Run-time efficient probabilistic model checking. In: 33rd International Conference on Software Engineering (ICSE), pp. 341\u2013350, May 2011","DOI":"10.1145\/1985793.1985840"},{"key":"3_CR25","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"30","DOI":"10.1007\/978-3-642-36249-1_2","volume-title":"Assurances for Self-Adaptive Systems","author":"A Filieri","year":"2013","unstructured":"Filieri, A., Tamburrelli, G.: Probabilistic verification at runtime for self-adaptive systems. In: C\u00e1mara, J., de Lemos, R., Ghezzi, C., Lopes, A. (eds.) Assurances for Self-Adaptive Systems. LNCS, vol. 7740, pp. 30\u201359. Springer, Heidelberg (2013). https:\/\/doi.org\/10.1007\/978-3-642-36249-1_2"},{"issue":"1","key":"3_CR26","first-page":"75","volume":"42","author":"J Franco","year":"2016","unstructured":"Franco, J., Correia, F., Barbosa, R., Zenha-Rela, M., Schmerl, B., Garlan, D.: Improving self-adaptation through software architecture-based stochastic modeling. J. Syst. Softw. 42(1), 75\u201399 (2016)","journal-title":"J. Syst. Softw."},{"key":"3_CR27","doi-asserted-by":"crossref","unstructured":"Fredericks, E.M., DeVries, B., Cheng, B.H.C.: Towards run-time adaptation of test cases for self-adaptive systems in the face of uncertainty. In: Proceedings of the 9th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, SEAMS 2014, pp. 17\u201326. ACM, New York (2014)","DOI":"10.1145\/2593929.2593937"},{"key":"3_CR28","doi-asserted-by":"crossref","unstructured":"Garlan, D., Cheng, S.-W., Huang, A.-C., Schmerl, B., Steenkiste, P.: Rainbow: architecture-based self adaptation with reusable infrastructure. IEEE Comput. 37(10), October 2004","DOI":"10.1109\/MC.2004.175"},{"key":"3_CR29","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"266","DOI":"10.1007\/978-3-642-36249-1_10","volume-title":"Assurances for Self-Adaptive Systems","author":"BJ Garvin","year":"2013","unstructured":"Garvin, B.J., Cohen, M.B., Dwyer, M.B.: Failure avoidance in configurable systems through feature locality. In: C\u00e1mara, J., de Lemos, R., Ghezzi, C., Lopes, A. (eds.) Assurances for Self-Adaptive Systems. LNCS, vol. 7740, pp. 266\u2013296. Springer, Heidelberg (2013). https:\/\/doi.org\/10.1007\/978-3-642-36249-1_10"},{"key":"3_CR30","unstructured":"Goal Structuring Notation (GSN) community standard version 1, November 2011, http:\/\/goalstructingnotation.info"},{"key":"3_CR31","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"185","DOI":"10.1007\/978-3-642-24270-0_14","volume-title":"Computer Safety, Reliability, and Security","author":"R Hawkins","year":"2011","unstructured":"Hawkins, R., Clegg, K., Alexander, R., Kelly, T.: Using a software safety argument pattern catalogue: two case studies. In: Flammini, F., Bologna, S., Vittorini, V. (eds.) SAFECOMP 2011. LNCS, vol. 6894, pp. 185\u2013198. Springer, Heidelberg (2011). https:\/\/doi.org\/10.1007\/978-3-642-24270-0_14"},{"key":"3_CR32","doi-asserted-by":"crossref","DOI":"10.1002\/047166880X","volume-title":"Feedback Control of Computing Systems","author":"JL Hellerstein","year":"2004","unstructured":"Hellerstein, J.L., Diao, Y., Parekh, S., Tilbury, D.M.: Feedback Control of Computing Systems. Wiley, Chichester (2004)"},{"key":"3_CR33","doi-asserted-by":"publisher","unstructured":"High, K.M., Kelly, T.P., Mcdermid, J.A.: Safety case construction and reuse using patterns. In: 16th International Conference on Computer Safety and Reliability, SAFECOMP 1997, pp. 55\u201369. Springer, London (1997). https:\/\/doi.org\/10.1007\/978-1-4471-0997-6_5","DOI":"10.1007\/978-1-4471-0997-6_5"},{"issue":"1","key":"3_CR34","doi-asserted-by":"crossref","first-page":"73","DOI":"10.1007\/s11761-013-0144-4","volume":"8","author":"N Huber","year":"2014","unstructured":"Huber, N., Hoorn, A., Koziolek, A., Brosig, F., Kounev, S.: Modeling run-time adaptation at the system architecture level in dynamic service-oriented environments. SOCA 8(1), 73\u201389 (2014)","journal-title":"SOCA"},{"issue":"4","key":"3_CR35","doi-asserted-by":"crossref","first-page":"35","DOI":"10.1145\/367211.367250","volume":"44","author":"NR Jennings","year":"2001","unstructured":"Jennings, N.R.: An agent-based approach for building complex software systems. Commun. ACM 44(4), 35\u201341 (2001)","journal-title":"Commun. ACM"},{"key":"3_CR36","doi-asserted-by":"publisher","unstructured":"Kelly, P.: Managing complex safety cases. In: Redmill, F., Anderson, T. (eds.) Current Issues in Safety-Critical Systems, pp. 99\u2013115. Springer, London (2003), https:\/\/doi.org\/10.1007\/978-1-4471-0653-1_6","DOI":"10.1007\/978-1-4471-0653-1_6"},{"key":"3_CR37","unstructured":"Kelly, T., Weaver, R.: The goal structuring notation - a safety argument notation. In: Proceedings of Dependable Systems and Networks 2004 Workshop on Assurance Cases (2004)"},{"issue":"1","key":"3_CR38","doi-asserted-by":"crossref","first-page":"41","DOI":"10.1109\/MC.2003.1160055","volume":"36","author":"JO Kephart","year":"2003","unstructured":"Kephart, J.O., Chess, D.M.: The vision of autonomic computing. Computer 36(1), 41\u201350 (2003)","journal-title":"Computer"},{"key":"3_CR39","doi-asserted-by":"crossref","unstructured":"Litoiu, M.: A performance analysis method for autonomic computing systems. ACM Trans. Auton. Adapt. Syst. 2(1), March 2007","DOI":"10.1145\/1216895.1216898"},{"key":"3_CR40","unstructured":"P\u00fcschel, G., G\u00f6tz, S., Wilke, C., A\u00dfmann, U.: Towards systematic model-based testing of self-adaptive software. In: ADAPTIVE 2013, The Fifth International Conference on Adaptive and Self-Adaptive Systems and Applications, pp. 65\u201370 (2013)"},{"key":"3_CR41","doi-asserted-by":"crossref","unstructured":"Puviani, M., Cabri, G., Zambonelli, F.: A taxonomy of architectural patterns for self-adaptive systems. In: International C* Conference on Computer Science and Software Engineering, C3S2E13, Porto, Portugal, pp. 77\u201385, July 2013","DOI":"10.1145\/2494444.2494470"},{"key":"3_CR42","doi-asserted-by":"crossref","unstructured":"Salehie, M., Tahvildari, L.: Self-adaptive software: landscape and research challenges. ACM Trans. Auton. Adapt. Syst. 4(2) (2009)","DOI":"10.1145\/1516533.1516538"},{"key":"3_CR43","doi-asserted-by":"crossref","unstructured":"Schmerl, B., C\u00e1mara, J., Gennari, J., Garlan, D., Casanova, P., Moreno, G.A., Glazier, T.J., Barnes, J.M.: Architecture-based self-protection: composing and reasoning about denial-of-service mitigations. In: HotSoS 2014: 2014 Symposium and Bootcamp on the Science of Security, Raleigh, NC, USA, 8\u20139 April 2014 (2014)","DOI":"10.1145\/2600176.2600181"},{"key":"3_CR44","doi-asserted-by":"crossref","unstructured":"Silva Souza, V.E., Lapouchnian, A., Robinson, W.N., Mylopoulos, J.: Awareness requirements for adaptive systems. In: Proceeding of the 6th International Symposium on Software Engineering for Adaptive and Self-managing Systems (SEAMS 2011), pp. 60\u201369. ACM, New York (2011)","DOI":"10.1145\/1988008.1988018"},{"key":"3_CR45","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"108","DOI":"10.1007\/978-3-642-35813-5_5","volume-title":"Software Engineering for Self-Adaptive Systems II","author":"G Tamura","year":"2013","unstructured":"Tamura, G., et al.: Towards practical runtime verification and validation of self-adaptive software systems. In: de Lemos, R., Giese, H., M\u00fcller, H.A., Shaw, M. (eds.) Software Engineering for Self-Adaptive Systems II. LNCS, vol. 7475, pp. 108\u2013132. Springer, Heidelberg (2013). https:\/\/doi.org\/10.1007\/978-3-642-35813-5_5"},{"key":"3_CR46","doi-asserted-by":"crossref","unstructured":"Van Lamsweerde, A.: Goal-oriented requirements engineering: a guided tour. In: Proceedings of the Fifth IEEE International Symposium on Requirements Engineering, RE 2001, pp. 249\u2013262. IEEE Computer Society, Washington, DC (2001)","DOI":"10.1109\/ISRE.2001.948567"},{"key":"3_CR47","unstructured":"Voss, S., Sch\u00e4tz, B., Khalil, M., Carlan, C.: Towards modular certification using integrated model-based safety cases. In: Proceedings of VeriSure: Verification and Assurance (2013)"},{"key":"3_CR48","doi-asserted-by":"crossref","unstructured":"Watanabe, T., Yonezawa, A.: Reflection in an object-oriented concurrent language. In: ACM Conference on Object-Oriented Programming Systems, Languages, and Applications, pp. 306\u2013315 (1988)","DOI":"10.1145\/62083.62111"},{"key":"3_CR49","doi-asserted-by":"crossref","unstructured":"Weyns, D., Iftikhar, M.U., de la Iglesia, D.G., Ahmad, T.: A survey of formal methods in self-adaptive systems. In: Proceedings of the Fifth International C* Conference on Computer Science and Software Engineering, C3S2E 2012, pp. 67\u201379. ACM, New York (2012)","DOI":"10.1145\/2347583.2347592"},{"key":"3_CR50","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"76","DOI":"10.1007\/978-3-642-35813-5_4","volume-title":"Software Engineering for Self-Adaptive Systems II","author":"D Weyns","year":"2013","unstructured":"Weyns, D., et al.: On patterns for decentralized control in self-adaptive systems. In: de Lemos, R., Giese, H., M\u00fcller, H.A., Shaw, M. (eds.) Software Engineering for Self-Adaptive Systems II. LNCS, vol. 7475, pp. 76\u2013107. Springer, Heidelberg (2013). https:\/\/doi.org\/10.1007\/978-3-642-35813-5_4"},{"key":"3_CR51","series-title":"CRPIT","first-page":"13","volume-title":"Ninth Australian Workshop on Safety-Related Programmable Systems (SCS 2004)","author":"F Ye","year":"2004","unstructured":"Ye, F., Kelly, T.: Contract-based justification for cots component within safety critical applications. In: Cant, T. (ed.) Ninth Australian Workshop on Safety-Related Programmable Systems (SCS 2004). CRPIT, vol. 47, pp. 13\u201322. ACS, Brisbane (2004)"}],"container-title":["Lecture Notes in Computer Science","Software Engineering for Self-Adaptive Systems III. Assurances"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-74183-3_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,29]],"date-time":"2025-06-29T22:06:15Z","timestamp":1751234775000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-74183-3_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319741826","9783319741833"],"references-count":51,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-74183-3_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2017]]}}}