Experiences on teaching alloy with an automated assessment platform

Abstract

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).

Experiencias de madres al cuidado del niño con cáncer: una mirada desde la enfermería transcultural

“…31 En relación con lo anterior, las madres le asignaron valor al cuidado permanente, expresando: "estar ahí", todo el tiempo, situación coincidente con estudios que señalan que la madre es la cuidadora principal, con la sobrecarga que ello significa. 6,32 Durante el proceso de la enfermedad del niño, las madres van desarrollando habilidades de cuidado en la higiene, medidas de aislamiento, alimentación, medicación y conocimientos de la enfermedad. 33,34 Estos cuidados populares, expresados por Leininger en su teoría, 35 son relevantes para comprender el proceso de salud-enfermedad de las personas en su contexto, para la entrega de cuidados culturales.…”

A study on the construction of an online interactive teaching platform for English in colleges and universities based on the fusion of multi-source and multi-objective statistical information

“…The literature [14] investigated the experience of teaching alloy materials using an automated assessment platform that improves students' learning efficiency and independent learning ability and provides teachers with more comprehensive and accurate assessment results to help them better understand students' learning and mastery. The literature [15] proposes a model of a university English teaching aid platform based on mobile virtual communities, which takes advantage of mobile virtual communities to provide students with a convenient platform for learning, communication and sharing.…”

Design of Multimedia Intelligent Teaching Platform for Preschool Curriculum Based on Edge Computing

“…Therefore, an adaptive guidance mechanism is designed to meet the needs of parents of young children for personalized counseling. In order to achieve the purpose of adaptive guidance, children need to do pretest when logging in the platform for the first time and test their cognitive ability by showing them the knowledge points of each difficulty level [29,30]. Suppose the test result is expressed as ðU 1 , U 2 , ⋯, U j , ⋯, U n Þ, where U j is the feed-back value of the j test question, and the value is 1 or 0.…”