{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T23:54:15Z","timestamp":1743033255066,"version":"3.40.3"},"publisher-location":"Cham","reference-count":20,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030876562"},{"type":"electronic","value":"9783030876579"}],"license":[{"start":{"date-parts":[[2021,1,1]],"date-time":"2021-01-01T00:00:00Z","timestamp":1609459200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2021,1,1]],"date-time":"2021-01-01T00:00:00Z","timestamp":1609459200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2021]]},"DOI":"10.1007\/978-3-030-87657-9_3","type":"book-chapter","created":{"date-parts":[[2021,10,7]],"date-time":"2021-10-07T22:22:37Z","timestamp":1633645357000},"page":"31-45","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Systematic Assessment of Formal Methods Based Models Quality Criteria"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-8291-5620","authenticated-orcid":false,"given":"Lorenzo","family":"Maldini","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-6252-8271","authenticated-orcid":false,"given":"Stephen","family":"Wright","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2021,10,7]]},"reference":[{"key":"3_CR1","unstructured":"Klemola, T., Rilling, J.: Modeling comprehension processes in software development. In: Proceedings First IEEE International Conference on Cognitive Informatics, Calgary, AB, Canada (2002)"},{"key":"3_CR2","volume-title":"Elements of Software Science","author":"MH Halstead","year":"1977","unstructured":"Halstead, M.H.: Elements of Software Science. Elsevier, New York (1977)"},{"key":"3_CR3","volume-title":"Introduction to Axiomatic Geometry","author":"M Barsamian","year":"2017","unstructured":"Barsamian, M.: Introduction to Axiomatic Geometry. Ohio University, Athens (2017)"},{"key":"3_CR4","volume-title":"Mathematical Methods in Linguistics","author":"BH Partee","year":"1990","unstructured":"Partee, B.H., Wall, R.E., Ter Meulen, A.: Mathematical Methods in Linguistics. Kluwer Academic, Dordrecht (1990)"},{"key":"3_CR5","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4020-2778-9","volume-title":"David Hilbert and the Axiomatization of Physics (1898\u20131918): From Grundlagen der Geometrie to Grundlagen der Physik","author":"L Corry","year":"2004","unstructured":"Corry, L.: David Hilbert and the Axiomatization of Physics (1898\u20131918): From Grundlagen der Geometrie to Grundlagen der Physik. Kluwer, Dordrecht (2004)"},{"key":"3_CR6","series-title":"Communications in Computer and Information Science","doi-asserted-by":"publisher","first-page":"154","DOI":"10.1007\/978-3-319-07512-9_12","volume-title":"ABZ 2014: The Landing Gear Case Study","author":"D M\u00e9ry","year":"2014","unstructured":"M\u00e9ry, D., Singh, N.K.: Modeling an aircraft landing system in Event-B. In: Boniol, F., Wiels, V., Ait Ameur, Y., Schewe, K.-D. (eds.) ABZ 2014. CCIS, vol. 433, pp. 154\u2013159. Springer, Cham (2014). https:\/\/doi.org\/10.1007\/978-3-319-07512-9_12"},{"key":"3_CR7","unstructured":"Douce, C., Layzell, P., Buckley, J.: Spatial measures of software complexity. In: Proceedings of the 11th Meeting of Psychology of Programming Interest Group (1999)"},{"key":"3_CR8","unstructured":"Douce, C., Durant, S.: Understanding program complexity: an approach for study. In: Psychology of Programming Interest Group Annual Conference (2011)"},{"key":"3_CR9","first-page":"19","volume":"28","author":"V Ogleznev","year":"2018","unstructured":"Ogleznev, V., Surovtsev, V.: The constitution as an axiomatic system. Axiomathes 28, 19\u2013232 (2018)","journal-title":"Axiomathes"},{"key":"3_CR10","volume-title":"Axiomatic Systems","author":"CW Lee","year":"1997","unstructured":"Lee, C.W.: Axiomatic Systems. University of Kentucky, Kentucky (1997)"},{"key":"3_CR11","volume-title":"Software Engineering","author":"I Sommerville","year":"2016","unstructured":"Sommerville, I.: Software Engineering. Amsterdam Cape Town Pearson Education Limited, Boston (2016)"},{"key":"3_CR12","volume-title":"Structured Testing: A Testing Methodology","author":"AH Watson","year":"1996","unstructured":"Watson, A.H., Mccabe, T.J.: Structured Testing: A Testing Methodology. National Institute of Standards and Technology, Gaithersburg (1996)"},{"key":"3_CR13","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-33170-1","volume-title":"Industrial Deployment of System Engineering Methods","author":"A Romanovsky","year":"2013","unstructured":"Romanovsky, A., Thomas, M.: Industrial Deployment of System Engineering Methods. Springer, Heidelberg (2013). https:\/\/doi.org\/10.1007\/978-3-642-33170-1"},{"key":"3_CR14","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, 92\u2013122 (2006)","journal-title":"ACM Trans. Softw. Eng. Methodol."},{"key":"3_CR15","unstructured":"Wright, S.: Formal construction of instruction set architectures. University of Bristol, Bristol (2009)"},{"key":"3_CR16","unstructured":"Hummel, B.: McCabe's cyclomatic complexity and why we don't use it. CQSE GmbH, Garchingbei M\u00fcnchen (2014)"},{"issue":"2","key":"3_CR17","doi-asserted-by":"publisher","first-page":"343","DOI":"10.1037\/0033-295X.101.2.343","volume":"101","author":"G Miller","year":"1956","unstructured":"Miller, G.: The magical number seven, plus or minus two: some limits on our capacity for processing information. Psychol. Rev. 101(2), 343\u2013352 (1956)","journal-title":"Psychol. Rev."},{"key":"3_CR18","unstructured":"Al-lami, H.M.: The application and analysis of a landing gear. University of the West of England, Bristol, UK (2016)"},{"issue":"2","key":"3_CR19","doi-asserted-by":"publisher","first-page":"353","DOI":"10.1037\/0033-295x.101.2.353","volume":"101","author":"A Baddeley","year":"1994","unstructured":"Baddeley, A.: The magical number seven: still magic after all these years? Psychol. Rev. 101(2), 353\u2013356 (1994). https:\/\/doi.org\/10.1037\/0033-295x.101.2.353","journal-title":"Psychol. Rev."},{"key":"3_CR20","doi-asserted-by":"publisher","first-page":"123","DOI":"10.1109\/TPC.2002.1003695","volume":"45","author":"J-L Doumont","year":"2002","unstructured":"Doumont, J.-L.: Magical numbers: the seven-plus-or-minus-two myth. IEEE Trans. Prof. Commun. 45, 123\u2013127 (2002)","journal-title":"IEEE Trans. Prof. Commun."}],"container-title":["Communications in Computer and Information Science","Advances in Model and Data Engineering in the Digitalization Era"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-87657-9_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,10,7]],"date-time":"2021-10-07T22:25:29Z","timestamp":1633645529000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-030-87657-9_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021]]},"ISBN":["9783030876562","9783030876579"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-87657-9_3","relation":{},"ISSN":["1865-0929","1865-0937"],"issn-type":[{"type":"print","value":"1865-0929"},{"type":"electronic","value":"1865-0937"}],"subject":[],"published":{"date-parts":[[2021]]},"assertion":[{"value":"7 October 2021","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"MEDI","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Model and Data Engineering","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Tallinn","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Estonia","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2021","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"21 June 2021","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"23 June 2021","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"10","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"medi2021","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/cs.ttu.ee\/events\/medi2021\/","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":"47","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":"16","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":"8","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":"3","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":"2","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)"}},{"value":"Due to the Corona pandemic the event was held virtually. MEDI 2021 Workshops: 61 submissions, 24 papers accepted.","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)"}}]}}