{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T00:52:41Z","timestamp":1740099161441,"version":"3.37.3"},"publisher-location":"Cham","reference-count":39,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030002435"},{"type":"electronic","value":"9783030002442"}],"license":[{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018]]},"DOI":"10.1007\/978-3-030-00244-2_1","type":"book-chapter","created":{"date-parts":[[2018,8,30]],"date-time":"2018-08-30T04:12:38Z","timestamp":1535602358000},"page":"3-18","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":6,"title":["Generative Model Driven Design for Agile System Design and Evolution: A Tale of Two Worlds"],"prefix":"10.1007","author":[{"given":"Tiziana","family":"Margaria","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2018,8,30]]},"reference":[{"key":"1_CR1","doi-asserted-by":"crossref","unstructured":"Bakera, M., J\u00f6rges, S., Margaria, T.: Test your strategy: graphical construction of strategies for connect-four. In: Proceedings of the 2009 14th IEEE International Conference on Engineering of Complex Computer Systems, pp. 172\u2013181, ICECCS 2009. IEEE Computer Society, Washington, DC (2009). http:\/\/dx.doi.org\/10.1109\/ICECCS.2009.51","DOI":"10.1109\/ICECCS.2009.51"},{"key":"1_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"809","DOI":"10.1007\/978-3-319-47169-3_60","volume-title":"Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications","author":"S Bo\u00dfelmann","year":"2016","unstructured":"Bo\u00dfelmann, S., et al.: DIME: a programming-less modeling environment for web applications. In: Margaria, T., Steffen, B. (eds.) ISoLA 2016. LNCS, vol. 9953, pp. 809\u2013832. Springer, Cham (2016). https:\/\/doi.org\/10.1007\/978-3-319-47169-3_60"},{"key":"1_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":"1_CR4","doi-asserted-by":"crossref","unstructured":"Brooks, D., Tiwari, V., Martonosi, M.: Wattch: a framework for architectural-level power analysis and optimizations. In: Proceedings of 27th International Symposium on Computer Architecture, vol. ISSN=1063-6897, pp. 83\u201394. IEEE (2000)","DOI":"10.1145\/339647.339657"},{"key":"1_CR5","unstructured":"Buckley, J., Rosik, J., Herold, S., Wasala, A., Botterweck, G., Exton, C.: Flints: a tool for architectural-level modeling of features in software systems. In: Proceedings of the 10th European Conference on Software Architecture Workshops, ECSAW 2016, pp. 14:1\u201314:7. ACM, New York (2016). http:\/\/doi.acm.org\/10.1145\/2993412.3003390"},{"key":"1_CR6","unstructured":"Dmitriev, S.: Language oriented programming: the next programming paradigm. JetBrains onBoard Online Mag. 1 (2004). http:\/\/www.onboard.jetbrains.com\/is1\/articles\/04\/10\/lop\/"},{"key":"1_CR7","doi-asserted-by":"publisher","unstructured":"Farulla, A., Lamprecht, A.L.: Model checking of security properties: a case study on human-robot interaction processes. In: 12th International Conference on Design Technology of Integrated Systems in Nanoscale Era (DTIS), pp. 1\u20136. IEEE Computer Society (2017). https:\/\/doi.org\/10.1109\/DTIS.2017.7930158","DOI":"10.1109\/DTIS.2017.7930158"},{"key":"1_CR8","doi-asserted-by":"publisher","unstructured":"Farulla, G.A., Prinetto, P., Varriale, A.: Holistic security via complex HW\/SW platforms. In: 12th International Conference on Design Technology of Integrated Systems in Nanoscale Era (DTIS), pp. 1\u20136. IEEE Computer Society (2017). https:\/\/doi.org\/10.1109\/DTIS.2017.7930156","DOI":"10.1109\/DTIS.2017.7930156"},{"key":"1_CR9","unstructured":"Farulla, G.A., Indaco, M., Legay, A., Margaria, T.: Model driven design of secure properties for vision-based applications: a case study. 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. 159\u2013167. CREA Press (2016)"},{"key":"1_CR10","unstructured":"Gossen, F., Tiziana Margaria, J.N.B.S.: A model-driven and generative approach to holistic security. In: Flammini, F. (ed.) Resilience of Cyber-Physical Systems: From Risk Modeling to Threat Counteraction. Advanced Sciences and Technologies for Security Applications. Springer, Heidelberg (2018). ISBN: 978-3-319-95597-1"},{"key":"1_CR11","doi-asserted-by":"crossref","unstructured":"Gossen, F., K\u00fchn, D., Margaria, T., Lamprecht, A.L.: Computational thinking: learning by doing with the Cinco adventure game tool. In: 42nd IEEE Annual Computer Software and Applications Conference (COMPSAC), CELT Symposium, Tokyo, Japan, 24\u201327 July 2018. IEEE Computer Society (in press)","DOI":"10.1109\/COMPSAC.2018.00175"},{"key":"1_CR12","doi-asserted-by":"crossref","unstructured":"Gossen, F., Neubauer, J., Steffen, B.: Securing C\/C++ applications with a secube\u2122-based model-driven approach. In: 12th International Conference on Design & Technology of Integrated Systems in Nanoscale Era, DTIS 2017, Palma de Mallorca, Spain, 4\u20136 April 2017, pp. 1\u20137. IEEE (2017). https:\/\/doi.org\/10.1109\/DTIS.2017.7930157","DOI":"10.1109\/DTIS.2017.7930157"},{"key":"1_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"19","DOI":"10.1007\/978-3-030-00244-2_2","volume-title":"Formal Methods for Industrial Critical Systems","author":"S Graf","year":"2018","unstructured":"Graf, S., Quinton, S., Girault, A., G\u00f6ssler, G.: Building correct cyber-physical systems: why we need a multiview? In: Howar, F., Barnat, J. (eds.) FMICS 2018. LNCS, vol. 11119, pp. 19\u201331. Springer, Cham (2018)"},{"key":"1_CR14","unstructured":"Jonsson, B., Margaria, T., Naeser, G., Nystr\u00f6m, J., Steffen, B.: Incremental requirement specification for evolving systems. In: Calder, M., Magill, E.H. (eds.) Feature Interactions in Telecommunications and Software Systems VI (FIW 2000), pp. 145\u2013162. IOS Press, May 2000"},{"key":"1_CR15","unstructured":"Jonsson, B., Margaria, T., Naeser, G., Nystr\u00f6m, J., Steffen, B.: Incremental requirement specification for evolving systems. Nordic J. Comput. 8, 65\u201387 (2001). http:\/\/dl.acm.org\/citation.cfm?id=774194.774199"},{"key":"1_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-36127-2","volume-title":"Construction and Evolution of Code Generators. A Model-Driven and Service-Oriented Approach","author":"S J\u00f6rges","year":"2013","unstructured":"J\u00f6rges, S.: Construction and Evolution of Code Generators. A Model-Driven and Service-Oriented Approach. LNCS, vol. 7747. Springer, Heidelberg (2013). https:\/\/doi.org\/10.1007\/978-3-642-36127-2"},{"issue":"4","key":"1_CR17","doi-asserted-by":"publisher","first-page":"361","DOI":"10.1007\/s11334-008-0071-2","volume":"4","author":"S J\u00f6rges","year":"2008","unstructured":"J\u00f6rges, S., Margaria, T., Steffen, B.: Genesys: service-oriented construction of property conform code generators. Innov. Syst. Softw. Eng. 4(4), 361\u2013384 (2008)","journal-title":"Innov. Syst. Softw. Eng."},{"key":"1_CR18","doi-asserted-by":"crossref","unstructured":"Karusseit, M., Margaria, T.: Feature-based modelling of a complex, online-reconfigurable decision support service. Electron. Notes Theor. Comput. Sci. 157(2), 101\u2013118 (2006). http:\/\/www.sciencedirect.com\/science\/article\/pii\/S1571066106002489","DOI":"10.1016\/j.entcs.2005.12.049"},{"key":"1_CR19","series-title":"Communications in Computer and Information Science","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-45006-2","volume-title":"Process Design for Natural Scientists. An Agile Model-Driven Approach","year":"2014","unstructured":"Lamprecht, A.-L., Margaria, T. (eds.): Process Design for Natural Scientists. An Agile Model-Driven Approach. CCIS, vol. 500. Springer, Heidelberg (2014). https:\/\/doi.org\/10.1007\/978-3-662-45006-2"},{"key":"1_CR20","doi-asserted-by":"crossref","unstructured":"Lamprecht, A., Margaria, T., McInerney, C.: A summer computing camp using ChainReaction and jABC. In: 40th IEEE Annual Computer Software and Applications Conference, COMPSAC Workshops 2016, Atlanta, GA, USA, 10\u201314 June 2016, pp. 275\u2013280. IEEE Computer Society (2016). https:\/\/doi.org\/10.1109\/COMPSAC.2016.41","DOI":"10.1109\/COMPSAC.2016.41"},{"key":"1_CR21","doi-asserted-by":"crossref","unstructured":"Lustig, D., Pellauer, M., Martonosi, M.: PipeCheck: specifying and verifying microarchitectural enforcement of memory consistency models. In: 47th Annual IEEE\/ACM International Symposium on Microarchitecture, pp. 635\u2013646. No. ISSN=1072-4451. IEEE (2015)","DOI":"10.1109\/MICRO.2014.38"},{"key":"1_CR22","doi-asserted-by":"crossref","unstructured":"Lustig, D., Sethi, G., Martonosi, M., Bhattacharjee, A.: COATCheck: Verifying memory ordering at the hardware-OS interface. SIGPLAN Not. 51(4), 233\u2013247 (2016). http:\/\/doi.acm.org\/10.1145\/2954679.2872399","DOI":"10.1145\/2954679.2872399"},{"key":"1_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"7","DOI":"10.1007\/978-3-319-46508-1_2","volume-title":"Transactions on Foundations for Mastering Change I","author":"T Margaria","year":"2016","unstructured":"Margaria, T.: Knowledge management for inclusive system evolution. In: Steffen, B. (ed.) Transactions on Foundations for Mastering Change I. LNCS, vol. 9960, pp. 7\u201321. Springer, Cham (2016). https:\/\/doi.org\/10.1007\/978-3-319-46508-1_2"},{"issue":"2\u20133","key":"1_CR24","doi-asserted-by":"publisher","first-page":"107","DOI":"10.1007\/s10009-003-0119-4","volume":"5","author":"T Margaria","year":"2004","unstructured":"Margaria, T., Steffen, B.: Lightweight coarse-grained coordination: a scalable system-level approach. Softw. Tools Technol. Transfer 5(2\u20133), 107\u2013123 (2004)","journal-title":"Softw. Tools Technol. Transfer"},{"key":"1_CR25","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","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). https:\/\/doi.org\/10.1007\/11596141_34"},{"key":"1_CR26","doi-asserted-by":"crossref","unstructured":"Martonosi, M.: New metrics and models for a Post-ISA era: managing complexity and scaling performance in heterogeneous parallelism and internet-of-things (keynote talk). In: 42nd IEEE Annual Computer Software and Applications Conference (COMPSAC), CELT Symposium, Tokyo, Japan, 24\u201327 July 2018. IEEE Computer Society (2018, in press)","DOI":"10.1145\/3219617.3219625"},{"key":"1_CR27","unstructured":"Medernach, D., Fitzgerald, J., Azad, R.M.A., Ryan, C.: A new wave: a dynamic approach to genetic programming. In: Proceedings of the Genetic and Evolutionary Computation Conference 2016, pp. 757\u2013764. GECCO 2016. ACM, New York (2016). http:\/\/doi.acm.org\/10.1145\/2908812.2908857"},{"key":"1_CR28","unstructured":"Milojicic, D.: Generalize or die: operating systems support for memristor-based accelerators (keynote talk). In: 42nd IEEE Annual Computer Software and Applications Conference (COMPSAC), CELT Symposium, Tokyo, Japan, 24\u201327 July 2018. IEEE Computer Society (2018, in press)"},{"key":"1_CR29","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. Softw. Tools Technol. Transf. 20, 327 (2017)","DOI":"10.1007\/s10009-017-0453-6"},{"key":"1_CR30","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"233","DOI":"10.1007\/3-540-45314-8_17","volume-title":"Fundamental Approaches to Software Engineering","author":"O Niese","year":"2001","unstructured":"Niese, O., Steffen, B., Margaria, T., Hagerer, A., Brune, G., Ide, H.-D.: Library-based design and consistency checking of system-level industrial test cases. In: Hussmann, H. (ed.) FASE 2001. LNCS, vol. 2029, pp. 233\u2013248. Springer, Heidelberg (2001). https:\/\/doi.org\/10.1007\/3-540-45314-8_17"},{"key":"1_CR31","series-title":"Lecture Notes in Computer Science","volume-title":"Computing and Software Science: State of the Art and Perspectives","author":"B Steffen","year":"2018","unstructured":"Steffen, B., Gossen, F., Naujokat, S., Margaria, T.: Language-driven engineering: from general-purpose to purpose-specific languages. In: Steffen, B., Woeginger, G. (eds.) Computing and Software Science: State of the Art and Perspectives. LNCS, vol. 10000. Springer, Heidelberg (2018)"},{"key":"1_CR32","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"},{"issue":"1","key":"1_CR33","first-page":"13","volume":"17","author":"B Steffen","year":"1996","unstructured":"Steffen, B., Margaria, T., Cla\u00dfen, A.: Heterogeneous analysis and verification for distributed systems. Softw. Concepts Tools 17(1), 13\u201325 (1996)","journal-title":"Softw. Concepts Tools"},{"issue":"2","key":"1_CR34","first-page":"78","volume":"17","author":"B Steffen","year":"1996","unstructured":"Steffen, B., Margaria, T., Cla\u00dfen, A., Braun, V.: Incremental formalization: A key to industrial success. Softw. Concepts Tools 17(2), 78\u201395 (1996)","journal-title":"Softw. Concepts Tools"},{"key":"1_CR35","unstructured":"Steffen, B., Margaria, T., Cla\u00dfen, A., Braun, V., Reitenspie\u00df, M.: An environment for the creation of intelligent network services. In: Intelligent Networks: IN\/AIN Technologies, Operations, Services and Applications - A Comprehensive Report, pp. 287\u2013300. IEC: International Engineering Consortium (1996)"},{"key":"1_CR36","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"22","DOI":"10.1007\/978-3-319-46508-1_3","volume-title":"Transactions on Foundations for Mastering Change I","author":"B Steffen","year":"2016","unstructured":"Steffen, B., Naujokat, S.: Archimedean points: the essence for mastering change. In: Steffen, B. (ed.) Transactions on Foundations for Mastering Change I. LNCS, vol. 9960, pp. 22\u201346. Springer, Cham (2016). https:\/\/doi.org\/10.1007\/978-3-319-46508-1_3"},{"key":"1_CR37","doi-asserted-by":"crossref","unstructured":"Steinmacher, I., Robles, G., Fitzgerald, B., Wasserman, A.I.: Free and open source software development: the end of the teenage years. J. Internet Serv. Appl. 8(1), 17:1\u201317:4 (2017). https:\/\/doi.org\/10.1186\/s13174-017-0069-9","DOI":"10.1186\/s13174-017-0069-9"},{"key":"1_CR38","unstructured":"Varriale, A., di Natale, G., Prinetto, P., Steffen, B., Margaria, T.: SEcube\u2122: an open security platform: general approach and strategies. 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. 131\u2013137. CREA Press (2016)"},{"issue":"4","key":"1_CR39","first-page":"147","volume":"15","author":"MP Ward","year":"1994","unstructured":"Ward, M.P.: Language oriented programming. Softw. Concepts Tools 15(4), 147\u2013161 (1994)","journal-title":"Softw. Concepts Tools"}],"container-title":["Lecture Notes in Computer Science","Formal Methods for Industrial Critical Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-00244-2_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,8]],"date-time":"2020-11-08T13:14:11Z","timestamp":1604841251000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-00244-2_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018]]},"ISBN":["9783030002435","9783030002442"],"references-count":39,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-00244-2_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2018]]}}}