{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,4]],"date-time":"2025-11-04T16:10:08Z","timestamp":1762272608954,"version":"3.40.3"},"publisher-location":"Cham","reference-count":41,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030549930"},{"type":"electronic","value":"9783030549947"}],"license":[{"start":{"date-parts":[[2020,1,1]],"date-time":"2020-01-01T00:00:00Z","timestamp":1577836800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2020,1,1]],"date-time":"2020-01-01T00:00:00Z","timestamp":1577836800000},"content-version":"vor","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":[[2020]]},"DOI":"10.1007\/978-3-030-54994-7_6","type":"book-chapter","created":{"date-parts":[[2020,8,12]],"date-time":"2020-08-12T20:03:45Z","timestamp":1597262625000},"page":"61-76","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["Addressing Usability in a Formal Development Environment"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-6253-4062","authenticated-orcid":false,"given":"Paolo","family":"Arcaini","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0001-9679-4551","authenticated-orcid":false,"given":"Silvia","family":"Bonfanti","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-4035-0131","authenticated-orcid":false,"given":"Angelo","family":"Gargantini","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-1400-1026","authenticated-orcid":false,"given":"Elvinia","family":"Riccobene","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-9209-3624","authenticated-orcid":false,"given":"Patrizia","family":"Scandurra","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2020,8,13]]},"reference":[{"issue":"2","key":"6_CR1","doi-asserted-by":"publisher","first-page":"253","DOI":"10.1016\/0304-3975(91)90224-P","volume":"82","author":"M Abadi","year":"1991","unstructured":"Abadi, M., Lamport, L.: The existence of refinement mappings. Theoret. Comput. Sci. 82(2), 253\u2013284 (1991). \n                    https:\/\/doi.org\/10.1016\/0304-3975(91)90224-P","journal-title":"Theoret. Comput. Sci."},{"issue":"1","key":"6_CR2","first-page":"1","volume":"77","author":"JR Abrial","year":"2007","unstructured":"Abrial, J.R., Hallerstede, S.: Refinement, decomposition, and instantiation of discrete models: application to Event-B. Fundam. Inform. 77(1), 1\u201328 (2007)","journal-title":"Fundam. Inform."},{"key":"6_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"231","DOI":"10.1007\/978-3-319-33600-8_14","volume-title":"Abstract State Machines, Alloy, B, TLA, VDM, and Z","author":"P Arcaini","year":"2016","unstructured":"Arcaini, P., et al.: Unified syntax for abstract state machines. In: Butler, M., Schewe, K.-D., Mashkoor, A., Biro, M. (eds.) ABZ 2016. LNCS, vol. 9675, pp. 231\u2013236. Springer, Cham (2016). \n                    https:\/\/doi.org\/10.1007\/978-3-319-33600-8_14"},{"key":"6_CR4","doi-asserted-by":"publisher","first-page":"148","DOI":"10.1016\/j.scico.2017.07.003","volume":"158","author":"P Arcaini","year":"2018","unstructured":"Arcaini, P., Bonfanti, S., Gargantini, A., Mashkoor, A., Riccobene, E.: Integrating formal methods into medical software development: the ASM approach. Sci. Comput. Program. 158, 148\u2013167 (2018). \n                    https:\/\/doi.org\/10.1016\/j.scico.2017.07.003","journal-title":"Sci. Comput. Program."},{"key":"6_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"163","DOI":"10.1007\/978-3-319-50230-4_12","volume-title":"Software Technologies: Applications and Foundations","author":"P Arcaini","year":"2016","unstructured":"Arcaini, P., Bonfanti, S., Gargantini, A., Riccobene, E.: Visual notation and patterns for abstract state machines. In: Milazzo, P., Varr\u00f3, D., Wimmer, M. (eds.) STAF 2016. LNCS, vol. 9946, pp. 163\u2013178. Springer, Cham (2016). \n                    https:\/\/doi.org\/10.1007\/978-3-319-50230-4_12"},{"key":"6_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1007\/978-3-642-11811-1_6","volume-title":"Abstract State Machines, Alloy, B and Z","author":"P Arcaini","year":"2010","unstructured":"Arcaini, P., Gargantini, A., Riccobene, E.: AsmetaSMV: a way to link high-level ASM models to low-level NuSMV specifications. In: Frappier, M., Gl\u00e4sser, U., Khurshid, S., Laleau, R., Reeves, S. (eds.) ABZ 2010. LNCS, vol. 5977, pp. 61\u201374. Springer, Heidelberg (2010). \n                    https:\/\/doi.org\/10.1007\/978-3-642-11811-1_6"},{"unstructured":"Arcaini, P., Gargantini, A., Riccobene, E.: Automatic review of Abstract State Machines by meta property verification. In: Mu\u00f1oz, C. (ed.) Proceedings of the Second NASA Formal Methods Symposium (NFM 2010), NASA\/CP-2010-216215, pp. 4\u201313. NASA, Langley Research Center, Hampton, April 2010","key":"6_CR7"},{"key":"6_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"253","DOI":"10.1007\/978-3-319-41591-8_17","volume-title":"Software Engineering and Formal Methods","author":"P Arcaini","year":"2016","unstructured":"Arcaini, P., Gargantini, A., Riccobene, E.: SMT-based automatic proof of ASM model refinement. In: De Nicola, R., K\u00fchn, E. (eds.) SEFM 2016. LNCS, vol. 9763, pp. 253\u2013269. Springer, Cham (2016). \n                    https:\/\/doi.org\/10.1007\/978-3-319-41591-8_17"},{"issue":"2","key":"6_CR9","doi-asserted-by":"publisher","first-page":"247","DOI":"10.1007\/s10009-015-0394-x","volume":"19","author":"P Arcaini","year":"2015","unstructured":"Arcaini, P., Gargantini, A., Riccobene, E.: Rigorous development process of a safety-critical system: from ASM models to Java code. Int. J. Softw. Tools Technol. Transfer 19(2), 247\u2013269 (2015). \n                    https:\/\/doi.org\/10.1007\/s10009-015-0394-x","journal-title":"Int. J. Softw. Tools Technol. Transfer"},{"unstructured":"Arcaini, P., Gargantini, A., Riccobene, E.: SMT for state-based formal methods: the ASM case study. In: Shankar, N., Dutertre, B. (eds.) Automated Formal Methods. Kalpa Publications in Computing, vol. 5, pp. 1\u201318. EasyChair (2018)","key":"6_CR10"},{"key":"6_CR11","doi-asserted-by":"publisher","first-page":"155","DOI":"10.1002\/spe.1019","volume":"41","author":"P Arcaini","year":"2011","unstructured":"Arcaini, P., Gargantini, A., Riccobene, E., Scandurra, P.: A model-driven process for engineering a toolset for a formal method. Softw. Pract. Exp. 41, 155\u2013166 (2011). \n                    https:\/\/doi.org\/10.1002\/spe.1019","journal-title":"Softw. Pract. Exp."},{"issue":"4","key":"6_CR12","doi-asserted-by":"publisher","first-page":"567","DOI":"10.1007\/s00165-016-0371-5","volume":"28","author":"P Arcaini","year":"2016","unstructured":"Arcaini, P., Holom, R.-M., Riccobene, E.: ASM-based formal design of an adaptivity component for a Cloud system. Formal Aspects Comput. 28(4), 567\u2013595 (2016). \n                    https:\/\/doi.org\/10.1007\/s00165-016-0371-5","journal-title":"Formal Aspects Comput."},{"doi-asserted-by":"publisher","unstructured":"Arcaini, P., Melioli, R., Riccobene, E.: AsmetaF: A flattener for the ASMETA framework. In: Masci, P., Monahan, R., Prevosto, V. (eds.) Proceedings 4th Workshop on Formal Integrated Development Environment, Oxford, England, 14 July 2018. Electronic Proceedings in Theoretical Computer Science, vol. 284, pp. 26\u201336. Open Publishing Association (2018). \n                    https:\/\/doi.org\/10.4204\/EPTCS.284.3","key":"6_CR13","DOI":"10.4204\/EPTCS.284.3"},{"issue":"4","key":"6_CR14","doi-asserted-by":"publisher","first-page":"251","DOI":"10.1145\/3019598","volume":"11","author":"P Arcaini","year":"2017","unstructured":"Arcaini, P., Riccobene, E., Scandurra, P.: Formal design and verification of self-adaptive systems with decentralized control. ACM Trans. Auton. Adapt. Syst. 11(4), 251\u20132535 (2017). \n                    https:\/\/doi.org\/10.1145\/3019598","journal-title":"ACM Trans. Auton. Adapt. Syst."},{"key":"6_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1007\/978-3-030-31280-0_5","volume-title":"Testing Software and Systems","author":"A Bombarda","year":"2019","unstructured":"Bombarda, A., Bonfanti, S., Gargantini, A., Radavelli, M., Duan, F., Lei, Y.: Combining model refinement and test generation for conformance testing of the IEEE PHD protocol using Abstract State Machines. In: Gaston, C., Kosmatov, N., Le Gall, P. (eds.) ICTSS 2019. LNCS, vol. 11812, pp. 67\u201385. Springer, Cham (2019). \n                    https:\/\/doi.org\/10.1007\/978-3-030-31280-0_5"},{"key":"6_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"295","DOI":"10.1007\/978-3-319-57288-8_21","volume-title":"NASA Formal Methods","author":"S Bonfanti","year":"2017","unstructured":"Bonfanti, S., Carissoni, M., Gargantini, A., Mashkoor, A.: Asm2C++: a tool for code generation from abstract state machines to Arduino. In: Barrett, C., Davies, M., Kahsai, T. (eds.) NFM 2017. LNCS, vol. 10227, pp. 295\u2013301. Springer, Cham (2017). \n                    https:\/\/doi.org\/10.1007\/978-3-319-57288-8_21"},{"issue":"2","key":"6_CR17","doi-asserted-by":"publisher","first-page":"133","DOI":"10.1007\/s10009-016-0431-4","volume":"19","author":"F Boniol","year":"2016","unstructured":"Boniol, F., Wiels, V., A\u00eft-Ameur, Y., Schewe, K.-D.: The landing gear case study: challenges and experiments. Int. J. Softw. Tools Technol. Transfer 19(2), 133\u2013140 (2016). \n                    https:\/\/doi.org\/10.1007\/s10009-016-0431-4","journal-title":"Int. J. Softw. Tools Technol. Transfer"},{"key":"6_CR18","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-56641-1","volume-title":"Modeling Companion for Software Practitioners","author":"E B\u00f6rger","year":"2018","unstructured":"B\u00f6rger, E., Raschke, A.: Modeling Companion for Software Practitioners. Springer, Heidelberg (2018). \n                    https:\/\/doi.org\/10.1007\/978-3-662-56641-1"},{"key":"6_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"105","DOI":"10.1007\/3-540-58555-9_91","volume-title":"FME \u201994: Industrial Benefit of Formal Methods","author":"JP Bowen","year":"1994","unstructured":"Bowen, J.P., Hinchey, M.G.: Seven more myths of formal methods: Dispelling industrial prejudices. In: Naftalin, M., Denvir, T., Bertran, M. (eds.) FME 1994. LNCS, vol. 873, pp. 105\u2013117. Springer, Heidelberg (1994). \n                    https:\/\/doi.org\/10.1007\/3-540-58555-9_91"},{"issue":"2","key":"6_CR20","first-page":"29","volume":"8","author":"J Brooke","year":"2013","unstructured":"Brooke, J.: SUS: a retrospective. J. Usability Stud. 8(2), 29\u201340 (2013)","journal-title":"J. Usability Stud."},{"key":"6_CR21","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4471-5355-9","volume-title":"Refinement in Z and object-Z: Foundations and Advanced Applications","author":"J Derrick","year":"2001","unstructured":"Derrick, J., Boiten, E.: Refinement in Z and object-Z: Foundations and Advanced Applications. Springer, London (2001). \n                    https:\/\/doi.org\/10.1007\/978-1-4471-5355-9"},{"key":"6_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"37","DOI":"10.1007\/3540547428_42","volume-title":"ESEC \u201991","author":"J Dick","year":"1991","unstructured":"Dick, J., Loubersac, J.: Integrating structured and formal methods: a visual approach to VDM. In: van Lamsweerde, A., Fugetta, A. (eds.) ESEC 1991. LNCS, vol. 550, pp. 37\u201359. Springer, Heidelberg (1991). \n                    https:\/\/doi.org\/10.1007\/3540547428_42"},{"unstructured":"Dulac, N., Viguier, T., Leveson, N., Storey, M.A.: On the use of visualization in formal requirements specification. In: 2012 IEEE Joint International Conference on Requirements Engineering. Proceedings, pp. 71\u201380. IEEE (2002)","key":"6_CR23"},{"issue":"2","key":"6_CR24","doi-asserted-by":"publisher","first-page":"167","DOI":"10.1002\/spe.1029","volume":"41","author":"R Farahbod","year":"2011","unstructured":"Farahbod, R., Gl\u00e4sser, U.: The CoreASM modeling framework. Softw. Pract. Exp. 41(2), 167\u2013178 (2011). \n                    https:\/\/doi.org\/10.1002\/spe.1029","journal-title":"Softw. Pract. Exp."},{"key":"6_CR25","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"263","DOI":"10.1007\/3-540-36498-6_15","volume-title":"Abstract State Machines 2003","author":"A Gargantini","year":"2003","unstructured":"Gargantini, A., Riccobene, E., Rinzivillo, S.: Using spin to generate tests from ASM specifications. In: B\u00f6rger, E., Gargantini, A., Riccobene, E. (eds.) ASM 2003. LNCS, vol. 2589, pp. 263\u2013277. Springer, Heidelberg (2003). \n                    https:\/\/doi.org\/10.1007\/3-540-36498-6_15"},{"issue":"12","key":"6_CR26","doi-asserted-by":"publisher","first-page":"1949","DOI":"10.3217\/jucs-014-12-1949","volume":"14","author":"A Gargantini","year":"2008","unstructured":"Gargantini, A., Riccobene, E., Scandurra, P.: A metamodel-based language and a simulation engine for abstract state machines. J. UCS 14(12), 1949\u20131983 (2008). \n                    https:\/\/doi.org\/10.3217\/jucs-014-12-1949","journal-title":"J. UCS"},{"issue":"5","key":"6_CR27","doi-asserted-by":"publisher","first-page":"11","DOI":"10.1109\/52.57887","volume":"7","author":"A Hall","year":"1990","unstructured":"Hall, A.: Seven myths of formal methods. IEEE Softw. 7(5), 11\u201319 (1990). \n                    https:\/\/doi.org\/10.1109\/52.57887","journal-title":"IEEE Softw."},{"issue":"3","key":"6_CR28","doi-asserted-by":"publisher","first-page":"231","DOI":"10.1145\/234426.234431","volume":"5","author":"CL Heitmeyer","year":"1996","unstructured":"Heitmeyer, C.L., Jeffords, R.D., Labaw, B.G.: Automated consistency checking of requirements specifications. ACM Trans. Softw. Eng. Methodol. 5(3), 231\u2013261 (1996). \n                    https:\/\/doi.org\/10.1145\/234426.234431","journal-title":"ACM Trans. Softw. Eng. Methodol."},{"doi-asserted-by":"publisher","unstructured":"Kim, S.K., Carrington, D.: Visualization of formal specifications. In: Proceedings of the Sixth Asia Pacific Software Engineering Conference, APSEC 1999, p. 102. IEEE Computer Society, Washington (1999). \n                    https:\/\/doi.org\/10.1109\/APSEC.1999.809590","key":"6_CR29","DOI":"10.1109\/APSEC.1999.809590"},{"issue":"3","key":"6_CR30","doi-asserted-by":"publisher","first-page":"143","DOI":"10.1002\/stvr.218","volume":"11","author":"T Kim","year":"2001","unstructured":"Kim, T., Cha, S.: Automated structural analysis of SCR-style software requirements specifications using PVS. Softw. Test. Verif. Reliab. 11(3), 143\u2013163 (2001). \n                    https:\/\/doi.org\/10.1002\/stvr.218","journal-title":"Softw. Test. Verif. Reliab."},{"issue":"12","key":"6_CR31","doi-asserted-by":"publisher","first-page":"2068","DOI":"10.1016\/j.jss.2009.06.057","volume":"82","author":"FA Kraemer","year":"2009","unstructured":"Kraemer, F.A., Sl\u00e5tten, V., Herrmann, P.: Tool support for the rapid composition, analysis and implementation of reactive services. J. Syst. Softw. 82(12), 2068\u20132080 (2009). \n                    https:\/\/doi.org\/10.1016\/j.jss.2009.06.057","journal-title":"J. Syst. Softw."},{"key":"6_CR32","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"202","DOI":"10.1007\/978-3-642-04570-7_17","volume-title":"Formal Methods for Industrial Critical Systems","author":"L Ladenberger","year":"2009","unstructured":"Ladenberger, L., Bendisposto, J., Leuschel, M.: Visualising event-B models with B-motion studio. In: Alpuente, M., Cook, B., Joubert, C. (eds.) FMICS 2009. LNCS, vol. 5825, pp. 202\u2013204. Springer, Heidelberg (2009). \n                    https:\/\/doi.org\/10.1007\/978-3-642-04570-7_17"},{"doi-asserted-by":"publisher","unstructured":"Leuschel, M., Bendisposto, J., Dobrikov, I., Krings, S., Plagge, D.: From Animation to Data Validation: The ProB Constraint Solver 10 Years On, pp. 427\u2013446. Wiley (2014). \n                    https:\/\/doi.org\/10.1002\/9781119002727.ch14","key":"6_CR33","DOI":"10.1002\/9781119002727.ch14"},{"unstructured":"Leuschel, M., Samia, M., Bendisposto, J.: Easy graphical animation and formula visualisation for teaching B. In: The B Method: From Research to Teaching (2008)","key":"6_CR34"},{"key":"6_CR35","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"190","DOI":"10.1007\/BFb0053506","volume-title":"Services and Visualization Towards User-Friendly Design","author":"T Margaria","year":"1998","unstructured":"Margaria, T., Braun, V.: Formal methods and customized visualization: a fruitful symbiosis. In: Margaria, T., Steffen, B., R\u00fcckert, R., Posegga, J. (eds.) Services and Visualization Towards User-Friendly Design. LNCS, vol. 1385, pp. 190\u2013207. Springer, Heidelberg (1998). \n                    https:\/\/doi.org\/10.1007\/BFb0053506"},{"key":"6_CR36","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"523","DOI":"10.1007\/3-540-36103-0_53","volume-title":"Formal Methods and Software Engineering","author":"H Miao","year":"2002","unstructured":"Miao, H., Liu, L., Li, L.: Formalizing UML models with object-Z. In: George, C., Miao, H. (eds.) ICFEM 2002. LNCS, vol. 2495, pp. 523\u2013534. Springer, Heidelberg (2002). \n                    https:\/\/doi.org\/10.1007\/3-540-36103-0_53"},{"key":"6_CR37","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"155","DOI":"10.1007\/3-540-57826-9_132","volume-title":"Higher Order Logic Theorem Proving and Its Applications","author":"DL Parnas","year":"1994","unstructured":"Parnas, D.L.: Some theorems we should prove. In: Joyce, J.J., Seger, C.-J.H. (eds.) HUG 1993. LNCS, vol. 780, pp. 155\u2013162. Springer, Heidelberg (1994). \n                    https:\/\/doi.org\/10.1007\/3-540-57826-9_132"},{"unstructured":"Prochnow, S., Schaefer, G., Bell, K., von Hanxleden, R.: Analyzing robustness of UML state machines. In: Workshop on Modeling and Analysis of Real-Time and Embedded Systems (MARTES 2006) (2006)","key":"6_CR38"},{"issue":"1","key":"6_CR39","doi-asserted-by":"publisher","first-page":"92","DOI":"10.1145\/1125808.1125811","volume":"15","author":"C Snook","year":"2006","unstructured":"Snook, C., Butler, M.: UML-B: formal modeling and design aided by UML. ACM Trans. Softw. Eng. Methodol. 15(1), 92\u2013122 (2006). \n                    https:\/\/doi.org\/10.1145\/1125808.1125811","journal-title":"ACM Trans. Softw. Eng. Methodol."},{"unstructured":"Speicher, M.: What is usability? A characterization based on ISO 9241\u201311 and ISO\/IEC 25010. CoRR abs\/1502.06792 (2015)","key":"6_CR40"},{"unstructured":"Spichkova, M.: Human factors of formal methods. CoRR abs\/1404.7247 (2014)","key":"6_CR41"}],"container-title":["Lecture Notes in Computer Science","Formal Methods. FM 2019 International Workshops"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-54994-7_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,8,14]],"date-time":"2020-08-14T12:47:37Z","timestamp":1597409257000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-54994-7_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020]]},"ISBN":["9783030549930","9783030549947"],"references-count":41,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-54994-7_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2020]]},"assertion":[{"value":"13 August 2020","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"FM","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Symposium on Formal Methods","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Porto","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Portugal","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2019","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"7 October 2019","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"11 October 2019","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"3","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"fm2019","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/formalmethods2019.inesctec.pt\/?page_id=84","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":"EasyChair","order":2,"name":"conference_management_system","label":"Conference Management System","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"129","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":"44","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":"7","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":"34% - 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":"4","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":"5,5","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":"No","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}}]}}