Research seminar @ BIG

Speaker Title Slides
07.03.2014, 09:00 Uhr - 12:00 Uhr Seminarraum 183/2
Irum Rauf An Integrated Approach to Design, Analyze and Validate REST Web Services and their Compositions N/A
10.03.2014, 10:15 Uhr - 12:00 Uhr Besprechungsraum 1. Stock
Philip Langer GIT Tutorial N/A
28.03.2014, 10:15 Uhr - 12:00 Uhr Besprechungsraum 1. Stock
Sebastian Gabmeyer Symbolic Model Checking of OCL Safety Properties N/A
28.04.2014, 10:15 Uhr - 12:00 Uhr Besprechungsraum 1. Stock
Martin Fleck Goal Modeling Language N/A
09.05.2014, 09:00 Uhr - 11:00 Uhr Besprechungsraum 1. Stock
Božić Bojan A Multi-Domain Framework for Community Building Based on Data Tagging N/A
12.05.2014, 13:00 Uhr - 15:00 Uhr Seminarraum 183/2
Philip Langer Semantic Model Differencing Utilizing Behavioral Semantics Specifications N/A
19.05.2014, 10:15 Uhr Besprechungsraum 1. Stock
ARTIST Team Software Migration to the Cloud - the ARTIST Challenge N/A
26.05.2014, 10:15 Uhr - 12:00 Uhr Besprechungsraum 1. Stock
Robert Bill Towards Software Model Checking in the Context of Model-Driven Engineering (epilog Probevortrag) N/A
02.06.2014, 10:15 Uhr - 12:00 Uhr Besprechungsraum 1. Stock
Martin Wieber Pattern-based Testing of (Programmed) Graph Transformations – Coverage and Adequacy N/A
02.06.2014, 15:00 Uhr - 17:00 Uhr Seminarraum 187/2
Robert Bill Towards Software Model Checking in the Context of Model-Driven Engineering (epilog Probevortrag) N/A
18.06.2014, 09:00 Uhr - 11:00 Uhr Besprechungsraum 1. Stock
Worarat Krathu EDImine – Inter-organizational Process Mining N/A
23.06.2014, 10:15 Uhr Besprechungsraum 1. Stock
Javier Troya Patch Transformations N/A
25.06.2014, 13:00 Uhr - 15:00 Uhr Seminarraum Gödel
Manuel Wimmer Bits & Bytes of ME N/A
16.07.2014, 10:15 Uhr - 12:00 Uhr Besprechungsraum 1. Stock
Tilmann Zäschke Agile Software Development of Information Systems in Support of Object Databases N/A
21.07.2014, 10:15 Uhr - 12:00 Uhr Besprechungsraum 1. Stock
Jan Dominik Rieke Model Consistency Management for Mechatronic Systems N/A
21.07.2014, 15:15 Uhr - 17:00 Uhr Besprechungsraum 1. Stock
Sebastian Gabmeyer Quality Assurance in MBE Back and Forth (TAP Tutorial) N/A

Available Semesters: 2017W, 2017S, 2016W, 2016S, 2015W, 2015S, 2014W