Nuno Macedo 0001

Latest

• Alloy Goes Fuzzy
• Adding Records to Alloy
• Task Model Design and Analysis with Alloy
• Verifying Temporal Relational Models with Pardinus
• Experiences on Teaching Alloy with an Automated Assessment Platform
• Proposition of an Action Layer for Electrum