{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T15:01:47Z","timestamp":1743087707918,"version":"3.40.3"},"publisher-location":"Cham","reference-count":16,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319471686"},{"type":"electronic","value":"9783319471693"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016]]},"DOI":"10.1007\/978-3-319-47169-3_1","type":"book-chapter","created":{"date-parts":[[2016,10,4]],"date-time":"2016-10-04T17:56:23Z","timestamp":1475603783000},"page":"3-10","source":"Crossref","is-referenced-by-count":4,"title":["Towards a Unified View of Modeling and Programming (Track Summary)"],"prefix":"10.1007","author":[{"given":"Manfred","family":"Broy","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Klaus","family":"Havelund","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rahul","family":"Kumar","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bernhard","family":"Steffen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2016,10,5]]},"reference":[{"key":"1_CR1","unstructured":"Berry, G.: Formally unifying modeling and design for embedded systems - a personal view. In: Margaria, T., Steffen, B. (eds.) 7th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2016, Corfu, Greece, 10\u201314 October, LNCS. Springer (2016). These proceedings"},{"key":"1_CR2","doi-asserted-by":"crossref","unstructured":"Broy, M., Havelund, K., Kumar, R.: Towards a unified view of modeling and programming. In: Margaria, T., Steffen, B. (eds.) 7th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2016, Corfu, Greece, 10\u201314 October, LNCS. Springer (2016). These proceedings","DOI":"10.1007\/978-3-319-47169-3_17"},{"key":"1_CR3","doi-asserted-by":"crossref","unstructured":"Elaasar, M., Badreddin, O.: Modeling meets programming: a comparative study in model driven engineering action languages. In: Margaria, T., Steffen, B. (eds.) 7th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2016, Corfu, Greece, 10\u201314 October, LNCS. Springer (2016). These proceedings","DOI":"10.1007\/978-3-319-47169-3_5"},{"key":"1_CR4","doi-asserted-by":"crossref","unstructured":"Elmqvist, H., Henningsson, T., Otter, M.: Systems modeling and programming in a unified environment based on Julia. In: Margaria, T., Steffen, B. (eds.) 7th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2016, Corfu, Greece, 10\u201314 October, LNCS. Springer (2016). These proceedings","DOI":"10.1007\/978-3-319-47169-3_15"},{"key":"1_CR5","doi-asserted-by":"crossref","unstructured":"Haxthausen, A.E., Peleska, J.: On the feasibility of a unified modelling and programming paradigm. In: Margaria, T., Steffen, B. (eds.) 7th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2016, Corfu, Greece, 10\u201314 October, LNCS. Springer (2016). These proceedings","DOI":"10.1007\/978-3-319-47169-3_4"},{"key":"1_CR6","doi-asserted-by":"crossref","unstructured":"Kugler, H.: Unifying modelling, programming: a systems biology perspective. In: Margaria, T., Steffen, B. (eds.) 7th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2016, Corfu, Greece, 10\u201314 October, LNCS. Springer (2016). These proceedings","DOI":"10.1007\/978-3-319-47169-3_10"},{"key":"1_CR7","doi-asserted-by":"crossref","unstructured":"Larsen, P.G., Fitzgerald, J., Woodcock, J., Nilsson, R., Gamble, C., Foster, S.: Towards semantically integrated models and tools for cyber-physical systems design. In: Margaria, T., Steffen, B. (eds.) 7th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2016, Corfu, Greece, 10\u201314 October, LNCS. Springer (2016). These proceedings","DOI":"10.1007\/978-3-319-47169-3_13"},{"key":"1_CR8","doi-asserted-by":"crossref","unstructured":"Lattmann, Z., Kecsk\u00e9s, T., Meijer, P., Karsai, G., V\u00f6lgyesi, P., L\u00e9deczi, \u00c1.: Abstractions for modeling complex systems. In: Margaria, T., Steffen, B. (eds.) 7th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2016, Corfu, Greece, 10\u201314 October, LNCS. Springer (2016). These proceedings","DOI":"10.1007\/978-3-319-47169-3_6"},{"key":"1_CR9","doi-asserted-by":"crossref","unstructured":"Leavens, G.T., Naumann, D., Rajan, H., Aotani T.: Specifying and verifying advanced control features. In: Margaria, T., Steffen, B. (eds.) 7th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2016, Corfu, Greece, 10\u201314 October, LNCS. Springer (2016). These proceedings","DOI":"10.1007\/978-3-319-47169-3_7"},{"key":"1_CR10","doi-asserted-by":"crossref","unstructured":"Lethbridge, T.C., Abdelzad, V., Orabi, M.H., Orabi, A.H., Adesina, O.: Merging modeling and programming using Umple. In: Margaria, T., Steffen, B. (eds.) 7th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2016, Corfu, Greece, 10\u201314 October, LNCS. Springer (2016). These proceedings","DOI":"10.1007\/978-3-319-47169-3_14"},{"key":"1_CR11","doi-asserted-by":"crossref","unstructured":"Naujokat, S., Neubauer, J., Margaria, T., Steffen, B.: Meta-level reuse for mastering domain specialization. In: Margaria, T., Steffen, B. (eds.) 7th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2016, Corfu, Greece, 10\u201314 October, LNCS. Springer (2016). These proceedings","DOI":"10.1007\/978-3-319-47169-3_16"},{"key":"1_CR12","doi-asserted-by":"crossref","unstructured":"Prinz, A., M\u00f8ller-Pedersen, B., Fischer, J.: Modelling and testing of real systems. In: Margaria, T., Steffen, B. (eds.) 7th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2016, Corfu, Greece, 10\u201314 October, LNCS. Springer (2016). These proceedings","DOI":"10.1007\/978-3-319-47169-3_9"},{"key":"1_CR13","doi-asserted-by":"crossref","unstructured":"Rouquette, N.F.: Simplifying OMG MOF-based metamodeling. In: Margaria, T., Steffen, B. (eds.) 7th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2016, Corfu, Greece, 10\u201314 October, LNCS. Springer (2016). These proceedings","DOI":"10.1007\/978-3-319-47169-3_8"},{"key":"1_CR14","unstructured":"Rybicki, F., Smyth, S., Motika, C., Schulz-Rosengarten, A., von Hanxleden, R.: Interactive model-based compilation continued - incremental hardware synthesis for SCCharts. In: Margaria, T., Steffen, B. (eds.) 7th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2016, Corfu, Greece, 10\u201314 October, LNCS. Springer (2016). These proceedings"},{"key":"1_CR15","unstructured":"Seidewitz, E.: On a unified view of modeling and programming - position paper. In: Margaria, T., Steffen, B. (eds.) 7th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2016, Corfu, Greece, 10\u201314 October, LNCS. Springer (2016). These proceedings"},{"key":"1_CR16","unstructured":"Selic, B.: Programming $$\\subset $$ \u2282 modeling $$\\subset $$ \u2282 engineering. In: Margaria, T., Steffen, B. (eds.) 7th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2016, Corfu, Greece, 10\u201314 October, LNCS. Springer (2016). These proceedings"}],"container-title":["Lecture Notes in Computer Science","Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-47169-3_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,24]],"date-time":"2017-06-24T20:21:53Z","timestamp":1498335713000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-47169-3_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319471686","9783319471693"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-47169-3_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016]]}}}