Program Specification
Course offered :
- Current semester
- Next semester
Current programmes of study
Course offered by
| Number of credits | 10 |
| Course offered (semester) | Autumn. |
| Subject overlap | I220: 10 ECTS |
| Schedule | Schedule |
| Reading list | Reading list |
Language of Instruction
English
Pre-requirements
At least 60 ECTS in computer science, preferably including some mathematics
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.
Contact Information
studieveileder@ii.uib.no
Course offered (semester)
Autumn.
Language of Instruction
English
Aim 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.
Pre-requirements
At least 60 ECTS in computer science, preferably including some mathematics
Recommended previous knowledge
INF121 (Programming paradigms)
Subject Overlap
I220: 10 ECTS
Compulsory Requirements
Exercises.
Compulsory assignments are valid two semesters, the semester of the approval and the following semester.
Assessment methods
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.
Contact Information
studieveileder@ii.uib.no