{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T17:39:19Z","timestamp":1743097159424,"version":"3.40.3"},"publisher-location":"Cham","reference-count":32,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319919072"},{"type":"electronic","value":"9783319919089"}],"license":[{"start":{"date-parts":[[2019,1,1]],"date-time":"2019-01-01T00:00:00Z","timestamp":1546300800000},"content-version":"tdm","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":[[2019]]},"DOI":"10.1007\/978-3-319-91908-9_14","type":"book-chapter","created":{"date-parts":[[2019,10,4]],"date-time":"2019-10-04T05:05:00Z","timestamp":1570165500000},"page":"239-249","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Methods, Languages and Tools for Future System Development"],"prefix":"10.1007","author":[{"given":"Bernhard","family":"Steffen","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2019,10,5]]},"reference":[{"key":"14_CR1","series-title":"LNCS","first-page":"452","volume-title":"Computing and Software Science","author":"R Alur","year":"2018","unstructured":"Alur, R., Giacobbe, M., Henzinger, T., Larsen, K., Miku\u010dionis, M.: Continuous-time models for system design and analysis. In: Steffen, B., Woeginger, G. (eds.) Computing and Software Science. LNCS, vol. 10000, pp. 452\u2013477. Springer, Heidelberg (2018)"},{"key":"14_CR2","series-title":"LNCS","first-page":"420","volume-title":"Computing and Software Science","author":"C Baier","year":"2018","unstructured":"Baier, C., Hermanns, H., Katoen, J.P.: The 10,000 facets of MDP model checking. In: Steffen, B., Woeginger, G. (eds.) Computing and Software Science. LNCS, vol. 10000, pp. 420\u2013451. Springer, Heidelberg (2018)"},{"key":"14_CR3","series-title":"LNCS","first-page":"283","volume-title":"Computing and Software Science","author":"A Benveniste","year":"2018","unstructured":"Benveniste, A., Caillaud, B., Elmqvist, H., Ghorbal, K., Otter, M., Pouzet, M.: Multi-Mode DAE models - challenges, theory and implementation. In: Steffen, B., Woeginger, G. (eds.) Computing and Software Science. LNCS, vol. 10000, pp. 283\u2013310. Springer, Heidelberg (2018)"},{"key":"14_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"175","DOI":"10.1007\/978-3-540-31984-9_14","volume-title":"Fundamental Approaches to Software Engineering","author":"T Berg","year":"2005","unstructured":"Berg, T., Grinchtein, O., Jonsson, B., Leucker, M., Raffelt, H., Steffen, B.: On the correspondence between conformance testing and regular inference. In: Cerioli, M. (ed.) FASE 2005. LNCS, vol. 3442, pp. 175\u2013189. Springer, Heidelberg (2005). \n                      https:\/\/doi.org\/10.1007\/978-3-540-31984-9_14"},{"key":"14_CR5","series-title":"LNCS","first-page":"505","volume-title":"Computing and Software Science","author":"G Candea","year":"2018","unstructured":"Candea, G., Godefroid, P.: Automated software test generation: some challenges, solutions, and recent advances. In: Steffen, B., Woeginger, G. (eds.) Computing and Software Science. LNCS, vol. 10000, pp. 505\u2013531. Springer, Heidelberg (2018)"},{"key":"14_CR6","series-title":"LNCS","first-page":"250","volume-title":"Computing and Software Science","author":"R Chatley","year":"2018","unstructured":"Chatley, R., Donaldson, A., Mycroft, A.: The next 7000 programming languages. In: Steffen, B., Woeginger, G. (eds.) Computing and Software Science. LNCS, vol. 10000, pp. 250\u2013282. Springer, Heidelberg (2018)"},{"key":"14_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-642-35746-6_1","volume-title":"Tools for Practical Software Verification","author":"EM Clarke","year":"2012","unstructured":"Clarke, E.M., Klieber, W., Nov\u00e1\u010dek, M., Zuliani, P.: Model checking and the state explosion problem. In: Meyer, B., Nordio, M. (eds.) LASER 2011. LNCS, vol. 7682, pp. 1\u201330. Springer, Heidelberg (2012). \n                      https:\/\/doi.org\/10.1007\/978-3-642-35746-6_1"},{"key":"14_CR8","doi-asserted-by":"crossref","unstructured":"Cousot, P., Cousot, R.: Abstract interpretation: a unified model for static analysis of programs by construction or approximation of fixpoints. In: Proceedings of 4th ACM Symposium on Principles of Programming Languages, pp. 238\u2013252 (1977)","DOI":"10.1145\/512950.512973"},{"issue":"10","key":"14_CR9","doi-asserted-by":"publisher","first-page":"859","DOI":"10.1145\/355604.361591","volume":"15","author":"EW Dijkstra","year":"1972","unstructured":"Dijkstra, E.W.: The humble programmer. Commun. ACM 15(10), 859\u2013866 (1972)","journal-title":"Commun. ACM"},{"key":"14_CR10","doi-asserted-by":"crossref","unstructured":"Felleisen, M., Findler, R.B., Flatt, M., Krishnamurthi, S., Barzilay, E., McCarthy, J., Tobin-Hochstadt, S.: A programmable programming language. Commun. ACM 61(3), 62\u201371 (2018)","DOI":"10.1145\/3127323"},{"key":"14_CR11","doi-asserted-by":"crossref","unstructured":"Floyd, R.W.: Assigning meaning to programs. In: Proceedings of Symposium on Applied Mathematics. Mathematical Aspects of Computer Science, vol. 19, pp. 19\u201332. American Mathematical Society (1967)","DOI":"10.1090\/psapm\/019\/0235771"},{"issue":"5","key":"14_CR12","first-page":"45","volume":"2","author":"Y Futamura","year":"1971","unstructured":"Futamura, Y.: Partial evaluation of computation process - an approach to a compiler-compiler. Syst. Comput. Controls 2(5), 45\u201350 (1971)","journal-title":"Syst. Comput. Controls"},{"key":"14_CR13","doi-asserted-by":"crossref","unstructured":"Goodenough, J.B., Gerhart, S.L.: Toward a theory of test data selection. IEEE Trans. Softw. Eng. SE-1(2) (1975)","DOI":"10.1109\/TSE.1975.6312836"},{"key":"14_CR14","series-title":"LNCS","first-page":"532","volume-title":"Computing and Software Science","author":"K Havelund","year":"2018","unstructured":"Havelund, K., Rosu, G., Reger, G.: Runtime verification - past experiences and future projections. In: Steffen, B., Woeginger, G. (eds.) Computing and Software Science. LNCS, vol. 10000, pp. 532\u2013562. Springer, Heidelberg (2018)"},{"key":"14_CR15","series-title":"LNCS","first-page":"345","volume-title":"Computing and Software Science","author":"R H\u00e4hnle","year":"2018","unstructured":"H\u00e4hnle, R., Huisman, M.: Deductive software verification: from pen-and-paper proofs to industrial tools. In: Steffen, B., Woeginger, G. (eds.) Computing and Software Science. LNCS, vol. 10000, pp. 345\u2013373. Springer, Heidelberg (2018)"},{"issue":"10","key":"14_CR16","doi-asserted-by":"publisher","first-page":"576","DOI":"10.1145\/363235.363259","volume":"12","author":"CAR Hoare","year":"1969","unstructured":"Hoare, C.A.R.: An axiomatic basis for computer programming. Commun. ACM 12(10), 576\u2013580 (1969)","journal-title":"Commun. ACM"},{"key":"14_CR17","series-title":"LNCS","first-page":"563","volume-title":"Computing and Software Science","author":"F Howar","year":"2018","unstructured":"Howar, F., Jonsson, B., Vaandrager, F.: Combining black-box and white-box techniques for learning register automata. In: Steffen, B., Woeginger, G. (eds.) Computing and Software Science. LNCS, vol. 10000, pp. 563\u2013588. Springer, Heidelberg (2018)"},{"key":"14_CR18","series-title":"LNCS","first-page":"374","volume-title":"Computing and Software Science","author":"M Huth","year":"2018","unstructured":"Huth, M., Nielson, F.: Static analysis for proactive security. In: Steffen, B., Woeginger, G. (eds.) Computing and Software Science. LNCS, vol. 10000, pp. 374\u2013392. Springer, Heidelberg (2018)"},{"key":"14_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"307","DOI":"10.1007\/978-3-319-11164-3_26","volume-title":"Runtime Verification","author":"M Isberner","year":"2014","unstructured":"Isberner, M., Howar, F., Steffen, B.: The TTT algorithm: a redundancy-free approach to active automata learning. In: Bonakdarpour, B., Smolka, S.A. (eds.) RV 2014. LNCS, vol. 8734, pp. 307\u2013322. Springer, Cham (2014). \n                      https:\/\/doi.org\/10.1007\/978-3-319-11164-3_26"},{"issue":"1","key":"14_CR20","doi-asserted-by":"publisher","first-page":"9","DOI":"10.1007\/BF01806312","volume":"2","author":"ND Jones","year":"1989","unstructured":"Jones, N.D., Sestoft, P., S\u00f8ndergaard, H.: Mix: a self-applicable partial evaluator for experiments in compiler generation. LISP Symbolic Comput. 2(1), 9\u201350 (1989)","journal-title":"LISP Symbolic Comput."},{"key":"14_CR21","series-title":"LNCS","first-page":"393","volume-title":"Computing and Software Science","author":"F Kordon","year":"2018","unstructured":"Kordon, F., Leuschel, M., van de Pol, J., Thierry-Mieg, Y.: Software architecture of modern model-checkers. In: Steffen, B., Woeginger, G. (eds.) Computing and Software Science. LNCS, vol. 10000, pp. 393\u2013419. Springer, Heidelberg (2018)"},{"issue":"3","key":"14_CR22","doi-asserted-by":"publisher","first-page":"157","DOI":"10.1145\/365230.365257","volume":"9","author":"PJ Landin","year":"1966","unstructured":"Landin, P.J.: The next 700 programming languages. Commun. ACM 9(3), 157\u2013166 (1966)","journal-title":"Commun. ACM"},{"key":"14_CR23","series-title":"LNCS","first-page":"478","volume-title":"Computing and Software Science","author":"A Legay","year":"2018","unstructured":"Legay, A., Lukina, A., Traonouez, L.M., Yang, J., Smolka, S., Grosu, R.: Statistical model checking. In: Steffen, B., Woeginger, G. (eds.) Computing and Software Science. LNCS, vol. 10000, pp. 478\u2013504. Springer, Heidelberg (2018)"},{"issue":"6","key":"14_CR24","doi-asserted-by":"publisher","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":"14_CR25","unstructured":"Naur, P., Randell, B. (eds.): Software Engineering: Report of a Conference Sponsored by the NATO Science Committee, Garmisch, Germany, 7\u201311 October 1968. Scientific Affairs Division, NATO, Brussels 39 Belgium (1969)"},{"key":"14_CR26","unstructured":"O\u2019Reilly, T.: What is Web 2.0. Design Patterns and Business Models for the Next Generation of Software, September 2005. \n                      http:\/\/www.oreilly.com\/pub\/a\/web2\/archive\/what-is-web-20.html\n                      \n                    . Accessed 03 Apr 2018"},{"issue":"4","key":"14_CR27","doi-asserted-by":"publisher","first-page":"307","DOI":"10.1007\/s10009-009-0120-7","volume":"11","author":"H Raffelt","year":"2009","unstructured":"Raffelt, H., Merten, M., Steffen, B., Margaria, T.: Dynamic testing via automata learning. Int. J. Softw. Tools Technol. Transf. (STTT) 11(4), 307\u2013324 (2009)","journal-title":"Int. J. Softw. Tools Technol. Transf. (STTT)"},{"key":"14_CR28","unstructured":"Steffen, B.: Generating data flow analysis algorithms from modal specifications. Selected Papers of the Conference on Theoretical Aspects of Computer Software, pp. 115\u2013139. Elsevier Science Publishers B. V., Sendai (1993). \n                      http:\/\/portal.acm.org\/citation.cfm?id=172313"},{"key":"14_CR29","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"72","DOI":"10.1007\/3-540-60218-6_6","volume-title":"CONCUR \u201995: Concurrency Theory","author":"B Steffen","year":"1995","unstructured":"Steffen, B., Cla\u00dfen, A., Klein, M., Knoop, J., Margaria, T.: The fixpoint-analysis machine. In: Lee, I., Smolka, S.A. (eds.) CONCUR 1995. LNCS, vol. 962, pp. 72\u201387. Springer, Heidelberg (1995). \n                      https:\/\/doi.org\/10.1007\/3-540-60218-6_6"},{"key":"14_CR30","series-title":"LNCS","first-page":"311","volume-title":"Computing and Software Science","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. LNCS, vol. 10000, pp. 311\u2013344. Springer, Heidelberg (2018)"},{"issue":"1\u20132","key":"14_CR31","doi-asserted-by":"publisher","first-page":"9","DOI":"10.1007\/s100090050003","volume":"1","author":"B Steffen","year":"1997","unstructured":"Steffen, B., Margaria, T., Braun, V.: The electronic tool integration platform: concepts and design. Int. J. Softw. Tools Technol. Transf. (STTT) 1(1\u20132), 9\u201330 (1997)","journal-title":"Int. J. Softw. Tools Technol. Transf. (STTT)"},{"issue":"1","key":"14_CR32","doi-asserted-by":"publisher","first-page":"6","DOI":"10.1007\/s100090050002","volume":"1","author":"P Wolper","year":"1997","unstructured":"Wolper, P.: The meaning of \u201cformal\u201d: from weak to strong formal methods. Int. J. Softw. Tools Technol. Transf. (STTT) 1(1), 6\u20138 (1997)","journal-title":"Int. J. Softw. Tools Technol. Transf. (STTT)"}],"container-title":["Lecture Notes in Computer Science","Computing and Software Science"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-91908-9_14","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,10,5]],"date-time":"2019-10-05T20:06:44Z","timestamp":1570306004000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-91908-9_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019]]},"ISBN":["9783319919072","9783319919089"],"references-count":32,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-91908-9_14","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2019]]},"assertion":[{"value":"5 October 2019","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}