Content, progress and pedagogy of the module

PURPOSE
That the students work on creating advanced computer science models of a problem and use these to develop innovative solutions balanced in relation to the reliability of the solution

Learning objectives

Knowledge

• be able to explain concepts, results and theory in an advanced field of computer science
   
• have knowledge of empirical and formal-based methods for securing and assessing the reliability of a system

Skills

• apply knowledge from a domain in computer science to select and argue for a model specification in an advanced computer science field
   
• be able to model a computer science problem from such a model specification and use that model to understand the problem
   
• argue for an appropriate choice of method (empirical or formal-based) to assess the reliability of the solution developed for the problem

Competences

• identify a problem within a research or application area of computer science
   
• contribute to solving the problem using a model specification based on theories of computer science
   
• analyze and evaluate the contributions to the solution
   
• analyze and evaluate applications of relevant computer science models for solving this problem
   
• assess the reliability of the developed solution based on either an empirical, statistical, or mathematically oriented method

Type of instruction

The project work is supported by digital resources on empirical / qualitative and mathematical methods for assessing the reliability of a solution

Extent and expected workload

It is expected that the student uses 30 hours per ECTS, which for this activity means 450 hours

Exam

Prerequisite for enrollment for the exam

• An approved PBL competency profile is a prerequisite for participation in the project exam

Exams

Additional information

Contact: The Study board for Computer Science at cs-sn@cs.aau.dk or 9940 8854