UiB >> International Students >> Courses (undergraduate and postgraduate) >> Program specification

start page

Courses/ Degrees Student Services StudentWeb Student Life Checklists About UiB My Space

To UiB

To My Space

Norwegian

webmail.uib.no

Courses (undergraduate and postgraduate) >> Program specification

INF220 / Program specification

Syllabus

Credits: 10.0

Algebraic specifications of programs and modules.

Objectives

The course will give an introduction to algebraic specifications of software.

Recommended Qualifications

INF121 (Programming paradigms)

Subject Overlap

I220: 10 ECTS

Course offered (semester)

Autumn.

Language of Instruction

Norwegian. English if required.

Compulsory Activities (separate requirements)

Exercises.

Assessment / Examination Format

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.


© 2006 University of Bergen - Add: P.O.Box 7800, N-5020 Bergen, Norway Tel: +47 55 58 00 00, Fax: +47 55 58 96 43 Editor in Chief: Director of Information