{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,20]],"date-time":"2026-01-20T06:27:00Z","timestamp":1768890420462,"version":"3.49.0"},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642151866","type":"print"},{"value":"9783642151873","type":"electronic"}],"license":[{"start":{"date-parts":[[2010,9,30]],"date-time":"2010-09-30T00:00:00Z","timestamp":1285804800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2010,9,30]],"date-time":"2010-09-30T00:00:00Z","timestamp":1285804800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011]]},"DOI":"10.1007\/978-3-642-15187-3_2","type":"book-chapter","created":{"date-parts":[[2010,10,19]],"date-time":"2010-10-19T13:08:46Z","timestamp":1287493726000},"page":"33-47","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":4,"title":["Seamless Method- and Model-based Software and Systems Engineering"],"prefix":"10.1007","author":[{"given":"Manfred","family":"Broy","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2010,9,30]]},"reference":[{"issue":"6","key":"2_CR1","doi-asserted-by":"publisher","first-page":"637","DOI":"10.1007\/s00165-008-0097-0","volume":"20","author":"J. Botaschanjan","year":"2008","unstructured":"Botaschanjan, J., Broy, M., Gruler, A., Harhurin, A., Knapp, S., Kof, L., Paul, W.J., Spichkova, M.: On the correctness of upper layers of automotive systems. Formal Asp. Comput. 20(6), pp. 637-662 (2008)","journal-title":"Formal Asp. Comput."},{"key":"2_CR2","volume-title":"The Mythical Man-Month","author":"F.P. Brooks Jr","year":"1975","unstructured":"Brooks, F.P. Jr.: The Mythical Man-Month: Essays on Software Engineering. Addison-Wesley (1975)"},{"key":"2_CR3","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":"2_CR4","first-page":"41","volume-title":"The New Paradigm","author":"M. Broy","year":"2006","unstructured":"Broy, M.: A Theory of System Interaction: Components, Interfaces, and Services. In: D. Goldin, S. Smolka and P. Wegner (eds.): The New Paradigm. Springer Verlag, Berlin, pp. 41-96 (2006)"},{"key":"2_CR5","doi-asserted-by":"crossref","unstructured":"Broy, M., Kr\u00fcger, I., Meisinger, M.: A Formal Model of Services. ACM Trans. Softw. Eng. Methodol. 16(1) (February 2007)","DOI":"10.1145\/1189748.1189753"},{"key":"2_CR6","doi-asserted-by":"crossref","unstructured":"Broy, M.: The ,Grand Challenge\u2019 in Informatics: Engineering Software-Intensive Systems. IEEE Computer, pp. 72\u201380, Oktober (2006)","DOI":"10.1109\/MC.2006.358"},{"issue":"1","key":"2_CR7","doi-asserted-by":"publisher","first-page":"75","DOI":"10.1007\/s11334-006-0011-y","volume":"3","author":"M. Broy","year":"2007","unstructured":"Broy, M.: Model-driven architecture-centric engineering of (embedded) software intensive systems: modelling theories and architectural milestones. Innovations Syst. Softw. Eng. 3(1), pp. 75-102 (2007)","journal-title":"Innovations Syst. Softw. Eng."},{"key":"2_CR8","unstructured":"Broy, M.: Interaction and Realizability, In: Jan van Leeuwen, Giuseppe F. Italiona, Wiebe van der Hoek, Christoph Meinel, Harald Sack, Frantisek Plasil (eds.): SOFSEM 2007: Theory and Practice of Computer Science, Lecture Notes in Computer Science vol. 4362, pp. 29\u201350, Springer (2007)"},{"key":"2_CR9","doi-asserted-by":"crossref","unstructured":"Broy, M.: Seamless Model Driven Systems Engineering Based on Formal Models. In: Karin Breitman, Ana Cavalcanti (eds.): Formal Methods and Software Engineering. 11th International Conference on Formal Engineering Methods (ICFEM'09), Lecture Notes in Computer Science vol. 5885, pp.1-19. Springer (2009)","DOI":"10.1007\/978-3-642-10373-5_1"},{"key":"2_CR10","unstructured":"Broy, M.: Multifunctional Software Systems: Structured Modelling and Specification of Functional Requirements. Science of Computer Programming, accepted for publication"},{"issue":"1","key":"2_CR11","doi-asserted-by":"publisher","first-page":"63","DOI":"10.1145\/602382.602403","volume":"50","author":"T. Hoare","year":"2003","unstructured":"Hoare, T.: The verifying compiler: A grand challenge for computing research. J. ACM 50(1), pp. 63-69 (2003)","journal-title":"J. ACM"},{"key":"2_CR12","unstructured":"ISO DIS 26262"},{"key":"2_CR13","doi-asserted-by":"crossref","unstructured":"Perry, D.E., Wolf, A.L.: Foundations for the Study of Software Architecture. ACM SIGSOFT Software Engineering Notes 17(4) (October 1992)","DOI":"10.1145\/141874.141884"},{"key":"2_CR14","first-page":"257","volume-title":"Some Software Engineering Principles. In: Software fundamentals: collected papers by David L. Parnas","author":"D.L. Parnas","year":"2001","unstructured":"Parnas, D.L.: Some Software Engineering Principles. In: Software fundamentals: collected papers by David L. Parnas, Addison-Wesley Longman Publishing Co., Inc Boston, MA, pp. 257-266 (2001)"},{"key":"2_CR15","unstructured":"Reiter, H.: Reduktion von Integrationsproblemen f\u00fcr Software im Automobil durch fr\u00fchzeitige Erkennung und Vermeidung von Architekturfehlern. Ph. D. Thesis, Technische Universit\u00e4t M\u00fcnchen, Fakult\u00e4t f\u00fcr Informatik, forthcoming"}],"container-title":["The Future of Software Engineering"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-15187-3_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,18]],"date-time":"2023-02-18T02:41:29Z","timestamp":1676688089000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-642-15187-3_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,9,30]]},"ISBN":["9783642151866","9783642151873"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-15187-3_2","relation":{},"subject":[],"published":{"date-parts":[[2010,9,30]]},"assertion":[{"value":"30 September 2010","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}