C
lose
H
elp
P
rint
Course module: NWI-IMC035
NWI-IMC035
Software Analysis
Course info
Schedule
Course module
NWI-IMC035
Credits (ECTS)
6
Category
MA (Master)
Language of instruction
English
Offered by
Radboud University;
Faculty of Science;
Informatica en Informatiekunde;
Lecturer(s)
Coordinator
prof. dr. M.C.J.D. van Eekelen
Other course modules lecturer
Lecturer
prof. dr. M.C.J.D. van Eekelen
Other course modules lecturer
Contactperson for the course
prof. dr. M.C.J.D. van Eekelen
Other course modules lecturer
Academic year
2017
Period
KW3-KW4
(05/02/2018 to 02/09/2018)
Starting block
KW3
Course mode
full-time
Remarks
-
Registration using OSIRIS
Yes
Course open to students from other faculties
Yes
Pre-registration
No
Waiting list
No
Placement procedure
-
Aims
Experience with analysing software systems
Focus on Resource Consumption Analysis where resources can be time, memory or energy
Content
Analysis of Software Systems using tools and theory
Literature
A series of lectures with exercises followed by a small case study.
Teaching formats
• 32 hours lecture
• 32 hours problem session
• 104 hours individual study period
Extra information teaching methods: A series of lectures with exercises followed by a small case study.
Additional comments
Exam results will be based on the results of the exercises and the case study.
Topics
This year's main topics will be resource analysis of software systems (size analysis, memory consumption analysis, energy analysis) and formal verification (software, hardware models).
Test information
Exam results will be based on the results of the exercises and the case study.
Prerequisites
Bachelor
Required materials
Handouts
A series of lectures with exercises followed by a small case study.
Instructional modes
Course
Attendance Mandatory
Yes
Lecture
Attendance Mandatory
Yes
Tutorial
Attendance Mandatory
Yes
Zelfstudie
General
A series of lectures with exercises followed by a small case study.
Tests
Tentamen
Test weight
100
Opportunities
Block KW4, Block KW4
C
lose
H
elp
P
rint
