• Course number: MA-INF 3303 (semianr) + MA-INF 3306 (lab)
• Credit points: 4 for the seminar + 9¹⁾ for the lab.
• Hours per week: 2 for the seminar + 6 for the lab
• Prerequisites: ALP course or equivalent knowledge of logic programming.

We will use a logic-based software analysis and transformation framework to implement various classical program analyses in a model-based setting. You will learn about

• Program analysis techniques (control flow analysis, data flow analysis, …)
• Model-driven software engineering (models and metamodels, declarative model analysis and transformation)
• Agile software development practices (pair programming, refactoring, agile planning, …)

The course consists of

• a Seminar Phase in which we will get to know each other and lay the conceptual foundations for the practical part
• a Lab Phase in which we will implement various program / model analysis algorithms using a declarative model-driven tool and agile software development techniques.

The course will be conducted in parallel with the project group “ Modellbasierte Softwareanalyse” (MoSA). Where appropriate, you will work together with the participants from the parallel course. Taking advantage of shared knowledge and added man-power, we will be able to tackle more interesting and challenging problems.

Both, seminar and lab, will take place in the b-it building , room 1.32 and 1.31.

For time information see the pages for the Seminar Phase and Lab Phase.

• agile participants spring lists iai uni bonn de (fill spaces with “- - @ . . - .”)