Bookmark and Share

Advanced Analysis Techniques


Technical University of Denmark


General course objectives:
The students will learn one or more advanced techniques for modeling and analysis of programs - thereby complementing their previous knowledge of modeling and analysis techniques, and giving them the background needed for judging which approach is adequate in a given setting.

Learning objectives:
A student who has met the objectives of the course will be able to:
  • explain the basic concepts;
  • find small examples upon which to determine the precise workings of the methods covered;
  • make minor adaptions to selected parts of the methods covered;
  • discuss the methods covered and clearly indicate similarities and dissimilarities;
  • relate the methods covered including to evaluate their strengths and weaknesses;
  • evaluate a scientific paper as submitted to a conference;
  • communicate his/her results in a clear and precise manner, using a standard format for technical reports;
  • plan and perform a public presentation addressing a given target audience.

Contents:
The course gives an overview of central techniques or newer results within formal modeling and analysis techniques for IT systems. The course demands active participation that depending on the form of the course may be writing of a project report or independent presentation of research literature. Variations of this plan are possible if better suited to the choice of topics.

Back
Course organizer
Alberto
Place/Venue
Anker Engelunds Vej 1
City
2800 Kgs. Lyngby
Country
Denmark
Workload
5
Link
http://kurser.dtu.dk/course/02913