Teacher:
Lessons schedule:
Students Office hours:
D1 – KNOWLEDGE AND UNDERSTANDING
At the end of the course, the student should be able to:
D2 – APPLYING KNOWLEDGE AND UNDERSTANDING
At the end of the course, the student should be able to:
D3 – MAKING JUDGEMENTS
At the end of the course, the student should be able to:
D4 - COMMUNICATION SKILLS
At the end of the course, the student should be able to:
D5 – LEARNING SKILLS
At the end of the course, the student should be able to:
Prerequisites
Content from the FORMAL MODELLING OF SOFTWARE INTENSIVE SYSTEMS course, such as finite state automata; context-free grammars; inference systems; syntax and semantics of CCS. These topics will be anyway briefly illustrated at the beginning of the course.
Course Slides
Tools
Lectures
Reference books
Exam Dates A.Y. 2017/2018
Exam rules:
Learning outcomes are assessed using two different tests:
Exam Results