Software Engineering for Smart Data Analytics & Smart Data Analytics for Software Engineering
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
The course consists of
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 “- - @ . . - .
”)Who | Tel | Office | ||
---|---|---|---|---|
gk | Günter Kniesel | gk cs uni-bonn de | (0228) 73-4511 | A107 |
dsp | Daniel Speicher | dsp cs uni-bonn de | (0228) 73-4315 | A109 |
jn | Jan Nonnen | nonnen cs uni-bonn de | (0228) 73-4519 | A123 |