Utilize este identificador para referenciar este registo:
https://hdl.handle.net/1822/89204
Título: | Experiences on teaching alloy with an automated assessment platform |
Autor(es): | Macedo, Nuno Cunha, Alcino Pereira, José Carvalho, Renato Silva, Ricardo Paiva, Ana C.R. Sozinho Ramalho, Miguel Silva, Daniel |
Palavras-chave: | Alloy Automated assessment Teaching formal methods |
Data: | 2021 |
Editora: | Elsevier 1 |
Revista: | Science of Computer Programming |
Citação: | Macedo, N., Cunha, A., Pereira, J., Carvalho, R., Silva, R., Paiva, A. C. R., … Silva, D. (2021, November). Experiences on teaching alloy with an automated assessment platform. Science of Computer Programming. Elsevier BV. http://doi.org/10.1016/j.scico.2021.102690 |
Resumo(s): | This paper presents Alloy4Fun, a web application that enables online editing and sharing of Alloy models and instances (including dynamic ones developed with the Electrum extension), to be used mainly in an educational context. By introducing secret paragraphs and commands in the models, Alloy4Fun allows the distribution and automated assessment of simple specification challenges, a mechanism that enables students to learn the language at their own pace. Alloy4Fun stores all versions of shared and analyzed models, as well as derivation trees that depict how they evolved over time: this wealth of information can be mined by researchers or tutors to identify, for example, learning breakdowns in the class or typical mistakes made by Alloy users. A data analysis library is also provided to support this process. Alloy4Fun has been used in formal methods graduate courses for 3 years and for the latest editions we present results regarding its adoption by the students, as well as preliminary insights regarding the most common bottlenecks when learning Alloy (and Electrum). |
Tipo: | Artigo |
URI: | https://hdl.handle.net/1822/89204 |
DOI: | 10.1016/j.scico.2021.102690 |
ISSN: | 0167-6423 |
Versão da editora: | https://www.sciencedirect.com/science/article/pii/S0167642321000836 |
Arbitragem científica: | yes |
Acesso: | Acesso restrito UMinho |
Aparece nas coleções: | HASLab - Artigos em revistas internacionais |
Ficheiros deste registo:
Ficheiro | Descrição | Tamanho | Formato | |
---|---|---|---|---|
SCP21.pdf Acesso restrito! | 1,33 MB | Adobe PDF | Ver/Abrir |