{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T05:11:08Z","timestamp":1725858668827},"publisher-location":"Cham","reference-count":83,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319405292"},{"type":"electronic","value":"9783319405308"}],"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-40530-8_1","type":"book-chapter","created":{"date-parts":[[2016,6,23]],"date-time":"2016-06-23T06:53:01Z","timestamp":1466664781000},"page":"3-18","source":"Crossref","is-referenced-by-count":0,"title":["Complexity is the Only Constant: Trends in Computing and Their Relevance to Model Driven Engineering"],"prefix":"10.1007","author":[{"given":"Juergen","family":"Dingel","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2016,6,22]]},"reference":[{"key":"1_CR1","unstructured":"Ariane 5 flight 501 failure, report by the inquiry board (1996). http:\/\/esamultimedia.esa.int\/docs\/esa-x-1819eng.pdf"},{"key":"1_CR2","doi-asserted-by":"crossref","unstructured":"Baki, I., Sahraoui, H.: Multi-step learning and adaptive search for learning complex model transformations from examples. ACM Trans. Softw. Eng. Methodol. (2016) (in print)","DOI":"10.1145\/2904904"},{"key":"1_CR3","unstructured":"Barrett, R., Bordeleau, F.: 5 years of \u2018Papyrusing\u2019 \u2013 migrating industrial development from a proprietary commercial tool to Papyrus (invited presentation). In: Workshop on Open Source Software for Model Driven Engineering (OSS4MDE 2015), pp. 3\u201312 (2015)"},{"key":"1_CR4","doi-asserted-by":"crossref","unstructured":"Bogd\u0103na\u015f, D., Ro\u015fu, G.: K-Java: a complete semantics of Java. In: ACM SIGPLAN\/SIGACT Symposium on Principles of Programming Languages (POPL 2015), pp. 445\u2013456. ACM, January 2015","DOI":"10.1145\/2676726.2676982"},{"key":"1_CR5","unstructured":"Borowiec, S., Lien, T.: AlphaGo beats human Go champ in milestone for artificial intelligence. Los Angeles Times, 12 March 2016"},{"key":"1_CR6","doi-asserted-by":"crossref","unstructured":"Borras, P., Clement, D., Despeyroux, T., Incerpi, J., Kahn, G., Lang, B., Pascual, V.: Centaur: the system. In: ACM SIGSoft\/SIGPlan Software Engineering Symposium on Practical Software Development Environments (SDE 1987) (1987)","DOI":"10.1145\/64135.65005"},{"issue":"9","key":"1_CR7","doi-asserted-by":"crossref","first-page":"42","DOI":"10.1109\/MSPEC.2005.1502528","volume":"42","author":"RN Charette","year":"2005","unstructured":"Charette, R.N.: Why software fails. IEEE Spectr. 42(9), 42\u201349 (2005)","journal-title":"IEEE Spectr."},{"key":"1_CR8","unstructured":"Cheung, A., Kamil, S., Solar-Lezama, A.: Bridging the gap between general-purpose and domain-specific compilers with synthesis. In: Summit oN Advances in Programming Languages (SNAPL 2015) (2015)"},{"issue":"6","key":"1_CR9","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1145\/2499370.2462180","volume":"48","author":"A Cheung","year":"2013","unstructured":"Cheung, A., Solar-Lezama, A., Madden, S.: Optimizing database-backed applications with query synthesis. ACM SIGPLAN Not. 48(6), 3\u201314 (2013)","journal-title":"ACM SIGPLAN Not."},{"key":"1_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"643","DOI":"10.1007\/978-3-319-06410-9_43","volume-title":"FM 2014: Formal Methods","author":"M Christakis","year":"2014","unstructured":"Christakis, M., Leino, K.R.M., Schulte, W.: Formalizing and verifying a modern build language. In: Jones, C., Pihlajasaari, P., Sun, J. (eds.) FM 2014. LNCS, vol. 8442, pp. 643\u2013657. Springer, Heidelberg (2014)"},{"key":"1_CR11","unstructured":"Chudler, E.H.: Neuroscience for kids. https:\/\/faculty.washington.edu\/chudler\/what.html"},{"issue":"3","key":"1_CR12","doi-asserted-by":"crossref","first-page":"62","DOI":"10.1145\/2812803","volume":"59","author":"C Collberg","year":"2016","unstructured":"Collberg, C., Proebsting, T.A.: Repeatability in computer systems research. Commun. ACM 59(3), 62\u201369 (2016)","journal-title":"Commun. ACM"},{"key":"1_CR13","unstructured":"Cook, B., Launchbury, J., Matthews, J.: Specifying superscalar microprocessors in Hawk. In: Workshop on Formal Techniques for Hardware and Hardware-like Systems (1998)"},{"issue":"1","key":"1_CR14","first-page":"17","volume":"17","author":"JP Potocki de Montalk","year":"1993","unstructured":"Potocki de Montalk, J.P.: Computer software in civil aircraft. Cockpit\/Avionics Eng. 17(1), 17\u201323 (1993)","journal-title":"Cockpit\/Avionics Eng."},{"issue":"3","key":"1_CR15","doi-asserted-by":"crossref","first-page":"153","DOI":"10.1145\/356571.356573","volume":"2","author":"PJ Denning","year":"1970","unstructured":"Denning, P.J.: Virtual memory. ACM Comput. Surv. 2(3), 153\u2013189 (1970)","journal-title":"ACM Comput. Surv."},{"issue":"2","key":"1_CR16","first-page":"164","volume":"12","author":"M Duvendack","year":"2015","unstructured":"Duvendack, M., Palmer-Jones, R.W., Reed, W.R.: Replications in economics: a progress report. Econ. Pract. 12(2), 164\u2013191 (2015)","journal-title":"Econ. Pract."},{"key":"1_CR17","doi-asserted-by":"crossref","unstructured":"Ellison, C., Ro\u015fu, G.: An executable formal semantics of C with applications. In: ACM SIGPLAN\/SIGACT Symposium on Principles of Programming Languages (POPL 2012), pp. 533\u2013544 (2012)","DOI":"10.1145\/2103656.2103719"},{"key":"1_CR18","doi-asserted-by":"crossref","unstructured":"Endresen, J., Carlson, E., Moen, T., Alme, K.-J., Haugen, \u00d8., Olsen, G.K., Svendsen, A.: Train control language - teaching computers interlocking. In: Computers in Railways XI. WIT Press (2008)","DOI":"10.2495\/CR080631"},{"key":"1_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"323","DOI":"10.1007\/3-540-40011-7_23","volume-title":"UML 2000 - The Unified Modeling Language. Advancing the Standard","author":"G Engels","year":"2000","unstructured":"Engels, G., Hausmann, J.H., Heckel, R., Sauer, S.: Dynamic meta modeling: a graphical approach to the operational semantics of behavioral diagrams in UML. In: Evans, A., Caskurlu, B., Selic, B. (eds.) UML 2000. LNCS, vol. 1939, pp. 323\u2013337. Springer, Heidelberg (2000)"},{"issue":"3","key":"1_CR20","doi-asserted-by":"crossref","first-page":"64","DOI":"10.1109\/MS.2011.116","volume":"29","author":"D Falessi","year":"2012","unstructured":"Falessi, D., Sabetzadeh, M., Briand, L., Turella, E., Coq, T., Panesar-Walawege, R.K.: Planning for safety standards compliance: a model-based tool-supported approach. IEEE Softw. 29(3), 64\u201370 (2012)","journal-title":"IEEE Softw."},{"key":"1_CR21","volume-title":"Semantics Engineering with PLT Redex","author":"M Felleisen","year":"2009","unstructured":"Felleisen, M., Findler, R.B., Flatt, M.: Semantics Engineering with PLT Redex. MIT Press, Cambridge (2009)"},{"key":"1_CR22","doi-asserted-by":"crossref","unstructured":"Geer, D.E.: Children of the magenta. IEEE Secur. Priv. 13(5) (2015)","DOI":"10.1109\/MSP.2015.91"},{"issue":"11","key":"1_CR23","doi-asserted-by":"crossref","first-page":"19","DOI":"10.1145\/581571.581584","volume":"45","author":"RL Glass","year":"2002","unstructured":"Glass, R.L.: Sorting out software complexity. Commun. ACM 45(11), 19\u201321 (2002)","journal-title":"Commun. ACM"},{"key":"1_CR24","unstructured":"GM: GM chairman and CEO addresses CES. https:\/\/www.gm.com\/mol\/m-2016-Jan-boltev-0106-barra-ces.html , 6 Jan 2016"},{"key":"1_CR25","doi-asserted-by":"crossref","unstructured":"Grimm, K.: Software technology in an automotive company \u2013 major challenges. In: International Conference on Software Engineering (ICSE 2003) (2003)","DOI":"10.1109\/ICSE.2003.1201228"},{"key":"1_CR26","doi-asserted-by":"crossref","first-page":"97","DOI":"10.1145\/2240236.2240260","volume":"55","author":"S Gulwani","year":"2012","unstructured":"Gulwani, S., Harris, W., Singh, R.: Spreadsheet data manipulation using examples. Commun. ACM 55, 97\u2013105 (2012)","journal-title":"Commun. ACM"},{"key":"1_CR27","doi-asserted-by":"crossref","first-page":"21","DOI":"10.1007\/s10009-014-0340-3","volume":"18","author":"M Hendriks","year":"2016","unstructured":"Hendriks, M., Basten, T., Verriet, J., Brass\u00e9, M., Somers, L.: A blueprint for system-level performance modeling of software-intensive embedded systems. Softw. Tools Technol. Transf. 18, 21\u201340 (2016)","journal-title":"Softw. Tools Technol. Transf."},{"key":"1_CR28","doi-asserted-by":"crossref","first-page":"54","DOI":"10.1049\/ip-sen:20041317","volume":"152","author":"PR Henriques","year":"2005","unstructured":"Henriques, P.R., Pereira, M.J.V., Mernik, M., Lenic, M., Gray, J., Wu, H.: Automatic generation of language-based tools using the LISA system. IEE Proc. Softw. 152, 54\u201369 (2005)","journal-title":"IEE Proc. Softw."},{"key":"1_CR29","unstructured":"Homer-Dixon, T.: The Ingenuity Gap. Vintage Canada (2001)"},{"key":"1_CR30","doi-asserted-by":"crossref","first-page":"485","DOI":"10.1038\/nature10836","volume":"482","author":"DC Ince","year":"2012","unstructured":"Ince, D.C., Hatton, L., Graham-Cumming, J.: The case for open computer programs. Nature 482, 485\u2013488 (2012)","journal-title":"Nature"},{"key":"1_CR31","doi-asserted-by":"crossref","unstructured":"Jeon, J., Qiu, X., Foster, J.S., Solar-Lezama, A.: Jsketch: sketching for Java. In: Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC\/FSE 2015) (2015)","DOI":"10.1145\/2786805.2803189"},{"key":"1_CR32","doi-asserted-by":"crossref","unstructured":"Kahani, N., Bagherzadeh, M., Dingel, J., Cordy, J.R.: The problems with Eclipse modeling tools: a topic analysis of Eclipse forums, April 2016 (submitted)","DOI":"10.1145\/2976767.2976773"},{"key":"1_CR33","doi-asserted-by":"crossref","unstructured":"Khalil, A., Dingel, J.: Incremental symbolic execution of evolving state machines. In: ACM\/IEEE International Conference on Model Driven Engineering Languages and Systems (MODELS 2015) (2015)","DOI":"10.1109\/MODELS.2015.7338231"},{"key":"1_CR34","doi-asserted-by":"crossref","first-page":"247","DOI":"10.1016\/j.scico.2009.10.007","volume":"75","author":"HM Kienle","year":"2010","unstructured":"Kienle, H.M., Mueller, H.A.: Rigi \u2013 an environment for software reverse engineering, exploration, visualization, and redocumentation. Sci. Comput. Prog. 75, 247\u2013263 (2010)","journal-title":"Sci. Comput. Prog."},{"key":"1_CR35","doi-asserted-by":"crossref","unstructured":"Klein, G., Elphinstone, K., Heiser, G., Andronick, J., Cock, D., Derrin, P., Elkaduwe, D., Engelhardt, K., Kolanski, R., Norrish, M., Sewell, T., Tuch, H., Winwood, S.: Formal verification of an OS kernel. In: ACM SIGOPS Symposium on Operating Systems Principles (SOSP 2009), pp. 207\u2013220. ACM (2009)","DOI":"10.1145\/1629575.1629596"},{"key":"1_CR36","doi-asserted-by":"crossref","unstructured":"Koksal, A.S., Pu, Y., Srivastava, S., Bodik, R., Piterman, N., Fisher, J.: Synthesis of biological models from mutation experiments. In: ACM SIGPLAN\/SIGACT Symposium on Principles of Programming Languages (POPL 2013) (2013)","DOI":"10.1145\/2429069.2429125"},{"key":"1_CR37","doi-asserted-by":"crossref","first-page":"10:1","DOI":"10.1145\/2734116","volume":"9","author":"N Kwasnikowska","year":"2015","unstructured":"Kwasnikowska, N., Moreau, L., Van den Bussche, J.: A formal account of the Open Provenance Model. ACM Trans. Web 9, 10:1\u201310:44 (2015)","journal-title":"ACM Trans. Web"},{"issue":"7","key":"1_CR38","doi-asserted-by":"crossref","first-page":"107","DOI":"10.1145\/1538788.1538814","volume":"52","author":"X Leroy","year":"2009","unstructured":"Leroy, X.: Formal verification of a realistic compiler. Commun. ACM 52(7), 107\u2013115 (2009)","journal-title":"Commun. ACM"},{"key":"1_CR39","doi-asserted-by":"crossref","first-page":"613","DOI":"10.1002\/stvr.1475","volume":"23","author":"B Li","year":"2012","unstructured":"Li, B., Sun, X., Leung, H., Zhang, S.: A survey of code-based change impact analysis techniques. Softw. Test. Verification Reliab. 23, 613\u2013646 (2012)","journal-title":"Softw. Test. Verification Reliab."},{"key":"1_CR40","doi-asserted-by":"crossref","unstructured":"Lim, J., Reps, Th.: TSL: a system for generating abstract interpreters and its application to machine-code analysis. ACM Trans. Program. Lang. Syst. 35(1), 4:1\u20134:59 (2013)","DOI":"10.1145\/2450136.2450139"},{"key":"1_CR41","unstructured":"Lima, M.: Visual complexity website. http:\/\/www.visualcomplexity.com\/vc"},{"key":"1_CR42","unstructured":"Lima, M.: The Book of Trees: Visualizing Branches of Knowledge Hardcover. Princeton Architectural Press (2014)"},{"key":"1_CR43","unstructured":"Lu, Y., Atlee, J.M., Day, N.A., Niu, J.: Mapping template semantics to SMV. In: IEEE\/ACM International Conference on Automated Software Engineering (ASE 2004) (2004)"},{"key":"1_CR44","doi-asserted-by":"crossref","unstructured":"L\u00facio, L., Amrani, M., Dingel, J., Lambers, L., Salay, R., Selim, G.M.K., Syriani, E., Wimmer, M.: Model transformation intents and their properties. Softw. Syst. Model., 1\u201338 (2014)","DOI":"10.1007\/s10270-014-0429-x"},{"key":"1_CR45","unstructured":"Markoff, J.: The iPad in your hand: as fast as a supercomputer of yore. New York Times article based on interview with Dr. Jack Dongarra, 9 May 2011. http:\/\/bits.blogs.nytimes.com\/2011\/05\/09\/the-ipad-in-your-hand-as-fast-as-a-supercomputer-of-yore"},{"key":"1_CR46","doi-asserted-by":"crossref","unstructured":"Mayr, A., Pl\u00f6sch, R., Saft, M.: Objective safety compliance checks for source code. In: Companion Proceedings of the 36th International Conference on Software Engineering, ICSE Companion 2014 (2014)","DOI":"10.1145\/2591062.2591178"},{"key":"1_CR47","unstructured":"McCallum, J.C.: Memory prices (1957\u20132015). http:\/\/www.jcmit.com\/memoryprice.htm . Accessed Mar 2016"},{"key":"1_CR48","unstructured":"McCandless, D.: Information is beautiful: Million lines of code. http:\/\/www.informationisbeautiful.net\/visualizations\/million-lines-of-code"},{"key":"1_CR49","doi-asserted-by":"crossref","unstructured":"Milicevic, A., Rayside, D., Yessenov, K., Jackson, D.: Unifying execution of imperative and declarative code. In: International Conference on Software Engineering (ICSE 2011) (2011)","DOI":"10.1145\/1985793.1985863"},{"issue":"12","key":"1_CR50","doi-asserted-by":"crossref","first-page":"12","DOI":"10.1145\/2833138","volume":"58","author":"D Monroe","year":"2015","unstructured":"Monroe, D.: When data is not enough. Commun. ACM 58(12), 12\u201314 (2015)","journal-title":"Commun. ACM"},{"issue":"6","key":"1_CR51","doi-asserted-by":"crossref","first-page":"743","DOI":"10.1016\/j.future.2010.07.005","volume":"27","author":"L Moreau","year":"2011","unstructured":"Moreau, L., Clifford, B., Freire, J., Futrelle, J., Gil, Y., Groth, P., Kwasnikowska, N., Miles, S., Missier, P., Myers, J., Plale, B., Simmhan, Y., Stephan, E., van den Bussche, J.: The open provenance model core specification (v1.1). Future Gener. Comput. Syst. 27(6), 743\u2013756 (2011)","journal-title":"Future Gener. Comput. Syst."},{"key":"1_CR52","unstructured":"Mosses, P.: Sis: A compiler-generator system using denotational semantics. Technical report 78-4-3, Department of Computer Science, University of Aarhus (1978)"},{"key":"1_CR53","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"264","DOI":"10.1007\/11557432_19","volume-title":"Model Driven Engineering Languages and Systems","author":"P-A Muller","year":"2005","unstructured":"Muller, P.-A., Fleurey, F., J\u00e9z\u00e9quel, J.-M.: Weaving executability into object-oriented meta-languages. In: Briand, L.C., Williams, C. (eds.) MoDELS 2005. LNCS, vol. 3713, pp. 264\u2013278. Springer, Heidelberg (2005)"},{"issue":"9","key":"1_CR54","doi-asserted-by":"crossref","first-page":"175","DOI":"10.1145\/2692915.2628143","volume":"49","author":"DP Mulligan","year":"2014","unstructured":"Mulligan, D.P., Owens, S., Gray, K.E., Ridge, T., Sewell, P.: Lem: Reusable engineering of real-world semantics. SIGPLAN Not. 49(9), 175\u2013188 (2014)","journal-title":"SIGPLAN Not."},{"key":"1_CR55","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"309","DOI":"10.1007\/978-3-319-05843-6_23","volume-title":"Requirements Engineering: Foundation for Software Quality","author":"S Nair","year":"2014","unstructured":"Nair, S., de la Vara, J.L., Melzi, A., Tagliaferri, G., de-la-Beaujardiere, L., Belmonte, F.: Safety evidence traceability: problem analysis and model. In: Salinesi, C., Weerd, I. (eds.) REFSQ 2014. LNCS, vol. 8396, pp. 309\u2013324. Springer, Heidelberg (2014)"},{"key":"1_CR56","unstructured":"The President of the United States: Executive order: creating a national strategic computing initiative, 29 July 2015. https:\/\/www.whitehouse.gov\/the-press-office\/2015\/07\/29\/executive-order-creating-national-strategic-computing-initiative"},{"key":"1_CR57","doi-asserted-by":"crossref","unstructured":"Park, D., \u015etef\u0103nescu, A., Ro\u015fu, G.: KJS: a complete formal semantics of JavaScript. In: SIGPLAN Conference on Programming Language Design and Implementation (PLDI 2015), pp. 346\u2013356. ACM, June 2015","DOI":"10.1145\/2737924.2737991"},{"key":"1_CR58","doi-asserted-by":"crossref","unstructured":"Person, S., Yang, G., Rungta, N., Khurshid, S.: Directed incremental symbolic execution. In: ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI 2011) (2011)","DOI":"10.1145\/1993498.1993558"},{"key":"1_CR59","unstructured":"Posse, E.: PapyrusRT: modelling and code generation (invited presentation). In: Workshop on Open Source Software for Model Driven Engineering (OSS4MDE 2015) (2015)"},{"key":"1_CR60","doi-asserted-by":"crossref","unstructured":"Ren, X., Shah, F., Tip, F., Ryder, B.G., Chesley, O.: Chianti: A tool for change impact analysis of Java programs. In: ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA 2004) (2004)","DOI":"10.1145\/1035292.1029012"},{"key":"1_CR61","unstructured":"Riguzzi, F.: A survey of software metrics. Technical report DEIS-LIA-96-010, Universit\u00e0 degli Studi di Bologna (1996)"},{"issue":"6","key":"1_CR62","doi-asserted-by":"crossref","first-page":"397","DOI":"10.1016\/j.jlap.2010.03.012","volume":"79","author":"G Ro\u015fu","year":"2010","unstructured":"Ro\u015fu, G., \u015eerb\u0103nu\u0163\u0103, T.F.: An overview of the K semantic framework. J. Logic Algebraic Prog. 79(6), 397\u2013434 (2010)","journal-title":"J. Logic Algebraic Prog."},{"key":"1_CR63","unstructured":"RTI: The economic impacts of inadequate infrastructure for software testing. Technical report Planning Report 02\u20133, National Institute of Standards & Technology (NIST), May 2002"},{"key":"1_CR64","doi-asserted-by":"crossref","first-page":"81","DOI":"10.1109\/MS.2015.111","volume":"32","author":"R Schuwer","year":"2015","unstructured":"Schuwer, R., van Genuchten, M., Hatton, L.: On the impact of being open. IEEE Softw. 32, 81\u201383 (2015)","journal-title":"IEEE Softw."},{"key":"1_CR65","doi-asserted-by":"crossref","first-page":"513","DOI":"10.1007\/s10270-012-0261-0","volume":"11","author":"B Selic","year":"2012","unstructured":"Selic, B.: What will it take? A view on adoption of model-based methods. Softw. Syst. Model. 11, 513\u2013526 (2012)","journal-title":"Softw. Syst. Model."},{"key":"1_CR66","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"113","DOI":"10.1007\/978-3-319-09108-2_8","volume-title":"Graph Transformation","author":"GMK Selim","year":"2014","unstructured":"Selim, G.M.K., L\u00facio, L., Cordy, J.R., Dingel, J., Oakes, B.J.: Specification and verification of graph-based model transformation properties. In: Giese, H., K\u00f6nig, B. (eds.) ICGT 2014. LNCS, vol. 8571, pp. 113\u2013129. Springer, Heidelberg (2014)"},{"issue":"1","key":"1_CR67","doi-asserted-by":"crossref","first-page":"20","DOI":"10.1109\/85.560729","volume":"19","author":"S Shapiro","year":"1997","unstructured":"Shapiro, S.: Splitting the difference: the historical necessity of synthesis in software engineering. IEEE Ann. Hist. Comput. 19(1), 20\u201354 (1997)","journal-title":"IEEE Ann. Hist. Comput."},{"key":"1_CR68","doi-asserted-by":"crossref","first-page":"15","DOI":"10.1145\/2499370.2462195","volume":"48","author":"R Singh","year":"2013","unstructured":"Singh, R., Gulwani, S., Solar-Lezama, A.: Automated feedback generation for introductory programming assignments. ACM SIGPLAN Not. 48, 15\u201326 (2013). ACM","journal-title":"ACM SIGPLAN Not."},{"key":"1_CR69","doi-asserted-by":"crossref","first-page":"136","DOI":"10.1145\/1379022.1375599","volume":"43","author":"A Solar-Lezama","year":"2008","unstructured":"Solar-Lezama, A., Jones, C., Bodik, R.: Sketching concurrent data structures. ACM SIGPLAN Not. 43, 136\u2013148 (2008). ACM","journal-title":"ACM SIGPLAN Not."},{"key":"1_CR70","doi-asserted-by":"crossref","first-page":"281","DOI":"10.1145\/1064978.1065045","volume":"40","author":"A Solar-Lezama","year":"2005","unstructured":"Solar-Lezama, A., Rabbah, R., Bod\u00edk, R., Ebcio\u011flu, K.: Programming by sketching for bit-streaming programs. ACM SIGPLAN Not. 40, 281\u2013294 (2005). ACM","journal-title":"ACM SIGPLAN Not."},{"key":"1_CR71","unstructured":"Stanley, B., Gyimesi, K.: Automotive 2025 \u2013 industry without borders. Technical report, IBM Institute for Business Value, January 2015. http:\/\/www-935.ibm.com\/services\/us\/gbs\/thoughtleadership\/auto2025"},{"key":"1_CR72","doi-asserted-by":"crossref","unstructured":"Stoica, I., Morris, R., Karger, D., Kaashoek, F.M., Balakrishnan, H.: Chord: a scalable peer-to-peer lookup service for internet applications. In: ACM Conference on Applications, Technologies, Architectures, and Protocols for Computer Communications (SIGCOMM 2001), pp. 149\u2013160 (2001)","DOI":"10.1145\/383059.383071"},{"key":"1_CR73","unstructured":"Tainter, J.A.: Complexity, problem solving, and sustainable societies. In: Costanza, R., Segura, O., Martinez-Alier, J. (eds.) Getting Down to Earth: Practical Applications of Ecological Economics. Island Press (1996)"},{"key":"1_CR74","doi-asserted-by":"crossref","unstructured":"Torlak, E., Bodik, R.: Growing solver-aided languages with Rosette. In: ACM International Symposium on New Ideas, New Paradigms, and Reflections on Programming & Software, Onward! 2013, pp. 135\u2013152 (2013)","DOI":"10.1145\/2509578.2509586"},{"key":"1_CR75","doi-asserted-by":"crossref","unstructured":"Torlak, E., Bodik, R.: A lightweight symbolic virtual machine for solver-aided host languages. In: ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI 2014) (2014)","DOI":"10.1145\/2666356.2594340"},{"key":"1_CR76","volume-title":"Beautiful Evidence","author":"E Tufte","year":"2006","unstructured":"Tufte, E.: Beautiful Evidence. Graphics Press, Cheshire (2006)"},{"key":"1_CR77","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"365","DOI":"10.1007\/3-540-45306-7_26","volume-title":"Compiler Construction","author":"MGJ Brand den van","year":"2001","unstructured":"den van Brand, M.G.J., van Deursen, A., Heering, J., de Jong, H.A., de Jonge, M., Kuipers, T., Klint, P., Moonen, L., Olivier, P.A., Scheerder, J., Vinju, J.J., Visser, E., Visser, J.: The ASF+SDF meta-environment: a component-based language development environment. In: Wilhelm, R. (ed.) CC 2001. LNCS, vol. 2027, p. 365. Springer, Heidelberg (2001)"},{"key":"1_CR78","unstructured":"W3C Working Group. PROV-Overview: An overview of the PROV family of documents. In: Groth, P., Moreau, L. (eds.) W3C Working Group Note. W3C (2013)"},{"key":"1_CR79","unstructured":"Ward, D.: Avsis system architecture virtual integration program: proof of concept demonstrations. In: INCOSE MBSE Workshop, 27 January 2013"},{"key":"1_CR80","doi-asserted-by":"crossref","unstructured":"Whittle, J., Hutchinson, J., Rouncefield, M., Heldal, R.: Industrial adoption of model-driven engineering: are the tools reallythe problem? In: ACM\/IEEE International Conference on Model-Driven Engineering Languages and Systems (MODELS 2013) (2013)","DOI":"10.1007\/978-3-642-41533-3_1"},{"key":"1_CR81","doi-asserted-by":"crossref","unstructured":"Yang, G., Dwyer, M., Rothermel, G.: Regression model checking. In: International Conference on Software Maintenance (ICSM 2009), pp. 115\u2013124. IEEE (2009)","DOI":"10.1109\/ICSM.2009.5306334"},{"issue":"2","key":"1_CR82","doi-asserted-by":"crossref","first-page":"50","DOI":"10.1145\/2185376.2185383","volume":"42","author":"P Zave","year":"2012","unstructured":"Zave, P.: Using lightweight modeling to understand Chord. ACM SIGCOMM Comput. Commun. Rev. 42(2), 50\u201357 (2012)","journal-title":"ACM SIGCOMM Comput. Commun. Rev."},{"key":"1_CR83","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"82","DOI":"10.1007\/978-3-319-21912-7_4","volume-title":"Behavior Modeling \u2013 Foundations and Applications","author":"K Zurowska","year":"2015","unstructured":"Zurowska, K., Dingel, J.: A customizable execution engine for models of embedded systems. In: Roubtsova, E., McNeile, A., Kindler, E., Gerth, C. (eds.) BM-FA 2009-2014. LNCS, vol. 6368, pp. 82\u2013110. Springer, Heidelberg (2015)"}],"container-title":["Lecture Notes in Computer Science","Graph Transformation"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-40530-8_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,10]],"date-time":"2019-09-10T02:33:58Z","timestamp":1568082838000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-40530-8_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319405292","9783319405308"],"references-count":83,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-40530-8_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016]]}}}