INF220 / Program specification
ContentsAlgebraic specifications of programs and modules.
ObjectivesThe course will give an introduction to algebraic specifications of software.
Recommended QualificationsINF121 (Programming paradigms)
Subject OverlapI220: 10 ECTS
Course offered (semester)Autumn.
Language of InstructionNorwegian. English if required.
Compulsory Activities (separate requirements)Exercises.
Assessment / Examination FormatWritten
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.