Experiences on Teaching Alloy with an Automated Assessment Platform
| Autor: | Alcino Cunha, Daniel Castro Silva, José Luís Pereira, Nuno Macedo, Ricardo M. P. da Silva, Renato Carvalho, Ana C. R. Paiva, Miguel Sozinho Ramalho |
|---|---|
| Přispěvatelé: | Universidade do Minho |
| Jazyk: | angličtina |
| Rok vydání: | 2020 |
| Předmět: |
Class (computer programming)
SIMPLE (military communications protocol) business.industry Computer science 4. Education 020207 software engineering Context (language use) 02 engineering and technology Automated assessment Formal methods Article Teaching formal methods 020204 information systems Alloy 0202 electrical engineering electronic engineering information engineering Web application business Software engineering Software Pace Engenharia e Tecnologia::Engenharia Eletrotécnica Eletrónica e Informática |
| Zdroj: | Rigorous State-Based Methods Rigorous State-Based Methods ISBN: 9783030480769 ABZ |
| Popis: | 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. Alloy4Fun has been used in formal methods graduate courses for two years and for the latest edition we present results regarding its adoption by the students, as well as preliminary insights regarding the most common bottlenecks when learning Alloy (and Electrum). We would like to thank Daniel Jackson for the helpful comments and suggestions about the design of Alloy4Fun. This work is financed by National Funds through the Portuguese funding agency, FCT - Fundação para a Ciência e a Tecnologia, within project UIDB/50014/2020. The third and forth authors were financed by the ERDF – European Regional Development Fund through the Operational Programme for Competitiveness and Internationalisation - COMPETE 2020 Programme and by National Funds through the Portuguese funding agency, FCT - Fundação para a Ciência e a Tecnologia, within project POCI-01-0145-FEDER-016826. The second author was also supported by the FCT sabbatical grant with reference SFRH/BSAB/143106/2018. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|