{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T18:46:09Z","timestamp":1742928369159,"version":"3.40.3"},"publisher-location":"Cham","reference-count":20,"publisher":"Springer Nature Switzerland","isbn-type":[{"type":"print","value":"9783031713781"},{"type":"electronic","value":"9783031713798"}],"license":[{"start":{"date-parts":[[2024,1,1]],"date-time":"2024-01-01T00:00:00Z","timestamp":1704067200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2024,1,1]],"date-time":"2024-01-01T00:00:00Z","timestamp":1704067200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2024]]},"DOI":"10.1007\/978-3-031-71379-8_5","type":"book-chapter","created":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T14:02:25Z","timestamp":1725458545000},"page":"75-90","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["An Educational Module for\u00a0Temporal Features in\u00a0Alloy 6"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0009-0009-7357-7058","authenticated-orcid":false,"given":"Luca","family":"Padalino","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0009-0005-8007-963X","authenticated-orcid":false,"given":"Francesca Pia","family":"Panaccione","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0009-0001-9677-7142","authenticated-orcid":false,"given":"Francesco","family":"Santambrogio","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-3422-5171","authenticated-orcid":false,"given":"Elisabetta","family":"Di Nitto","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-9193-9560","authenticated-orcid":false,"given":"Matteo","family":"Rossi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2024,9,5]]},"reference":[{"issue":"128","key":"5_CR1","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1002\/tl.465","volume":"2011","author":"DE Allen","year":"2011","unstructured":"Allen, D.E., Donham, R.S., Bernhardt, S.A.: Problem-based learning. New Dir. Teach. Learn. 2011(128), 21\u201329 (2011)","journal-title":"New Dir. Teach. Learn."},{"issue":"9","key":"5_CR2","doi-asserted-by":"publisher","first-page":"630","DOI":"10.1002\/j.0022-0337.1998.62.9.tb03223.x","volume":"62","author":"H Barrows","year":"1998","unstructured":"Barrows, H.: The essentials of problem-based learning. J. Dent. Educ. 62(9), 630\u2013633 (1998)","journal-title":"J. Dent. Educ."},{"key":"5_CR3","doi-asserted-by":"crossref","unstructured":"Biere, A., Cimatti, A., Clarke, E., Zhu, Y.: Symbolic Model Checking without BDDs. In: Tools and Algorithms for the Construction and Analysis of Systems, vol.\u00a01579 of LNCS. 1999, pp.\u00a0193\u2013207 (1999)","DOI":"10.1007\/3-540-49059-0_14"},{"key":"5_CR4","doi-asserted-by":"crossref","unstructured":"Cavada, R., et al.: The nuXmv symbolic model checker. In: Proceedings of CAV (2014), vol.\u00a08559 of LNCS, pp.\u00a0334\u2013342 (2014)","DOI":"10.1007\/978-3-319-08867-9_22"},{"key":"5_CR5","unstructured":"Department of Education and Training, State of Victoria. High impact teaching strategies: excellence in teaching and learning. ISBN: 978-0-7594-0820-3 (2020)"},{"issue":"1","key":"5_CR6","doi-asserted-by":"publisher","first-page":"51","DOI":"10.1080\/02602930903197883","volume":"36","author":"P Ferguson","year":"2011","unstructured":"Ferguson, P.: Student perceptions of quality feedback in teacher education. Assess. Eval. High. Educ. 36(1), 51\u201362 (2011)","journal-title":"Assess. Eval. High. Educ."},{"key":"5_CR7","doi-asserted-by":"crossref","unstructured":"Ghilay, Y., Ghilay, R., et al.: Tbal: technology-based active learning in higher education. J. Educ. Learn. 4 (9 2015)","DOI":"10.5539\/jel.v4n4p10"},{"key":"5_CR8","doi-asserted-by":"crossref","unstructured":"Howell, R.A.: Engaging students in education for sustainable development: the benefits of active learning, reflective practices and flipped classroom pedagogies. J. Cleaner Product.325 (11 2021)","DOI":"10.1016\/j.jclepro.2021.129318"},{"key":"5_CR9","unstructured":"Jackson, D.: Software Abstractions: logic, language, and analysis. MIT press (2012)"},{"key":"5_CR10","doi-asserted-by":"publisher","first-page":"486","DOI":"10.1016\/j.sbspro.2011.12.091","volume":"31","author":"M Laal","year":"2012","unstructured":"Laal, M., Ghodsi, S.M.: Benefits of collaborative learning. Procedia. Soc. Behav. Sci. 31, 486\u2013490 (2012)","journal-title":"Procedia. Soc. Behav. Sci."},{"key":"5_CR11","first-page":"105","volume":"6","author":"YW Li","year":"2016","unstructured":"Li, Y.W.: Transforming conventional teaching classroom to learner-centred teaching classroom using multimedia-mediated learning module. Int. J. Inform. Educ. Technol. 6, 105\u2013112 (2016)","journal-title":"Int. J. Inform. Educ. Technol."},{"key":"5_CR12","doi-asserted-by":"crossref","unstructured":"Liu, M., et al.: Creating a multimedia enhanced problem-based learning environment for middle school science: Voices from the developers. Interdiscip. J. Problem-Based Learn. 8 (3 2014)","DOI":"10.7771\/1541-5015.1422"},{"key":"5_CR13","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2021.102690","volume":"211","author":"N Macedo","year":"2021","unstructured":"Macedo, N., et al.: Experiences on teaching alloy with an automated assessment platform. Sci. Comput. Program. 211, 102690 (2021)","journal-title":"Sci. Comput. Program."},{"key":"5_CR14","unstructured":"Mar\u00eda-Del-Mar\u00a0Gallardo, L.\u00a0P.: Modelling and specifying software systems with alloy * (tutorial)"},{"key":"5_CR15","unstructured":"Moreira, R.M., Paiva, A.C.: A novel approach using alloy in domain-specific language engineering. In: 2015 3rd International Conference on Model-Driven Engineering and Software Development (MODELSWARD) (2015), IEEE, pp.\u00a0157\u2013164 (2015)"},{"key":"5_CR16","doi-asserted-by":"crossref","unstructured":"Pnueli, A.: The temporal logic of programs. In: 18th Annual Symposium on Foundations of Computer Science (sfcs 1977) (1977). IEEE, pp.\u00a046\u201357 (1977)","DOI":"10.1109\/SFCS.1977.32"},{"key":"5_CR17","doi-asserted-by":"crossref","unstructured":"Renkl, A.: The Worked-Out Examples principle in Multimedia Learning. 01, 229\u2013245 (2005)","DOI":"10.1017\/CBO9780511816819.016"},{"key":"5_CR18","doi-asserted-by":"crossref","unstructured":"Seidel, T., Rimmele, R., Prenzel, M.: Clarity and coherence of lesson goals as a scaffold for student learning. Learning and Instruction - LEARN INSTR 15 (12 2005), 539\u2013556 (2005)","DOI":"10.1016\/j.learninstruc.2005.08.004"},{"key":"5_CR19","doi-asserted-by":"crossref","unstructured":"Smith, A.R., Cavanaugh, C., Moore, W.A.: Instructional multimedia: an investigation of student and instructor attitudes and student study behavior. BMC Med. Educ. 11 (2011)","DOI":"10.1186\/1472-6920-11-38"},{"key":"5_CR20","unstructured":"van Merrienboer, J.: Training complex cognitive skills: a four-component instructional design model for technical training. Educational Technology Publications (1997)"}],"container-title":["Lecture Notes in Computer Science","Formal Methods Teaching"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-71379-8_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T14:02:48Z","timestamp":1725458568000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-71379-8_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024]]},"ISBN":["9783031713781","9783031713798"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-71379-8_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2024]]},"assertion":[{"value":"5 September 2024","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"FMTea","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Formal Methods Teaching Workshop","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Milan","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Italy","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2024","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"10 September 2024","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"10 September 2024","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"6","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"tfm2024","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/www.fm24.polimi.it\/?page_id=423","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}