{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,3]],"date-time":"2025-08-03T23:06:38Z","timestamp":1754262398012,"version":"3.40.3"},"publisher-location":"Cham","reference-count":24,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319738963"},{"type":"electronic","value":"9783319738970"}],"license":[{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"}],"funder":[{"name":"adesso AG"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018]]},"DOI":"10.1007\/978-3-319-73897-0_1","type":"book-chapter","created":{"date-parts":[[2018,6,13]],"date-time":"2018-06-13T14:44:40Z","timestamp":1528901080000},"page":"1-23","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["The Leading Role of Software and Systems Architecture in the Age of Digitization"],"prefix":"10.1007","author":[{"given":"Manfred","family":"Broy","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2018,6,14]]},"reference":[{"key":"1_CR1","unstructured":"Andreessen, M.: Why Software Is Eating The World. \n                http:\/\/www.wsj.com\/articles\/SB10001424053111903480904576512250915629460"},{"key":"1_CR2","volume-title":"agendaCPS \u2013 Integrierte Forschungsagenda Cyber-Physical Systems (acatech STUDIE)","author":"E Geisberger","year":"2012","unstructured":"Geisberger, E., Broy, M.: agendaCPS \u2013 Integrierte Forschungsagenda Cyber-Physical Systems (acatech STUDIE). Springer, Heidelberg (2012)"},{"key":"1_CR3","doi-asserted-by":"publisher","first-page":"1193","DOI":"10.1016\/j.scico.2010.06.007","volume":"75","author":"M Broy","year":"2010","unstructured":"Broy, M.: Multifunctional software systems: structured modeling and specification of functional requirements. Sci. Comput. Program. 75, 1193\u20131214 (2010)","journal-title":"Sci. Comput. Program."},{"key":"1_CR4","unstructured":"Neubeck, P.: A probabilistic theory of interactive systems. Dissertation, Technische Universit\u00e4t M\u00fcnchen (2012)"},{"issue":"10","key":"1_CR5","doi-asserted-by":"publisher","first-page":"1758","DOI":"10.1093\/comjnl\/bxq005","volume":"53","author":"M Broy","year":"2010","unstructured":"Broy, M.: A logical basis for component-oriented software and systems engineering. Comput. J. 53(10), 1758\u20131782 (2010)","journal-title":"Comput. J."},{"key":"1_CR6","doi-asserted-by":"crossref","unstructured":"Broy, M.: A logical approach to systems engineering artifacts: semantic relationships and dependencies beyond traceability\u2014from requirements to functional and architectural views. Softw. Syst. Model. (2017)","DOI":"10.1007\/s10270-017-0619-4"},{"key":"1_CR7","unstructured":"Broy, M.: Interaction and realizability, In: van Leeuwen, J., Italiona, G.F., van der Hoek, W., Meinel, C., Sack, H., Plasil, F. (eds.) SOFSEM 2007: Theory and Practice of Computer Science, Lecture Notes in Computer Science 4362, pp. 29\u201350. Springer (2007)"},{"key":"1_CR8","unstructured":"Broy, M.: Theory and methodology of assumption\/commitment based system interface specification and architectural contracts. Formal Methods Syst. Design 52(1), 33\u201387 (2018)"},{"issue":"1","key":"1_CR9","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/s00165-004-0051-8","volume":"17","author":"D Herzberg","year":"2005","unstructured":"Herzberg, D., Broy, M.: Modeling layered distributed communication systems. Form. Asp. Comput. 17(1), 1\u201318 (2005)","journal-title":"Form. Asp. Comput."},{"key":"1_CR10","unstructured":"Szyperski, C.: Component Software: Beyond Object-Oriented Programming, 2nd edn. Addison-Wesley Professional (2002)"},{"key":"1_CR11","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1007\/978-3-642-24349-3_1","volume-title":"Advances in Real-Time Systems","author":"M Broy","year":"2012","unstructured":"Broy, M.: System behaviour models with discrete and dense time. In: Chakraborty, S., Ebersp\u00e4cher, J. (eds.) Advances in Real-Time Systems, pp. 3\u201325. Springer, Berlin (2012)"},{"key":"1_CR12","volume-title":"Documenting Software Architectures: Views and Beyond","author":"P Clements","year":"2010","unstructured":"Clements, P., Bachmann, F., Bass, L., Garlan, D., Ivers, J., Little, R., Merson, P., Nord, R., Stafford, J.: Documenting Software Architectures: Views and Beyond, 2nd edn. Addison-Wesley, Boston (2010)","edition":"2"},{"key":"1_CR13","doi-asserted-by":"crossref","unstructured":"Broy, M., St\u00f8len, K.: Specification and Development of Interactive Systems: Focus on Streams, Interfaces, and Refinement. Springer (2001)","DOI":"10.1007\/978-1-4613-0091-5"},{"key":"1_CR14","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1145\/2502524.2502540","volume-title":"Proceedings of the ACM\/IEEE 4th International Conference on Cyber-Physical Systems (ICCPS \u201913)","author":"P Derler","year":"2013","unstructured":"Derler, P., Lee, E.A., Tripakis, S., T\u00f6rngren, M.: Cyber-physical system design contracts. In: Proceedings of the ACM\/IEEE 4th International Conference on Cyber-Physical Systems (ICCPS \u201913), pp. 109\u2013118. ACM, New York, NY (2013)"},{"key":"1_CR15","doi-asserted-by":"crossref","unstructured":"Soderberg, A., Vedder, B.: Composable safety-critical systems based on pre-certified software components. In: 2012 IEEE 23rd International Symposium on Software Reliability Engineering Workshops (ISSREW), pp. 343\u2013348 (2012)","DOI":"10.1109\/ISSREW.2012.83"},{"issue":"4","key":"1_CR16","doi-asserted-by":"publisher","first-page":"14:1","DOI":"10.1145\/1985342.1985345","volume":"33","author":"S Tripakis","year":"2011","unstructured":"Tripakis, S., Lickly, B., Henzinger, T.A., Lee, E.A.: A theory of synchronous relational interfaces. ACM Trans. Program. Lang. Syst. 33(4), 14:1\u201314:41 (2011)","journal-title":"ACM Trans. Program. Lang. Syst."},{"key":"1_CR17","unstructured":"Westmann, J.: Specifying safety-critical heterogeneous systems using contracts theory. KTH, Industrial Engineering and Management. Doctoral Thesis Stockholm, Sweden 2016"},{"key":"1_CR18","doi-asserted-by":"crossref","unstructured":"Broy, M., Kr\u00fcger, I., Meisinger, M.: A formal model of services. TOSEM \u2013 ACM Trans. Softw. Eng. Methodol. 16, (2007)","DOI":"10.1145\/1189748.1189753"},{"issue":"5","key":"1_CR19","doi-asserted-by":"publisher","first-page":"96","DOI":"10.1109\/MC.2015.139","volume":"48","author":"M Broy","year":"2015","unstructured":"Broy, M.: Rethinking non-functional software requirements. Computer. 48(5), 96\u201399 (2015)","journal-title":"Computer"},{"key":"1_CR20","doi-asserted-by":"publisher","first-page":"277","DOI":"10.1016\/j.ic.2014.12.019","volume":"241","author":"M Broy","year":"2015","unstructured":"Broy, M.: Computability and realizability for interactive computations. Inf. Comput. 241, 277\u2013301 (2015)","journal-title":"Inf. Comput."},{"key":"1_CR21","unstructured":"Henzinger, Th.A., Qadeer, S., Rajamani, S.K..: \n                Decomposing refinement proofs using assume-guarantee reasoning\n                \n              . In: Proceedings of the International Conference on Computer-Aided Design (ICCAD), IEEE Computer Society Press, pp. 245\u2013252 (2000)."},{"key":"1_CR22","doi-asserted-by":"crossref","unstructured":"Meyer, B.: Applying \u201cdesign by contract\u201d. In Computer (IEEE), 25, 10, October 1992, pp. 40\u201351","DOI":"10.1109\/2.161279"},{"issue":"3","key":"1_CR23","doi-asserted-by":"publisher","first-page":"217","DOI":"10.3166\/ejc.18.217-238","volume":"18","author":"A Sangiovanni-Vincentelli","year":"2012","unstructured":"Sangiovanni-Vincentelli, A., Damm, W., Passerone, R.: Taming Dr. Frankenstein: contract-based design for cyber-physical systems. Eur. J. Control. 18(3), 217\u2013238 (2012)","journal-title":"Eur. J. Control"},{"key":"1_CR24","unstructured":"M. Toerngren, S. Tripakis, P. Derler, E.A. Lee: Design contracts for cyber-physical systems: making timing assumptions explicit. Technical Report UCB\/EECS- 2012-191, EECS Department, University of California, Berkeley (2012)"}],"container-title":["The Essence of Software Engineering"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-73897-0_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,3,3]],"date-time":"2020-03-03T03:20:07Z","timestamp":1583205607000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-73897-0_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018]]},"ISBN":["9783319738963","9783319738970"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-73897-0_1","relation":{},"subject":[],"published":{"date-parts":[[2018]]},"assertion":[{"value":"14 June 2018","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}