{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,13]],"date-time":"2026-03-13T15:06:51Z","timestamp":1773414411701,"version":"3.50.1"},"publisher-location":"Cham","reference-count":29,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783319122403","type":"print"},{"value":"9783319122410","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-12241-0_3","type":"book-chapter","created":{"date-parts":[[2014,10,8]],"date-time":"2014-10-08T07:39:08Z","timestamp":1412753948000},"page":"24-39","source":"Crossref","is-referenced-by-count":4,"title":["The Role of Parts in the System Behaviour"],"prefix":"10.1007","author":[{"given":"Davide","family":"Di Ruscio","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ivano","family":"Malavolta","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Patrizio","family":"Pelliccione","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"3_CR1","doi-asserted-by":"crossref","unstructured":"Johnson, C.W.: What are emergent properties and how do they affect the engineering of complex systems? Reliability Engineering & System Safety\u00a091(12), 1475\u20131481 (2006), Complexity in Design and Engineering","DOI":"10.1016\/j.ress.2006.01.008"},{"key":"3_CR2","doi-asserted-by":"crossref","unstructured":"Inverardi, P., Autili, M., Di Ruscio, D., Pelliccione, P., Tivoli, M.: Producing software by integration: Challenges and research directions (keynote). In: Procs. of ESEC\/FSE 2013, pp. 2\u201312. ACM (2013)","DOI":"10.1145\/2491411.2505428"},{"issue":"3","key":"3_CR3","doi-asserted-by":"publisher","first-page":"275","DOI":"10.1016\/j.jal.2008.10.002","volume":"7","author":"D. Alrajeh","year":"2009","unstructured":"Alrajeh, D., Ray, O., Russo, A., Uchitel, S.: Using abduction and induction for operational requirements elaboration. Journal of Applied Logic\u00a07(3), 275\u2013288 (2009)","journal-title":"Journal of Applied Logic"},{"key":"3_CR4","doi-asserted-by":"crossref","unstructured":"Letier, E., van Lamsweerde, A.: Deriving operational software specifications from system goals. In: Procs. of SIGSOFT 2002\/FSE-10, pp. 119\u2013128. ACM (2002)","DOI":"10.1145\/587068.587070"},{"key":"3_CR5","doi-asserted-by":"crossref","unstructured":"Autili, M., Cortellessa, V., Di Ruscio, D., Inverardi, P., Pelliccione, P., Tivoli, M.: Eagle: Engineering software in the ubiquitous globe by leveraging uncertainty. In: Procs. of ESEC\/FSE 2011, pp. 488\u2013491. ACM (2011)","DOI":"10.1145\/2025113.2025199"},{"key":"3_CR6","doi-asserted-by":"crossref","unstructured":"Garlan, D.: Software engineering in an uncertain world. In: Procs. of the FSE\/SDP Workshop on Future of Software Engineering Research, FoSER 2010, pp. 125\u2013128. ACM (2010)","DOI":"10.1145\/1882362.1882389"},{"key":"3_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"369","DOI":"10.1007\/978-3-642-34059-8_19","volume-title":"Large-Scale Complex IT Systems. Development, Operation and Management","author":"C. Ghezzi","year":"2012","unstructured":"Ghezzi, C.: Evolution, adaptation, and the quest for incrementality. In: Calinescu, R., Garlan, D. (eds.) Monterey Workshop 2012. LNCS, vol.\u00a07539, pp. 369\u2013379. Springer, Heidelberg (2012)"},{"issue":"9","key":"3_CR8","doi-asserted-by":"publisher","first-page":"945","DOI":"10.1002\/spe.1075","volume":"41","author":"K. Gary","year":"2011","unstructured":"Gary, K., Enquobahrie, A., Ibanez, L., Cheng, P., Yaniv, Z., Cleary, K., Kokoori, S., Muffih, B., Heidenreich, J.: Agile methods for open source safety-critical software. Softw. Pract. Exper.\u00a041(9), 945\u2013962 (2011)","journal-title":"Softw. Pract. Exper."},{"key":"3_CR9","doi-asserted-by":"crossref","unstructured":"Ge, X., Paige, R., McDermid, J.: An iterative approach for development of safety-critical software and safety arguments. In: Agile Conf. (AGILE), pp. 35\u201343 (August 2010)","DOI":"10.1109\/AGILE.2010.10"},{"issue":"2","key":"3_CR10","doi-asserted-by":"publisher","first-page":"125","DOI":"10.1145\/7474.7528","volume":"18","author":"N.G. Leveson","year":"1986","unstructured":"Leveson, N.G.: Software safety: Why, what, and how. ACM Comput. Surv.\u00a018(2), 125\u2013163 (1986)","journal-title":"ACM Comput. Surv."},{"key":"3_CR11","doi-asserted-by":"crossref","unstructured":"Wolff, S.: Scrum goes formal: Agile methods for safety-critical systems. In: Software Engineering: Rigorous and Agile Approaches (FormSERA), pp. 23\u201329 (June 2012)","DOI":"10.1109\/FormSERA.2012.6229784"},{"key":"3_CR12","unstructured":"Lamport, L.: Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers. Addison-Wesley Longman Publishing Co., Inc. (2002)"},{"key":"3_CR13","unstructured":"van Lamsweerde, A.: Goal-oriented requirements enginering: A roundtrip from research to practice. In: Procs. of RE 2004, pp. 4\u20137. IEEE Comp. Soc. (2004)"},{"key":"3_CR14","unstructured":"Meyer, B.: Object-oriented Software Construction, 2nd edn. Prentice-Hall, Inc. (1997)"},{"key":"3_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"331","DOI":"10.1007\/3-540-36577-X_24","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"J.M. Cobleigh","year":"2003","unstructured":"Cobleigh, J.M., Giannakopoulou, D., P\u0103s\u0103reanu, C.S.: Learning assumptions for compositional verification. In: Garavel, H., Hatcliff, J. (eds.) TACAS 2003. LNCS, vol.\u00a02619, pp. 331\u2013346. Springer, Heidelberg (2003)"},{"key":"3_CR16","doi-asserted-by":"crossref","unstructured":"van Lamsweerde, A.: Requirements engineering in the year 00: A research perspective. In: Proc. of the 22nd Int. Conf. on Software Engineering, ICSE 2000, pp. 5\u201319. ACM (2000)","DOI":"10.1145\/337180.337184"},{"key":"3_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"331","DOI":"10.1007\/3-540-36577-X_24","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"J.M. Cobleigh","year":"2003","unstructured":"Cobleigh, J.M., Giannakopoulou, D., P\u0103s\u0103reanu, C.S.: Learning assumptions for compositional verification. In: Garavel, H., Hatcliff, J. (eds.) TACAS 2003. LNCS, vol.\u00a02619, pp. 331\u2013346. Springer, Heidelberg (2003)"},{"key":"3_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"37","DOI":"10.1007\/978-3-642-37057-1_4","volume-title":"Fundamental Approaches to Software Engineering","author":"M. Autili","year":"2013","unstructured":"Autili, M., Di Ruscio, D., Di Salle, A., Inverardi, P., Tivoli, M.: A model-based synthesis process for choreography realizability enforcement. In: Cortellessa, V., Varr\u00f3, D. (eds.) FASE 2013. LNCS, vol.\u00a07793, pp. 37\u201352. Springer, Heidelberg (2013)"},{"key":"3_CR19","doi-asserted-by":"crossref","unstructured":"Bucchiarone, A., Di Ruscio, D., Muccini, H., Pelliccione, P.: From Requirements to Java code: an Architecture-centric Approach for producing quality systems. In: Model-Driven Software Development: Integrating Quality Assurance (2008)","DOI":"10.4018\/978-1-60566-006-6.ch011"},{"issue":"3","key":"3_CR20","doi-asserted-by":"publisher","first-page":"195","DOI":"10.1002\/spe.632","volume":"35","author":"C.M.F. Rubira","year":"2005","unstructured":"Rubira, C.M.F., de Lemos, R., Ferreira, G.R.M., Castor Filho, F.: Exception handling in the development of dependable component-based systems. Softw. Pract. Exper.\u00a035(3), 195\u2013236 (2005)","journal-title":"Softw. Pract. Exper."},{"key":"3_CR21","doi-asserted-by":"crossref","unstructured":"Lee, P.A., Anderson, T.: Fault Tolerance: Principles and Practice, 2nd edn. Springer (1990)","DOI":"10.1007\/978-3-7091-8990-0"},{"key":"3_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1007\/978-3-642-40894-6_3","volume-title":"Software Engineering for Resilient Systems","author":"D. Ruscio Di","year":"2013","unstructured":"Di Ruscio, D., Malavolta, I., Pelliccione, P.: Engineering a platform for mission planning of autonomous and resilient quadrotors. In: Gorbenko, A., Romanovsky, A., Kharchenko, V. (eds.) SERENE 2013. LNCS, vol.\u00a08166, pp. 33\u201347. Springer, Heidelberg (2013)"},{"key":"3_CR23","unstructured":"Di Ruscio, D., Malavolta, I., Pelliccione, P.: A family of domain-specific languages for specifying civilian missions of multi-robot systems. In: First Workshop on Model-Driven Robot Software Engineering - MORSE 2014 (2014)"},{"key":"3_CR24","doi-asserted-by":"crossref","unstructured":"Bianculli, D., Giannakopoulou, D., P\u0103s\u0103reanu, C.S.: Interface decomposition for service compositions. In: Procs. of ICSE 2011, pp. 501\u2013510. ACM (2011)","DOI":"10.1145\/1985793.1985862"},{"key":"3_CR25","unstructured":"Jones, C.: Development Methods for Computer Programs Including a Notion of Interference. PhD thesis. Oxford University Computing Laboratory, Programming Research Group (1981)"},{"key":"3_CR26","doi-asserted-by":"crossref","unstructured":"Pnueli, A.: Logics and models of concurrent systems, pp. 123\u2013144. Springer (1985)","DOI":"10.1007\/978-3-642-82453-1_5"},{"issue":"3","key":"3_CR27","doi-asserted-by":"publisher","first-page":"297","DOI":"10.1007\/s10515-005-2641-y","volume":"12","author":"D. Giannakopoulou","year":"2005","unstructured":"Giannakopoulou, D., P\u0103s\u0103reanu, C.S., Barringer, H.: Component verification with automatically generated assumptions. Automated Software Engg.\u00a012(3), 297\u2013320 (2005)","journal-title":"Automated Software Engg."},{"key":"3_CR28","doi-asserted-by":"crossref","unstructured":"Clematis, A., Dodero, G., Gianuzzi, V.: Designing fault tolerant software with a recovery meta program. In: Proceedings of the Ninth Annual International Phoenix Conference on Computers and Communications, pp. 864\u2013865 (March 1990)","DOI":"10.1109\/PCCC.1990.101712"},{"key":"3_CR29","unstructured":"Florio, V.D.: A Fault-Tolerance Linguistic Structure for Distributed Applications. PhD thesis, Katholieke Universiteit Leuven, ESAT Department, ACCA Division, 3000 Leuven, Belgium (October 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-12241-0_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,27]],"date-time":"2019-05-27T22:24:39Z","timestamp":1558995879000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-12241-0_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319122403","9783319122410"],"references-count":29,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-12241-0_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2014]]}}}