{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,4,14]],"date-time":"2025-04-14T04:27:00Z","timestamp":1744604820999,"version":"3.40.3"},"publisher-location":"Cham","reference-count":38,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783031124280"},{"type":"electronic","value":"9783031124297"}],"license":[{"start":{"date-parts":[[2022,1,1]],"date-time":"2022-01-01T00:00:00Z","timestamp":1640995200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2022,1,1]],"date-time":"2022-01-01T00:00:00Z","timestamp":1640995200000},"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":[[2022]]},"DOI":"10.1007\/978-3-031-12429-7_3","type":"book-chapter","created":{"date-parts":[[2022,9,24]],"date-time":"2022-09-24T03:40:43Z","timestamp":1663990843000},"page":"37-52","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":5,"title":["In Silico Simulations and\u00a0Analysis of\u00a0Human Phonological Working Memory Maintenance and\u00a0Learning Mechanisms with\u00a0Behavior and\u00a0Reasoning Description Language (BRDL)"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-2691-5279","authenticated-orcid":false,"given":"Antonio","family":"Cerone","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Diana","family":"Murzagaliyeva","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Nuray","family":"Nabiyeva","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ben","family":"Tyler","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-0368-0051","authenticated-orcid":false,"given":"Graham","family":"Pluck","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2022,9,25]]},"reference":[{"key":"3_CR1","doi-asserted-by":"crossref","unstructured":"Atkinson, R.C., Shiffrin, R.M.: Human memory: a proposed system and its control processes. In: Spense, K.W. (ed.) The Psychology of Learning and Motivation: Advances in Research and Theory II, pp. 89\u2013195. Academic Press (1968)","DOI":"10.1016\/S0079-7421(08)60422-3"},{"issue":"2","key":"3_CR2","doi-asserted-by":"publisher","first-page":"82","DOI":"10.1038\/scientificamerican0871-82","volume":"225","author":"RC Atkinson","year":"1971","unstructured":"Atkinson, R.C., Shiffrin, R.M.: The control of short-term memory. Sci. Am. 225(2), 82\u201390 (1971)","journal-title":"Sci. Am."},{"issue":"11","key":"3_CR3","doi-asserted-by":"publisher","first-page":"417","DOI":"10.1016\/S1364-6613(00)01538-2","volume":"4","author":"A Baddeley","year":"2000","unstructured":"Baddeley, A.: The episodic buffer: a new component of working memory? Trends Cogn. Sci. 4(11), 417\u2013423 (2000)","journal-title":"Trends Cogn. Sci."},{"key":"3_CR4","doi-asserted-by":"publisher","first-page":"829","DOI":"10.1038\/nrn1201","volume":"4","author":"A Baddeley","year":"2003","unstructured":"Baddeley, A.: Working memory: looking back and looking forward. Nat. Rev. Neurosci. 4, 829\u2013839 (2003)","journal-title":"Nat. Rev. Neurosci."},{"key":"3_CR5","doi-asserted-by":"crossref","unstructured":"Baddeley, A.: Working memory: theories, models, and controversies. Ann. Rev. Psychol. 63(1\u201329) (2012)","DOI":"10.1146\/annurev-psych-120710-100422"},{"issue":"1","key":"3_CR6","doi-asserted-by":"publisher","first-page":"158","DOI":"10.1037\/0033-295X.105.1.158","volume":"105","author":"A Baddeley","year":"1998","unstructured":"Baddeley, A., Gathercole, S., Papagno, C.: The phonological loop as a language learning device. Psychol. Rev. 105(1), 158\u2013173 (1998)","journal-title":"Psychol. Rev."},{"key":"3_CR7","doi-asserted-by":"crossref","unstructured":"Baddeley, A.D., Hitch, G.: Working memory. In: Bower, G.H. (ed.) Psychology of Learning and Motivation: Advances in Research and Theory, pp. 47\u201389. Academic Press (1974)","DOI":"10.1016\/S0079-7421(08)60452-1"},{"key":"3_CR8","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/j.jml.2016.05.001","volume":"92","author":"AD Baddeley","year":"2017","unstructured":"Baddeley, A.D., Hitch, G.J.: Is the levels of processing effect language-limited? J. Mem. Lang. 92, 1\u201313 (2017)","journal-title":"J. Mem. Lang."},{"key":"3_CR9","doi-asserted-by":"crossref","unstructured":"Barrouillet, P., Camos, V.: The time-based resource-sharing model of working memory. In: Logie, R., Camos, V., Cowan, N. (eds.) Working Memory: State of the Science. Oxford University Press (2007)","DOI":"10.1093\/acprof:oso\/9780198570394.003.0004"},{"issue":"3","key":"3_CR10","doi-asserted-by":"publisher","first-page":"551","DOI":"10.1037\/0033-295X.106.3.551","volume":"106","author":"N Burgess","year":"1999","unstructured":"Burgess, N., Hitch, G.J.: Memory for serial order: a network model of the phonological loop and its timing. Psychol. Rev. 106(3), 551\u2013581 (1999)","journal-title":"Psychol. Rev."},{"issue":"1","key":"3_CR11","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1111\/nyas.13616","volume":"1424","author":"V Camos","year":"2018","unstructured":"Camos, V., Johnson, M., Loaiza, V., Portrat, S., Souza, A., Vergauwe, E.: What is attentional refreshing in working memory? Ann. N. Y. Acad. Sci. 1424(1), 19\u201332 (2018)","journal-title":"Ann. N. Y. Acad. Sci."},{"key":"3_CR12","doi-asserted-by":"publisher","first-page":"457","DOI":"10.1016\/j.jml.2009.06.002","volume":"61","author":"V Camos","year":"2009","unstructured":"Camos, V., Lagner, P., Barrouillet, P.: Two maintenance mechanisms of verbal information in working memory. J. Mem. Lang. 61, 457\u2013469 (2009)","journal-title":"J. Mem. Lang."},{"issue":"4","key":"3_CR13","doi-asserted-by":"publisher","first-page":"1129","DOI":"10.1037\/a0026934","volume":"38","author":"G Campoy","year":"2012","unstructured":"Campoy, G.: Evidence for decay in verbal short-term memory: a commentary on Berman, Jonides, and Lewis (2009). J. Exp. Psychol. Learn. Mem. Cogn. 38(4), 1129\u20131136 (2012)","journal-title":"J. Exp. Psychol. Learn. Mem. Cogn."},{"key":"3_CR14","unstructured":"Cattell, R.B.: Intelligence: Its Structure, Growth and Action. Advances in Psychology, vol. 35. Elsevier (1987)"},{"key":"3_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"137","DOI":"10.1007\/978-3-030-57506-9_11","volume-title":"Software Engineering and Formal Methods","author":"A Cerone","year":"2020","unstructured":"Cerone, A.: Behaviour and Reasoning Description Language (BRDL). In: Camara, J., Steffen, M. (eds.) SEFM 2019. LNCS, vol. 12226, pp. 137\u2013153. Springer, Cham (2020). https:\/\/doi.org\/10.1007\/978-3-030-57506-9_11"},{"key":"3_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"159","DOI":"10.1007\/978-3-030-67220-1_13","volume-title":"Software Engineering and Formal Methods. SEFM 2020 Collocated Workshops","author":"A Cerone","year":"2021","unstructured":"Cerone, A., Murzagaliyeva, D.: Information retrieval from semantic memory: BRDL-based knowledge representation and Maude-based computer emulation. In: Cleophas, L., Massink, M. (eds.) SEFM 2020. LNCS, vol. 12524, pp. 159\u2013175. Springer, Cham (2021). https:\/\/doi.org\/10.1007\/978-3-030-67220-1_13"},{"key":"3_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"424","DOI":"10.1007\/978-3-030-54994-7_32","volume-title":"Formal Methods. FM 2019 International Workshops","author":"A Cerone","year":"2020","unstructured":"Cerone, A., \u00d6lveczky, P.C.: Modelling human reasoning in practical behavioural contexts using Real-Time Maude. In: Sekerinski, E., et al. (eds.) FM 2019. LNCS, vol. 12232, pp. 424\u2013442. Springer, Cham (2020). https:\/\/doi.org\/10.1007\/978-3-030-54994-7_32"},{"key":"3_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"104","DOI":"10.1007\/978-3-030-70650-0_7","volume-title":"From Data to Models and Back","author":"A Cerone","year":"2021","unstructured":"Cerone, A., Pluck, G.: A formal model for emulating the generation of human knowledge in semantic memory. In: Bowles, J., Broccia, G., Nanni, M. (eds.) DataMod 2020. LNCS, vol. 12611, pp. 104\u2013122. Springer, Cham (2021). https:\/\/doi.org\/10.1007\/978-3-030-70650-0_7"},{"key":"3_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"163","DOI":"10.1007\/978-3-030-04771-9_13","volume-title":"Software Technologies: Applications and Foundations","author":"A Cerone","year":"2018","unstructured":"Cerone, A., Zhexenbayeva, A.: Using formal methods to validate research hypotheses: the Duolingo case study. In: Mazzara, M., Ober, I., Sala\u00fcn, G. (eds.) STAF 2018. LNCS, vol. 11176, pp. 163\u2013170. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-030-04771-9_13"},{"key":"3_CR20","doi-asserted-by":"publisher","first-page":"240","DOI":"10.1016\/S0022-5371(69)80069-1","volume":"8","author":"AM Collins","year":"1969","unstructured":"Collins, A.M., Quillian, M.R.: Retrieval time from semantic memory. J. Verbal Learn. Verbal Behav. 8, 240\u2013247 (1969)","journal-title":"J. Verbal Learn. Verbal Behav."},{"issue":"3","key":"3_CR21","doi-asserted-by":"publisher","first-page":"277","DOI":"10.1016\/j.intell.2003.12.002","volume":"32","author":"R Colom","year":"2004","unstructured":"Colom, R., Rebollo, I., Palacios, A., Juan-Espinosa, M., Kyllonen, P.C.: Working memory is (almost) perfectly predicted by g. Intelligence 32(3), 277\u2013296 (2004)","journal-title":"Intelligence"},{"issue":"6","key":"3_CR22","doi-asserted-by":"publisher","first-page":"671","DOI":"10.1016\/S0022-5371(72)80001-X","volume":"11","author":"FI Craik","year":"1972","unstructured":"Craik, F.I., Lockhart, R.S.: Levels of processing: a framework for memory research. J. Verbal Learn. Verbal Behav. 11(6), 671\u2013684 (1972)","journal-title":"J. Verbal Learn. Verbal Behav."},{"key":"3_CR23","doi-asserted-by":"publisher","first-page":"623","DOI":"10.1016\/j.jml.2004.07.005","volume":"51","author":"E Jefferies","year":"2004","unstructured":"Jefferies, E., Ralph, M.A.L., Baddeley, A.D.: Automatic and controlled processing in sentence recall: the role of long-term and working memory. J. Mem. Lang. 51, 623\u2013643 (2004)","journal-title":"J. Mem. Lang."},{"key":"3_CR24","unstructured":"Kolers, A.P.: A pattern-analyzing basis of recognition. In: Cermak, L.S., Craik, F.I. (eds.) Levels of Processing in Human Memory, pp. 363\u2013384. Psychology Press (2014)"},{"issue":"4","key":"3_CR25","doi-asserted-by":"publisher","first-page":"674","DOI":"10.1037\/a0039684","volume":"122","author":"S Lewandowsky","year":"2015","unstructured":"Lewandowsky, S., Oberauer, K.: Rehearsal in serial recall: an unworkable solution to the nonexistent problem of decay. Psychol. Rev. 122(4), 674\u2013699 (2015)","journal-title":"Psychol. Rev."},{"key":"3_CR26","doi-asserted-by":"crossref","unstructured":"Loaiza, V.M., Lavilla, E.T.: Elaborative strategies contribute to the long-term benefits of time in working memory. J. Mem. Lang. 117, 104205 (2021)","DOI":"10.1016\/j.jml.2020.104205"},{"key":"3_CR27","doi-asserted-by":"crossref","unstructured":"Loaiza, V.M., McCabe, D.P.: The influence of aging on attentional refreshing and articulatory rehearsal during working memory on later episodic memory performance. Neuropsychol. Dev. Cogn. Sect. B Aging Neuropsychol. Cogn. 20(4), 471\u2013493 (2013)","DOI":"10.1080\/13825585.2012.738289"},{"key":"3_CR28","doi-asserted-by":"publisher","first-page":"225","DOI":"10.1016\/S0079-7421(08)60388-6","volume":"6","author":"WE Montague","year":"1972","unstructured":"Montague, W.E.: Elaborative strategies in verbal learning and memory. Psychol. Learn. Motiv. 6, 225\u2013302 (1972)","journal-title":"Psychol. Learn. Motiv."},{"key":"3_CR29","doi-asserted-by":"publisher","first-page":"369","DOI":"10.1037\/0278-7393.10.3.369","volume":"10","author":"M Naveh-Benjamin","year":"1984","unstructured":"Naveh-Benjamin, M., Jonides, J.: Maintenance rehearsal: a two-component analysis. J. Exp. Psychol. Learn. Mem. Cogn. 10, 369\u2013385 (1984)","journal-title":"J. Exp. Psychol. Learn. Mem. Cogn."},{"key":"3_CR30","doi-asserted-by":"publisher","first-page":"992","DOI":"10.1037\/bul0000108","volume":"143","author":"D Norris","year":"2017","unstructured":"Norris, D.: Short-term memory and long-term memory are still different. Psychol. Bull. 143, 992\u20131009 (2017)","journal-title":"Psychol. Bull."},{"issue":"5","key":"3_CR31","doi-asserted-by":"publisher","first-page":"872","DOI":"10.1037\/xlm0000762","volume":"46","author":"D Norris","year":"2019","unstructured":"Norris, D., Kalm, K., Hall, J.: Chunking and redintegration in verbal short-term memory. J. Exp. Psychol. Learn. Mem. Cogn. 46(5), 872\u2013893 (2019)","journal-title":"J. Exp. Psychol. Learn. Mem. Cogn."},{"key":"3_CR32","doi-asserted-by":"publisher","first-page":"852","DOI":"10.3758\/s13421-015-0512-8","volume":"43","author":"K Oberauer","year":"2015","unstructured":"Oberauer, K., Jones, T., Lewandowsky, S.: The Hebb repetition effect in simple and complex memory span. Mem. Cogn. 43, 852\u2013865 (2015)","journal-title":"Mem. Cogn."},{"issue":"1","key":"3_CR33","doi-asserted-by":"publisher","first-page":"10","DOI":"10.3758\/s13423-010-0020-6","volume":"18","author":"K Oberauer","year":"2011","unstructured":"Oberauer, K., Lewandowsky, S.: Modeling working memory: a computational implementation of the time-based resource-sharing theory. Psychon. Bull. Rev. 18(1), 10\u201345 (2011)","journal-title":"Psychon. Bull. Rev."},{"key":"3_CR34","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"42","DOI":"10.1007\/978-3-319-12904-4_3","volume-title":"Rewriting Logic and Its Applications","author":"PC \u00d6lveczky","year":"2014","unstructured":"\u00d6lveczky, P.C.: Real-time Maude and its applications. In: Escobar, S. (ed.) WRLA 2014. LNCS, vol. 8663, pp. 42\u201379. Springer, Cham (2014). https:\/\/doi.org\/10.1007\/978-3-319-12904-4_3"},{"key":"3_CR35","doi-asserted-by":"publisher","DOI":"10.1016\/j.tine.2019.100121","volume":"17","author":"G Pluck","year":"2019","unstructured":"Pluck, G., Villagomez-Pacheco, D., Karolys, M.I., Montano-Cordova, M.E., Almeida-Meza, P.: Response suppression, strategy application, and working memory in the prediction of academic performance and classroom misbehavior: a neuropsychological approach. Trends Neurosci. Educ. 17, 100121 (2019)","journal-title":"Trends Neurosci. Educ."},{"issue":"5","key":"3_CR36","doi-asserted-by":"publisher","first-page":"796","DOI":"10.3758\/s13421-018-0805-9","volume":"46","author":"LM Bartsch","year":"2018","unstructured":"Bartsch, L.M., Singmann, H., Oberauer, K.: The effects of refreshing and elaboration on working memory performance, and their contributions to long-term memory formation. Mem. Cogn. 46(5), 796\u2013808 (2018). https:\/\/doi.org\/10.3758\/s13421-018-0805-9","journal-title":"Mem. Cogn."},{"key":"3_CR37","doi-asserted-by":"publisher","first-page":"155","DOI":"10.1016\/j.jml.2017.07.002","volume":"96","author":"AS Souza","year":"2017","unstructured":"Souza, A.S., Oberauer, K.: Time to process information in working memory improves episodic memory. J. Mem. Lang. 96, 155\u2013167 (2017)","journal-title":"J. Mem. Lang."},{"key":"3_CR38","doi-asserted-by":"publisher","first-page":"153","DOI":"10.1016\/S0079-7421(08)60549-6","volume":"16","author":"MJ Watkins","year":"1982","unstructured":"Watkins, M.J., Peynircio\u011dlu, Z.F.: A perspective on rehearsal. Psychol. Learn. Motiv. 16, 153\u2013190 (1982)","journal-title":"Psychol. Learn. Motiv."}],"container-title":["Lecture Notes in Computer Science","Software Engineering and Formal Methods. SEFM 2021 Collocated Workshops"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-12429-7_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,9,24]],"date-time":"2022-09-24T03:41:44Z","timestamp":1663990904000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-12429-7_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022]]},"ISBN":["9783031124280","9783031124297"],"references-count":38,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-12429-7_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2022]]},"assertion":[{"value":"25 September 2022","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"SEFM","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Software Engineering and Formal Methods","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2021","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"6 December 2021","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"10 December 2021","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"19","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"sefm2021","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/sefm-conference.github.io\/","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":"86","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":"22","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":"4","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":"26% - 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":"6.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":"Yes","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}}]}}