Experiences on teaching alloy with an automated assessment platform

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

Desempenho de cordeiros alimentados com inclusão de torta de macaúba na dieta

O objetivo deste trabalho foi avaliar o consumo de nutrientes e o desempenho produtivo e econômico de ovinos confinados da raça Santa Inês, alimentados com dietas com diferentes taxas de inclusão de torta de macaúba. Os animais (24) foram distribuídos em delineamento de blocos ao acaso, nos tratamentos com 0, 100, 200 e 300 g kg-1 de torta de macaúba na matéria seca da dieta, em seis repetições, durante 60 dias de confinamento. A adição de torta de macaúba a taxas crescentes à dieta aumentou linearmente o consumo de proteína bruta, extrato etéreo, fibra em detergente neutro e a conversão alimentar. Não houve diferença no consumo de matéria seca, ganho médio diário e ganho de peso vivo total com a adição da torta. O tratamento com inclusão de 100 g kg-1 apresentou a melhor relação custo:benefício na avaliação das receitas bruta e líquida obtidas com a venda dos animais vivos e abatidos. A adição da torta de macaúba em até 300 g kg-1 da dieta não altera o desempenho produtivo dos animais, entretanto, a inclusão de 100 g kg-1 proporciona melhor retorno econômico