{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T12:57:32Z","timestamp":1742993852047,"version":"3.40.3"},"publisher-location":"Cham","reference-count":66,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030034177"},{"type":"electronic","value":"9783030034184"}],"license":[{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"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":[[2018]]},"DOI":"10.1007\/978-3-030-03418-4_1","type":"book-chapter","created":{"date-parts":[[2018,10,28]],"date-time":"2018-10-28T05:32:38Z","timestamp":1540704758000},"page":"3-21","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":7,"title":["Towards a Unified View of Modeling and Programming (ISoLA 2018 Track Introduction)"],"prefix":"10.1007","author":[{"given":"Manfred","family":"Broy","sequence":"first","affiliation":[]},{"given":"Klaus","family":"Havelund","sequence":"additional","affiliation":[]},{"given":"Rahul","family":"Kumar","sequence":"additional","affiliation":[]},{"given":"Bernhard","family":"Steffen","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2018,10,29]]},"reference":[{"key":"1_CR1","unstructured":"Documents associated with Object Constraint Language (OCL), Version 2.4. http:\/\/www.omg.org\/spec\/OCL\/2.4"},{"key":"1_CR2","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9781139195881","volume-title":"Modeling in Event-B","author":"JR Abrial","year":"2010","unstructured":"Abrial, J.R.: Modeling in Event-B. Cambridge University Press, Cambridge (2010)"},{"key":"1_CR3","unstructured":"Agda. http:\/\/wiki.portal.chalmers.se\/agda\/pmwiki.php"},{"key":"1_CR4","doi-asserted-by":"crossref","unstructured":"Andersen, L., Chang, S., Felleisen, M.: Super 8 Languages for Making Movies (Functional Pearl). In: Proceedings of the ACM on Programming Languages 1(ICFP) (2017)","DOI":"10.1145\/3110274"},{"key":"1_CR5","unstructured":"Barras, B., et al.: The Coq Proof Assistant Reference Manual: Version 6.1 (1997)"},{"key":"1_CR6","series-title":"Informatik - Fachberichte","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1007\/978-3-642-87956-2_5","volume-title":"Programmiersprachen","author":"F Bauer","year":"1978","unstructured":"Bauer, F., Broy, M., Gnatz, R., Hesse, W., Krieg-Br\u00fcckner, B.: Towards a wide spectrum language to support program specification and program development. In: Alber, K. (ed.) Programmiersprachen. Informatik - Fachberichte, vol. 12, pp. 73\u201385. Springer, Heidelberg (1978)"},{"key":"1_CR7","unstructured":"Berg, A., et al.: PG 582 - Industrial Programming by Example. Technical report, TU Dortmund (2015). http:\/\/hdl.handle.net\/2003\/34106"},{"key":"1_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-08766-4","volume-title":"The Vienna Development Method: The Meta-Language","year":"1978","unstructured":"Bj\u00f8rner, D., Jones, C.B. (eds.): The Vienna Development Method: The Meta-Language. LNCS, vol. 61. Springer, Heidelberg (1978). https:\/\/doi.org\/10.1007\/3-540-08766-4"},{"key":"1_CR9","unstructured":"Bj\u00f8rner, D., Jones, C.B.: Formal Specification and Software Development. Prentice Hall International (1982). ISBN 0-13-880733-7"},{"key":"1_CR10","unstructured":"Bobot, F., Filli\u00e2tre, J.C., March\u00e9, C., Paskevich, A.: Why3: shepherd your herd of provers. In: Boogie 2011: First International Workshop on Intermediate Verification Languages, pp. 53\u201364. Wroc\u0142aw, Poland, August 2011"},{"key":"1_CR11","doi-asserted-by":"crossref","unstructured":"Boerger, E.: Why programming must be supported by modeling and how. In: Margaria, T., Steffen, B. (eds.) ISoLA 2018. LNCS, vol. 11244, pp. 89\u2013110. Springer, Cham (2018)","DOI":"10.1007\/978-3-030-03418-4_6"},{"key":"1_CR12","doi-asserted-by":"crossref","unstructured":"Bosselmann, S., Naujokat, S., Steffen, B.: On the difficulty of drawing the line. In: Margaria, T., Steffen, B. (eds.) ISoLA 2018. LNCS, vol. 11244, pp. 340\u2013356. Springer, Cham (2018)","DOI":"10.1007\/978-3-030-03418-4_20"},{"key":"1_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1007\/978-3-319-73117-9_2","volume-title":"SOFSEM 2018: Theory and Practice of Computer Science","author":"M Broy","year":"2018","unstructured":"Broy, M.: On architecture specification. In: Tjoa, A.M., Bellatreche, L., Biffl, S., van Leeuwen, J., Wiedermann, J. (eds.) SOFSEM 2018. LNCS, vol. 10706, pp. 19\u201339. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-319-73117-9_2"},{"key":"1_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"238","DOI":"10.1007\/978-3-319-47169-3_17","volume-title":"Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications","author":"M Broy","year":"2016","unstructured":"Broy, M., Havelund, K., Kumar, R.: Towards a unified view of modeling and programming. In: Margaria, T., Steffen, B. (eds.) ISoLA 2016. LNCS, vol. 9953, pp. 238\u2013257. Springer, Cham (2016). https:\/\/doi.org\/10.1007\/978-3-319-47169-3_17"},{"key":"1_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1007\/978-3-319-47169-3_1","volume-title":"Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications","author":"M Broy","year":"2016","unstructured":"Broy, M., Havelund, K., Kumar, R.: Towards a Unified View of Modeling and Programming (Track Summary). In: Margaria, T., Steffen, B. (eds.) ISoLA 2016, part 2. LNCS, vol. 9953, pp. 3\u201310. Springer, Cham (2016). https:\/\/doi.org\/10.1007\/978-3-319-47169-3_1"},{"key":"1_CR16","doi-asserted-by":"crossref","unstructured":"Chadli, M., Kim, J.H., Larsen, K.G., Legay, A., Naujokat, S., Steffen, B., Traonouez, L.M.: High-level frameworks for the specification and verification of scheduling problems. Softw. Tools Technol. Transfer (2017)","DOI":"10.1007\/s10009-017-0466-1"},{"key":"1_CR17","doi-asserted-by":"crossref","unstructured":"Cleaveland, R.: Programming is modeling. In: Margaria, T., Steffen, B. (eds.) ISoLA 2018. LNCS, vol. 11244, pp. 150\u2013161. Springer, Cham (2018)","DOI":"10.1007\/978-3-030-03418-4_10"},{"key":"1_CR18","unstructured":"Dmitriev, S.: Language Oriented Programming: The Next Programming Paradigm. JetBrains onBoard Online Magazine 1 (2004). http:\/\/www.onboard.jetbrains.com\/is1\/articles\/04\/10\/lop\/"},{"key":"1_CR19","unstructured":"Eiffel (2015). http:\/\/www.eiffel.com"},{"key":"1_CR20","doi-asserted-by":"crossref","unstructured":"Elaasar, M.: Definition of modeling vs. programming languages. In: Margaria, T., Steffen, B. (eds.) ISoLA 2018. LNCS, vol. 11244, pp. 35\u201351. Springer, Cham (2018)","DOI":"10.1007\/978-3-030-03418-4_3"},{"issue":"3","key":"1_CR21","doi-asserted-by":"publisher","first-page":"62","DOI":"10.1145\/3127323","volume":"61","author":"M Felleisen","year":"2018","unstructured":"Felleisen, M.: A programmable programming language. Commun. ACM 61(3), 62\u201371 (2018)","journal-title":"Commun. ACM"},{"key":"1_CR22","doi-asserted-by":"publisher","DOI":"10.1007\/b138800","volume-title":"Validated Designs For Object-oriented Systems","author":"J Fitzgerald","year":"2005","unstructured":"Fitzgerald, J., Larsen, P.G., Mukherjee, P., Plat, N., Verhoef, M.: Validated Designs For Object-oriented Systems. Springer, Santa Clara (2005). https:\/\/doi.org\/10.1007\/b138800"},{"key":"1_CR23","unstructured":"Fowler, M., Parsons, R.: Domain-Specific Languages. Addison-Wesley\/ACM Press (2011). http:\/\/books.google.de\/books?id=ri1muolw_YwC"},{"key":"1_CR24","series-title":"The BCS Practitioner Series","volume-title":"The RAISE Specification Language","author":"C George","year":"1992","unstructured":"George, C., et al.: The RAISE Specification Language. The BCS Practitioner Series. Prentice-Hall, Hemel Hampstead (1992)"},{"issue":"3","key":"1_CR25","doi-asserted-by":"publisher","first-page":"370","DOI":"10.1016\/j.tcs.2005.06.017","volume":"343","author":"Y Gurevich","year":"2005","unstructured":"Gurevich, Y., Rossman, B., Schulte, W.: Semantic Essence of AsmL. Theor. Comput. Sci. 343(3), 370\u2013412 (2005)","journal-title":"Theor. Comput. Sci."},{"key":"1_CR26","doi-asserted-by":"crossref","unstructured":"Hallerstede, S., Larsen, P.G., Fitzgerald, J.: A Non-unified view of modelling, specification and programming. In: Margaria, T., Steffen, B. (eds.) ISoLA 2018. LNCS, vol. 11244, pp. 52\u201368. Springer, Cham (2018)","DOI":"10.1007\/978-3-030-03418-4_4"},{"key":"1_CR27","doi-asserted-by":"crossref","unstructured":"Hatcliff, J., Larson, B.R., Belt, J., Robby, Zhang, Y.: A unified approach for modeling, developing, and assuring critical systems. In: Margaria, T., Steffen, B. (eds.) ISoLA 2018. LNCS, vol. 11244, pp. 225\u2013245. Springer, Cham (2018)","DOI":"10.1007\/978-3-030-03418-4_14"},{"key":"1_CR28","doi-asserted-by":"crossref","unstructured":"Havelund, K., Joshi, R.: Modeling in Scala. In: Margaria, T., Steffen, B. (eds.) ISoLA 2018. LNCS, vol. 11244, pp. 184\u2013205. Springer, Cham (2018)","DOI":"10.1007\/978-3-030-03418-4_12"},{"issue":"1","key":"1_CR29","doi-asserted-by":"publisher","first-page":"8","DOI":"10.1007\/s10009-002-0080-7","volume":"4","author":"K Havelund","year":"2002","unstructured":"Havelund, K., Visser, W.: Program model checking as a new trend. STTT 4(1), 8\u201320 (2002)","journal-title":"STTT"},{"key":"1_CR30","volume-title":"The SPIN Model Checker","author":"G Holzmann","year":"2004","unstructured":"Holzmann, G.: The SPIN Model Checker. Addison-Wesley, Boston (2004)"},{"key":"1_CR31","doi-asserted-by":"crossref","unstructured":"Huisman, M.: On models and code - a unified approach to support large-scale deductive program verification. In: Margaria, T., Steffen, B. (eds.) ISoLA 2018. LNCS, vol. 11244, pp. 111\u2013118. Springer, Cham (2018)","DOI":"10.1007\/978-3-030-03418-4_7"},{"key":"1_CR32","unstructured":"Idris. https:\/\/www.idris-lang.org"},{"key":"1_CR33","doi-asserted-by":"crossref","unstructured":"Ionescu, C., Jansson, P., Botta, N.: Type theory as a framework for modelling and programming. In: Margaria, T., Steffen, B. (eds.) ISoLA 2018. LNCS, vol. 11244, pp. 119\u2013133. Springer, Cham (2018)","DOI":"10.1007\/978-3-030-03418-4_8"},{"key":"1_CR34","unstructured":"Jackson, D.: Software Abstractions: Logic, Language, and Analysis. The MIT Press (2012)"},{"key":"1_CR35","unstructured":"JetBrains: Meta Programming System. https:\/\/www.jetbrains.com\/mps"},{"key":"1_CR36","unstructured":"Jones, N.D: On modeling and programming. In: Margaria, T., Steffen, B. (eds.) ISoLA 2018. LNCS, vol. 11244, pp. 22\u201334. Springer, Cham (2018)"},{"key":"1_CR37","volume-title":"Haskell 98 Language and Libraries: The Revised Report","author":"SLP Jones","year":"2003","unstructured":"Jones, S.L.P.: Haskell 98 Language and Libraries: The Revised Report. Cambridge University Press, Cambridge (2003)"},{"key":"1_CR38","doi-asserted-by":"crossref","unstructured":"Karsai, G.: From modeling to model-based programming. In: Margaria, T., Steffen, B. (eds.) ISoLA 2018. LNCS, vol. 11244, pp. 295\u2013308. Springer, Cham (2018)","DOI":"10.1007\/978-3-030-03418-4_18"},{"key":"1_CR39","doi-asserted-by":"publisher","DOI":"10.1002\/9780470249260","volume-title":"Domain-Specific Modeling: Enabling Full Code Generation","author":"S Kelly","year":"2008","unstructured":"Kelly, S., Tolvanen, J.P.: Domain-Specific Modeling: Enabling Full Code Generation. Wiley-IEEE Computer Society Press, Hoboken (2008)"},{"key":"1_CR40","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"220","DOI":"10.1007\/BFb0053381","volume-title":"ECOOP\u201997 \u2014 Object-Oriented Programming","author":"G Kiczales","year":"1997","unstructured":"Kiczales, G., et al.: Aspect-oriented programming. In: Ak\u015fit, M., Matsuoka, S. (eds.) ECOOP 1997. LNCS, vol. 1241, pp. 220\u2013242. Springer, Heidelberg (1997). https:\/\/doi.org\/10.1007\/BFb0053381"},{"key":"1_CR41","volume-title":"Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers","author":"L Lamport","year":"2002","unstructured":"Lamport, L.: Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers. Pearson Education Inc., London (2002)"},{"key":"1_CR42","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"348","DOI":"10.1007\/978-3-642-17511-4_20","volume-title":"Logic for Programming, Artificial Intelligence, and Reasoning","author":"KRM Leino","year":"2010","unstructured":"Leino, K.R.M.: Dafny: an automatic program verifier for functional correctness. In: Clarke, E.M., Voronkov, A. (eds.) LPAR 2010. LNCS (LNAI), vol. 6355, pp. 348\u2013370. Springer, Heidelberg (2010). https:\/\/doi.org\/10.1007\/978-3-642-17511-4_20"},{"key":"1_CR43","doi-asserted-by":"crossref","unstructured":"Lethbridge, T.C., Algablan, A.: Using umple to synergistically process features, variants, UML models and classic code. In: Margaria, T., Steffen, B. (eds.) ISoLA 2018. LNCS, vol. 11244, pp. 69\u201388. Springer, Cham (2018)","DOI":"10.1007\/978-3-030-03418-4_5"},{"key":"1_CR44","doi-asserted-by":"crossref","unstructured":"Madsen, O.L., M\u00f8ller-Pedersen, B.: This is not a model. In: Margaria, T., Steffen, B. (eds.) ISoLA 2018. LNCS, vol. 11244, pp. 206\u2013224. Springer, Cham (2018)","DOI":"10.1007\/978-3-030-03418-4_13"},{"key":"1_CR45","doi-asserted-by":"crossref","unstructured":"Margaria, T.: From computational thinking to constructive design with simple models. In: Margaria, T., Steffen, B. (eds.) ISoLA 2018. LNCS, vol. 11244, pp. 261\u2013278. Springer, Cham (2018)","DOI":"10.1007\/978-3-030-03418-4_16"},{"key":"1_CR46","doi-asserted-by":"crossref","unstructured":"Milner, R., Tofte, M., Harper, R. (eds.): The Definition of Standard ML. MIT Press (1997). ISBN 0-262-63181-4","DOI":"10.7551\/mitpress\/2319.001.0001"},{"key":"1_CR47","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. Transfer (2017)","DOI":"10.1007\/s10009-017-0453-6"},{"key":"1_CR48","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"481","DOI":"10.1007\/978-3-662-45234-9_33","volume-title":"Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change","author":"S Naujokat","year":"2014","unstructured":"Naujokat, S., Traonouez, L.-M., Isberner, M., Steffen, B., Legay, A.: Domain-specific code generator modeling: a case study for multi-faceted concurrent systems. In: Margaria, T., Steffen, B. (eds.) ISoLA 2014. LNCS, vol. 8802, pp. 481\u2013498. Springer, Heidelberg (2014). https:\/\/doi.org\/10.1007\/978-3-662-45234-9_33"},{"key":"1_CR49","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45949-9","volume-title":"Isabelle\/HOL: A Proof Assistant for Higher-Order Logic","year":"2002","unstructured":"Nipkow, T., Wenzel, M., Paulson, L.C. (eds.): Isabelle\/HOL: A Proof Assistant for Higher-Order Logic. LNCS, vol. 2283. Springer, Heidelberg (2002). https:\/\/doi.org\/10.1007\/3-540-45949-9"},{"key":"1_CR50","unstructured":"OCaml. http:\/\/caml.inria.fr\/ocaml\/index.en.html"},{"key":"1_CR51","doi-asserted-by":"crossref","unstructured":"O\u2019Connor, L., Chen, Z., Susarla, P., Rizkallah, C., Klein, G., Keller, G.: bringing effortless refinement of data layouts to COGENT. In: Margaria, T., Steffen, B. (eds.) ISoLA 2018. LNCS, vol. 11244, pp. 134\u2013149. Springer, Cham (2018)","DOI":"10.1007\/978-3-030-03418-4_9"},{"key":"1_CR52","unstructured":"OMG: SysML. http:\/\/www.omg.org\/spec\/SysML\/1.3"},{"key":"1_CR53","unstructured":"OMG: UML. http:\/\/www.omg.org\/spec\/UML\/2.5"},{"key":"1_CR54","unstructured":"PVS. http:\/\/pvs.csl.sri.com"},{"key":"1_CR55","unstructured":"Scala. http:\/\/www.scala-lang.org"},{"key":"1_CR56","doi-asserted-by":"crossref","unstructured":"Seli\u0107, B.: Design languages: a necessary new generation of computer languages. In: Margaria, T., Steffen, B. (eds.) ISoLA 2018. LNCS, vol. 11244, pp. 279\u2013294. Springer, Cham (2018)","DOI":"10.1007\/978-3-030-03418-4_17"},{"key":"1_CR57","doi-asserted-by":"crossref","unstructured":"Sestoft, P.: Programming language specification and implementation. In: Margaria, T., Steffen, B. (eds.) ISoLA 2018. LNCS, vol. 11244, pp. 162\u2013183. Springer, Cham (2018)","DOI":"10.1007\/978-3-030-03418-4_11"},{"key":"1_CR58","doi-asserted-by":"crossref","unstructured":"Smyth, S., Schulz-Rosengarten, A., von Hanxleden, R.: Towards interactive compilation models. In: Margaria, T., Steffen, B. (eds.) ISoLA 2018. LNCS, vol. 11244, pp. 246\u2013260. Springer, Cham (2018)","DOI":"10.1007\/978-3-030-03418-4_15"},{"key":"1_CR59","unstructured":"Spivey, J.M.: The Z Notation - a Reference Manual. International Series in Computer Science, 2nd edn. Prentice Hall, Hemel Hempstead (1992)"},{"key":"1_CR60","doi-asserted-by":"crossref","unstructured":"Steffen, B., Gossen, F., Naujokat, S., Margaria, T.: Language-driven engineering: from general-purpose to purpose-specific languages. In: Margaria, T., Steffen, B. (eds.) ISoLA 2018. LNCS, vol. 11244, pp. 546\u2013564. Springer, Cham (2018)","DOI":"10.1007\/978-3-030-03418-4_33"},{"key":"1_CR61","unstructured":"UPPAAL. http:\/\/www.uppaal.org"},{"key":"1_CR62","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"41","DOI":"10.1007\/978-3-319-11245-9_3","volume-title":"Software Language Engineering","author":"M Voelter","year":"2014","unstructured":"Voelter, M., Siegmund, J., Berger, T., Kolb, B.: Towards user-friendly projectional editors. In: Combemale, B., Pearce, D.J., Barais, O., Vinju, J.J. (eds.) SLE 2014. LNCS, vol. 8706, pp. 41\u201361. Springer, Cham (2014). https:\/\/doi.org\/10.1007\/978-3-319-11245-9_3"},{"key":"1_CR63","doi-asserted-by":"crossref","unstructured":"Voelter, M.: Fusing modeling and programming into language-oriented programming. In: Margaria, T., Steffen, B. (eds.) ISoLA 2018. LNCS, vol. 11244, pp. 309\u2013339. Springer, Cham (2018)","DOI":"10.1007\/978-3-030-03418-4_19"},{"issue":"4","key":"1_CR64","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"},{"key":"1_CR65","unstructured":"Weckwerth, J.: Cinco Evaluation: CMMN-Modellierung und -Ausf\u00fchrung in der Praxis. Master\u2019s thesis, TU Dortmund (2016)"},{"key":"1_CR66","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"774","DOI":"10.1007\/978-3-319-47169-3_58","volume-title":"Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications","author":"N Wortmann","year":"2016","unstructured":"Wortmann, N., Michel, M., Naujokat, S.: A fully model-based approach to software development for industrial centrifuges. In: Margaria, T., Steffen, B. (eds.) ISoLA 2016. LNCS, vol. 9953, pp. 774\u2013783. Springer, Cham (2016). https:\/\/doi.org\/10.1007\/978-3-319-47169-3_58"}],"container-title":["Lecture Notes in Computer Science","Leveraging Applications of Formal Methods, Verification and Validation. Modeling"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-03418-4_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,9,4]],"date-time":"2022-09-04T20:11:58Z","timestamp":1662322318000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-03418-4_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018]]},"ISBN":["9783030034177","9783030034184"],"references-count":66,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-03418-4_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2018]]},"assertion":[{"value":"29 October 2018","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"ISoLA","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Symposium on Leveraging Applications of Formal Methods","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Limassol","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Cyprus","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2018","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"5 November 2018","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"9 November 2018","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"8","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"isola2018","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/www.isola-conference.org\/isola2018\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Single-blind","order":1,"name":"type","label":"Type","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"Equinocs","order":2,"name":"conference_management_system","label":"Conference Management System","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"149","order":3,"name":"number_of_submissions_sent_for_review","label":"Number of Submissions Sent for Review","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"126","order":4,"name":"number_of_full_papers_accepted","label":"Number of Full Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"0","order":5,"name":"number_of_short_papers_accepted","label":"Number of Short Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"85% - The value is computed by the equation \"Number of Full Papers Accepted \/ Number of Submissions Sent for Review * 100\" and then rounded to a whole number.","order":6,"name":"acceptance_rate_of_full_papers","label":"Acceptance Rate of Full Papers","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"2","order":7,"name":"average_number_of_reviews_per_paper","label":"Average Number of Reviews per Paper","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"3","order":8,"name":"average_number_of_papers_per_reviewer","label":"Average Number of Papers per Reviewer","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"Yes","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"invitation-based event","order":10,"name":"additional_info_on_review_process","label":"Additional Info on Review Process","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}}]}}