{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,14]],"date-time":"2025-10-14T06:59:53Z","timestamp":1760425193898,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642373947"},{"type":"electronic","value":"9783642373954"}],"license":[{"start":{"date-parts":[[2013,1,1]],"date-time":"2013-01-01T00:00:00Z","timestamp":1356998400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2013,1,1]],"date-time":"2013-01-01T00:00:00Z","timestamp":1356998400000},"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":[[2013]]},"DOI":"10.1007\/978-3-642-37395-4_2","type":"book-chapter","created":{"date-parts":[[2013,6,13]],"date-time":"2013-06-13T07:28:19Z","timestamp":1371108499000},"page":"15-30","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":12,"title":["Domain Modeling and Domain Engineering: Key Tasks in Requirements Engineering"],"prefix":"10.1007","author":[{"given":"Manfred","family":"Broy","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2013,4,22]]},"reference":[{"key":"2_CR00021","unstructured":"Batory, D., McAllester, D., Coglianese, L., Tracz, W.: Domain modeling in engineering of computer-based systems. In: 1995 International Symposium and Workshop on Systems Engineering of Computer Based Systems, Tucson (1995)"},{"issue":"3","key":"2_CR00022","doi-asserted-by":"publisher","first-page":"37","DOI":"10.1109\/52.896248","volume":"17","author":"CA Gunter","year":"2000","unstructured":"Gunter, C.A., Gunter, E.L., Jackson, M., Zave, P.: A reference model for requirements and specifications. IEEE Softw. 17(3), 37\u201343 (2000)","journal-title":"IEEE Softw."},{"key":"2_CR00023","volume-title":"Problem Frames","author":"M Jackson","year":"2001","unstructured":"Jackson, M.: Problem Frames: Analyzing and Structuring Software Development Problems. Addison-Wesley, Boston (2001)"},{"key":"2_CR00024","doi-asserted-by":"crossref","unstructured":"Kofler, Th., Ratiu, D.: Towards a reusable unified basis for representing business domain knowledge and development artifacts in systems engineering. In: DE@ER2010, Workshop on Domain Engineering (2010)","DOI":"10.1007\/978-3-642-16385-2_28"},{"key":"2_CR00025","unstructured":"Broy, M.: Towards a theory of architectural contracts:\u2014schemes and patterns of assumption\/promise based system specification. In: Broy, M., Leuxner, Ch., Hoare, T. (eds.) Software and Systems Safety\u2014Specification and Verification. NATO Science for Peace and Security Series\u2014D: Information and Communication Security, vol. 30, pp. 33\u201387. IOS Press, Fairfax"},{"key":"2_CR00026","unstructured":"Ratiu, D.: Intentional meaning of programs. Dissertation, Technische Universit\u00e4t M\u00fcnchen, Fakult\u00e4t f\u00fcr Informatik (2009)"},{"key":"2_CR00027","unstructured":"Broy, M.: The logic of requirements \u2013 formalizing tracing, In: Schnieder, E., Tarnai, G. (eds.) Forms\/Format 2012, Technische Universit\u00e4t Braunschweig, Beyrich Digital Service GmbH & Co. KG, pp. 2\u20134"},{"key":"2_CR00028","volume-title":"Informationstechnik im \u00f6ffentlichen Personenverkehr","author":"G Scholz","year":"2012","unstructured":"Scholz, G., Scholz, G.: IT-Systeme f\u00fcr Verkehrsunternehmen. In: Informationstechnik im \u00f6ffentlichen Personenverkehr. dpunkt.verlag, Heidelberg (2012)"},{"key":"2_CR00029","unstructured":"Broy, M.: Functional safety based on a system reference model. In: Cant, T. (ed.) Australian System Safety Conference (ASSC 2012). Conferences in Research and Practice in Information Technology (CRPIT), vol. 145. Brisbane, 23\u201325 May 2012"},{"key":"2_CR000210","doi-asserted-by":"publisher","first-page":"303","DOI":"10.1049\/sej.1991.0032","volume":"6","author":"VR Basili","year":"1991","unstructured":"Basili, V.R., Rombach, H.D.: Support for comprehensive reuse. Softw. Eng. J. 6(5), 303\u2013316 (1991)","journal-title":"Softw. Eng. J."},{"issue":"3","key":"2_CR000211","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1145\/1118178.1118215","volume":"49","author":"JM Wing","year":"2006","unstructured":"Wing, J.M.: Computational thinking. Comm. ACM 49(3), 33\u201335 (2006)","journal-title":"Comm. ACM"},{"key":"2_CR000212","doi-asserted-by":"crossref","unstructured":"Broy, M.: Software and system modeling: structured multi-view modeling, specification, design and implementation. In: Hinchey, M., Coyle, L. (eds.) Conquering Complexity, pp. 309\u2013372. Springer (2012)","DOI":"10.1007\/978-1-4471-2297-5_14"},{"key":"2_CR000213","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4613-0091-5","volume-title":"Specification and Development of Interactive Systems: Focus on Streams, Interfaces, and Refinement","author":"M Broy","year":"2001","unstructured":"Broy, M., St\u00f8len, K.: Specification and Development of Interactive Systems: Focus on Streams, Interfaces, and Refinement. Springer, New York (2001)"}],"container-title":["Perspectives on the Future of Software Engineering"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-37395-4_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,1,30]],"date-time":"2023-01-30T20:46:24Z","timestamp":1675111584000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-642-37395-4_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642373947","9783642373954"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-37395-4_2","relation":{},"subject":[],"published":{"date-parts":[[2013]]},"assertion":[{"value":"22 April 2013","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}