Schedule, syllabus and examination date

Choose semester

Course content

The techniques presented have for several years been used in design of real time systems and other parallel programs. We concentrate on systems of interacting actors and model such systems in UML 2.0 (Unified Modeling Language). Sequence Diagrams of UML are the core notation for intuitive and formal description of interaction patterns. Topics of the course include: theoretic foundation for UML, refinement concepts in a UML context, modularity through contract-oriented specification, modular security analysis.

Learning outcome

The course INF5150 aims to teach the students how software can be made unassailable. By unassailable we mean that the software is easy to analyze with respect to reliability and still easy to maintain. The overall goal is to explain how practical software development can benefit from theories about state machines, refinement, formal reasoning and modularity.

Admission

Students who are admitted to study programmes at UiO must each semester register which courses and exams they wish to sign up for in Studentweb.

If you are not already enrolled as a student at UiO, please see our information about admission requirements and procedures.

Prerequisites

Recommended previous knowledge

The student would benefit from experience with modeling and knowledge of formal techniques, but such experience is not considered necessary.

Overlapping courses

9 credits INF-UIT

Teaching

There will be 3 hours lectures per week during the fall semester. There are obligatory exercises to be carried out in groups. The obligatory exercise will consist of modeling, implementing and validating a simple distributed system. The exercise will have several drops with separate deadlines during the semester. Rules for mandatory assignments.

Examination

This course has digital examination. Written exam will be given if the number of candidates is high, otherwise the exam is oral.

Examination support material

All printed and written exam resources are allowed.

Language of examination

The exam will be written in English only when the language of instruction is English.

Grading scale

Grades are awarded on a scale from A to F, where A is the best grade and F is a fail. Read more about the grading system.

Explanations and appeals

Resit an examination

Students who can document a valid reason for absence from the regular examination are offered a postponed examination at the beginning of the next semester.

Re-scheduled examinations are not offered to students who withdraw during, or did not pass the original examination.

Withdrawal from an examination

If you wish to withdraw from the exam you must do so in Studentweb at least two weeks prior to the deadline. Failure to do so will be counted as an examination attempt.

It will also be counted as one of your three attempts to sit the exam for this course, if you sit the exam for one of the following courses: INF-UIT

Other

It is strongly recommended to attend the first lecture since it will be given important information.

Facts about this course

Credits

10

Level

Master

Teaching

Every autumn

Examination

Every autumn

Teaching language

Norwegian (English on request)