Postgraduate course

Program Specification

  • ECTS credits10
  • Teaching semesterAutumn
  • Course codeINF220
  • Number of semesters1
  • LanguageEnglish
  • Resources

Teaching semester


Objectives and Content

The course introduces methods for software specification, with a focus on abstraction in the software process.

Learning Outcomes

 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.

Grading Scale

The grading scale used is A to F. Grade A is the highest passing grade in the grading scale, grade F is a fail.

Subject Overlap

I220: 10 ECTS


Contact Information

Student adviser:

mailto:studieveileder@ii.uib.no Student adviser

T: 55 58 42 00