Graph and Model Driven Engineering Winter Term 17/18 L02 Rewrite Rules November 7, 2017 Albert Zündorf Graph and Model Driven Engineering, WS1718
Hausaufgabe 2 November 7, 2017 Albert Zündorf Graph and Model Driven Engineering, WS1718 GMDE_Hausaufgabe2
Hausaufgabe 1 October 24, 2017 Albert Zündorf Graph and Model Driven Engineering, WS1718 GMDE_Hausaufgabe1
Graph and Model Driven Engineering Winter Term 17/18 L01 Graphs October 24, 2017 Albert Zündorf Graph and Model Driven Engineering, WS1718
Graph and Model Driven Engineering Winter Term 15/16 L13 Specific to Generic Models February 3, 2016 Albert Zündorf Graph and Model Driven Engineering, WS1516
Graph and Model Driven Engineering Winter Term 15/16 L12 Generic to Specific Models January 27, 2016 Albert Zündorf Graph and Model Driven Engineering, WS1516
Graph and Model Driven Engineering Winter Term 15/16 L11 Learning Class Models January 22, 2016 Albert Zündorf Graph and Model Driven Engineering, WS1516
Graph and Model Driven Engineering Winter Term 15/16 L10 Model Navigation and Linear Time Logic Queries January 18, 2016 Albert Zündorf Graph and Model Driven Engineering, WS1516
Graph and Model Driven Engineering Winter Term 15/16 L09 Reachability Graph Completed December 17, 2015 Albert Zündorf Graph and Model Driven Engineering, WS1516
Graph and Model Driven Engineering Winter Term 15/16 L08 Reachability Graph Step 1 December 8, 2015 Albert Zündorf Graph and Model Driven Engineering, WS1516