DAT355 Modelldrevet programvareutvikling og pålitelige programvaresystemer

Upon completion of the course the candidate:

Knowledge

• has deep knowledge of the syntax and semantics of constructs underlying modelling languages for software structure and behaviour.
• has knowledge of model transformation systems.
• can define and evaluate the syntax and semantics of linear and branching time temporal logic for expressing state- and action oriented correctness properties.

Skills

• can analyse tools for definition of models, metamodels, and model transformations
• can define simple static consistency criteria for software models
• can formulate dynamic correctness criteria for software using temporal logic
• can apply tools for verification of models and their executions against constraints and behavioural properties
• can plan and conduct limited experimental evaluation of model transformations, model checking algorithms, and their implementation.

General competence

• can evaluate proper abstraction levels for constructing software models
• can justify and defend the applicability and limitations of modelling and verification methods.
• can discuss and relate recent developments and research trends within model-driven software development and verification.

The course has an examination in two parts: an oral exam and a project report.

The students must conduct a project focusing on either the theoretical aspects of the course or a simplified case study applying one or more of the topics of the course in a simplified software system. The results from the project must be documented in a project report.

The project report counts for 30% of the final grade and the oral exam counts for 70% of the final grade.

Both parts must get a passing grade in order to get a final grade for the course.

In case one of the parts gets a failing grade, that part can be taken as a re-sitting/postponed exam.

Grading scale is A-F where F is fail.

Oral: None.

Report: All support materials.

Master`s level.

Exchange students may combine this course with other available courses within their field of study:

Technology and Environmental Sciences exchange programme - Western Norway University of Applied Sciences