Objectives and Content
The course introduces methods for software specification, with a focus on abstraction in the software process.
The students shall be able to
- define the main concepts in the specification theory,
- prove the most important theorems,
- apply algebraic methods in the specification of APIs (application programming interfaces), and
- validate such specifications.
Required Previous Knowledge
At least 60 ECTS in computer science, preferably including some mathematics
Recommended Previous Knowledge
INF121 Programming paradigms / INF122 Functional programming
Compulsory Assignments and Attendance
Compulsory assignments are valid two semesters, the semester of the approval and the following semester.
Forms of Assessment
Written exam. It is opportunity for grades on exercises, which can be included in the final grade. If less than 20 students are taking the course, it can be oral exam.
No aids allowed.
The grading scale used is A to F. Grade A is the highest passing grade in the grading scale, grade F is a fail.
I220: 10 ECTS
Type of assessment: Oral examination
- Withdrawal deadline