This course teaches the basic principles of Model-Driven Engineering - MDE. Students should learn:
Reactive Systems: Modelling, Specification and Verification (2007), by Luca Aceto et al.
Modeling and Analysis of Communicating Systems (2014), by Jan Friso Groote and Mohammad Reza Mousavi
Homework consists of exercises presented in the slides, partially done during the lessons, that should be submitted as a PDF file per week until the end of the following week. Marks reflect mainly the effort, i.e., bad resolutions are better than no resolutions.
Individual Exercises are to be developed individually, and submitted as a single PDF report, covering mainly logic deduction. Feedback will be given online on request, and marked at the end of the unit.
Assignments (3 in total) are to be developed by teams of 3-4 students. Each team has a dedicated
git repository that will contain the software artefacts and a report for each assignment. Feedback will be provided within 2 weeks after each submission deadline, and marked only at the end of the unit.
Homework consists of a PDF report that must be submitted until Sunday @ 23:59 of the following week of being shown during lessons. For example, all exercises presented in the slides used in the week 8 Nov - 12 Nov must be submitted until Sunday 21 Nov. Exercises and Assignments have specific deadlines, mentioned on their instructions. The deadlines are summarised below, and may still suffer changes.
drp arroba isep ponto ipp ponto pt
pro arroba isep ponto ipp ponto pt
emt arroba isep ponto ipp ponto pt
We will use a team in Microsoft Teams where all questions regarding this course unit should be placed, and where we can schedule virtual meetings if needed.