{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,8,23]],"date-time":"2026-08-23T16:19:21Z","timestamp":1787501961681,"version":"build-2736575974"},"publisher-location":"Cham","reference-count":19,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783319471686","type":"print"},{"value":"9783319471693","type":"electronic"}],"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_60","type":"book-chapter","created":{"date-parts":[[2016,10,4]],"date-time":"2016-10-04T17:56:23Z","timestamp":1475603783000},"page":"809-832","source":"Crossref","is-referenced-by-count":52,"title":["DIME: A Programming-Less Modeling Environment for Web Applications"],"prefix":"10.1007","author":[{"given":"Steve","family":"Bo\u00dfelmann","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Markus","family":"Frohme","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Dawid","family":"Kopetzki","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Michael","family":"Lybecait","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Stefan","family":"Naujokat","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Johannes","family":"Neubauer","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Dominic","family":"Wirkner","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Philip","family":"Zweihoff","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Bernhard","family":"Steffen","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2016,10,5]]},"reference":[{"key":"60_CR1","unstructured":"$$\\{\\{$$ { { mustache $$\\}\\}$$ } } Logic-less templates. https:\/\/mustache.github.io\/ . Accessed 05 Aug 2016"},{"key":"60_CR2","unstructured":"One framework - Angular 2. https:\/\/angular.io\/ . Accessed 05 Aug 2016"},{"key":"60_CR3","unstructured":"Bo\u00dfelmann, S., Neubauer, J., Naujokat, S., Steffen, B.: Model-driven design of secure high assurance systems: an introduction to the open platform from the user perspective. In: Margaria, T., Solo, M.G.A. (eds.) The 2016 International Conference on Security and Management (SAM 2016). Special Track \u201cEnd-to-end Security and Cybersecurity: from the Hardware to Application\u201d, pp. 145\u2013151. CREA Press (2016)"},{"key":"60_CR4","doi-asserted-by":"crossref","unstructured":"Margaria, T., Steffen, B.: Business process modelling in the jABC: the one-thing-approach. In: Cardoso, J., van der Aalst, W. (eds.) Handbook of Research on Business Process Modeling. IGI Global (2009)","DOI":"10.4018\/978-1-60566-288-6.ch001"},{"issue":"10","key":"60_CR5","doi-asserted-by":"crossref","first-page":"106","DOI":"10.1109\/MC.2009.315","volume":"42","author":"T Margaria","year":"2009","unstructured":"Margaria, T., Steffen, B.: Continuous model-driven engineering. IEEE Comput. 42(10), 106\u2013109 (2009)","journal-title":"IEEE Comput."},{"issue":"6","key":"60_CR6","doi-asserted-by":"crossref","first-page":"90","DOI":"10.1109\/MC.2010.177","volume":"43","author":"T Margaria","year":"2010","unstructured":"Margaria, T., Steffen, B.: Simplicity as a driver for agile innovation. Computer 43(6), 90\u201392 (2010)","journal-title":"Computer"},{"key":"60_CR7","doi-asserted-by":"crossref","first-page":"217","DOI":"10.1007\/978-1-4471-2297-5_10","volume-title":"Conquering Complex.","author":"T Margaria","year":"2012","unstructured":"Margaria, T., Steffen, B.: Service-orientation: conquering complexity with XMDD. In: Hinchey, M., Coyle, L. (eds.) Conquering Complex., pp. 217\u2013236. Springer, London (2012)"},{"key":"60_CR8","unstructured":"Margaria, T., Steffen, B., Reitenspie\u00df, M.:Service-oriented design: the jABC approach. In: Cubera, F., Kr\u00e4mer, B.J., Papazoglou, M.P. (eds.) Service OrientedComputing (SOC). No. 05462 in Dagstuhl Seminar Proceedings, Internationales Begegnungs- und Forschungszentrum f\u00fcr Informatik(IBFI), Schloss Dagstuhl,Germany, Dagstuhl, Germany (2006)"},{"key":"60_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"450","DOI":"10.1007\/11596141_34","volume-title":"Service-Oriented Computing - ICSOC 2005","author":"T Margaria","year":"2005","unstructured":"Margaria, T., Steffen, B., Reitenspie\u00df, M.: Service-oriented design: the roots. In: Benatallah, B., Casati, F., Traverso, P. (eds.) ICSOC 2005. LNCS, vol. 3826, pp. 450\u2013464. Springer, Heidelberg (2005)"},{"key":"60_CR10","unstructured":"McAffer, J., Lemieux, J.M., Aniszczyk, C.: Eclipse Rich Client Platform, 2nd edn. Addison-Wesley Professional (2010)"},{"key":"60_CR11","doi-asserted-by":"crossref","first-page":"9","DOI":"10.3233\/jid-2013-0008","volume":"16","author":"M Merten","year":"2013","unstructured":"Merten, M., Steffen, B.: Simplicity driven application development. J. Integr. Des. Process Sci. (SDPS) 16, 9\u201323 (2013)","journal-title":"J. Integr. Des. Process Sci. (SDPS)"},{"key":"60_CR12","doi-asserted-by":"crossref","unstructured":"Naujokat, S., Lybecait, M., Kopetzki, D., Steffen, B.: CINCO: A Simplicity-Driven Approach to Full Generation of Domain-Specific Graphical Modeling Tools (2016, to appear)","DOI":"10.1007\/s10009-017-0453-6"},{"key":"60_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"56","DOI":"10.1007\/978-3-662-45234-9_5","volume-title":"Leveraging Applications of Formal Methods, Verification and Validation","author":"J Neubauer","year":"2014","unstructured":"Neubauer, J., Frohme, M., Steffen, B., Margaria, T.: Prototype-driven development of web applications with DyWA. In: Margaria, T., Steffen, B. (eds.) ISoLA 2014, Part I. LNCS, vol. 8802, pp. 56\u201372. Springer, Heidelberg (2014)"},{"issue":"11","key":"60_CR14","doi-asserted-by":"crossref","first-page":"56","DOI":"10.1109\/MC.2013.296","volume":"46","author":"J Neubauer","year":"2013","unstructured":"Neubauer, J., Steffen, B.: Plug-and-play higher-order process integration. IEEE Comput. 46(11), 56\u201362 (2013)","journal-title":"IEEE Comput."},{"key":"60_CR15","doi-asserted-by":"crossref","first-page":"259","DOI":"10.4204\/EPTCS.129.16","volume":"129","author":"J Neubauer","year":"2013","unstructured":"Neubauer, J., Steffen, B., Margaria, T.: Higher-order process modeling: product-lining, variability modeling and beyond. Electron. Proc. Theor. Comput. Sci. 129, 259\u2013283 (2013)","journal-title":"Electron. Proc. Theor. Comput. Sci."},{"key":"60_CR16","unstructured":"Rumbaugh, J., Jacobsen, I., Booch, G.: The Unified Modeling Language Reference Manual. The Addison-Wesley Object Technology Series, 2 edn. Addison-Wesley Professional (2004)"},{"key":"60_CR17","first-page":"847","volume":"51","author":"B Steffen","year":"1997","unstructured":"Steffen, B., Margaria, T., Braun, V., Kalt, N.: Hierarchical service definition. Ann. Rev. Commun. ACM 51, 847\u2013856 (1997)","journal-title":"Ann. Rev. Commun. ACM"},{"key":"60_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"92","DOI":"10.1007\/978-3-540-70889-6_7","volume-title":"Hardware and Software, Verification and Testing","author":"B Steffen","year":"2007","unstructured":"Steffen, B., Margaria, T., Nagel, R., J\u00f6rges, S., Kubczak, C.: Model-driven development with the jABC. In: Bin, E., Ziv, A., Ur, S. (eds.) HVC 2006. LNCS, vol. 4383, pp. 92\u2013108. Springer, Heidelberg (2007)"},{"key":"60_CR19","doi-asserted-by":"crossref","unstructured":"Windm\u00fcller, S., Neubauer, J., Steffen, B., Howar, F., Bauer, O.: Active continuous quality control. In: 16th International ACM SIGSOFT Symposium on Component-Based Software Engineering, CBSE 2013, pp. 111\u2013120. ACM SIGSOFT, New York (2013)","DOI":"10.1145\/2465449.2465469"}],"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_60","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,7,9]],"date-time":"2022-07-09T15:20:22Z","timestamp":1657380022000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-47169-3_60"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319471686","9783319471693"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-47169-3_60","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2016]]}}}