SDA SE Wiki

Software Engineering for Smart Data Analytics & Smart Data Analytics for Software Engineering

User Tools

Site Tools


Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revision Previous revision
Next revision
Previous revision
teaching:seminars:vtcs:2017:start [2017/08/03 20:12]
Günter Kniesel
teaching:seminars:vtcs:2017:start [2018/05/09 01:59] (current)
Line 1: Line 1:
 +
 +====== Seminar: "​Verification and Testing of Complex Systems"​ ======
 +//​Dr[[.:​internal:​start|.]] Günter Kniesel, Dr. Michael Gertz//
 +----
 +
 +
 +/*
 +<note important> ​
 +
 +The schedule for the seminar presentations changed. There will only be one day of presentation:​
 +
 +<​html><​font color=darkred></​html>​**Thursday,​ 02.10.2014 starting at 9, room A207**<​html></​font></​html>​
 +</​note> ​
 +*/
 +
 +===== General Information =====
 +
 +  * **Course title**: Seminar Verification and Testing of Complex Systems
 +  * **Course number** in module handbook: **MA 3318** ​
 +  * **Course number** in Basis: [[https://​basis.uni-bonn.de/​qisserver/​rds?​state=verpublish&​status=init&​vmfile=no&​publishid=135458&​modulecall=webinfo&​publishconffile=webinfo&​publishsubdir=veranstaltung|612013318]]
 +  * **Hours per week**: 2
 +  * **Credit points**: 4. 
 +  * **Prerequisites**:​ --  ​
 +
 +The seminar is part of the ICM track of the M.Sc. curriculum. ​
 +It is are aimed at students who want to specialize in software ​
 +engineering.
 +
 +===== Topics =====
 +
 +-> **{{:​teaching:​seminars:​vtcs:​2017:​intro-verification-and-testing-of-complex-systems.pdf|Seminar Overview}}**
 +
 +Interested in further details? Then attend the info meeting. It will present a catalog of topics and clarify organizational issues. You will then be able to choose the seminar topic you want to pursue. ​
 +
 +<​note> ​
 +
 +The info meeting will take place on  ​
 +<​html><​font color=darkred></​html>​**Friday,​ 11.08.2017, 16:00 (st), in room A121**<​html></​font></​html>​
 +(immediately after the presentation of the [[:​teaching:​labs:​mdse:​2017:​start|MDSE lab]])
 +</​note> ​
 +
 +
 +/*
 +===== Place and Time =====
 +
 +
 +All seminar presentations will take place on Monday, 14:00 in room A121 (Römerstr. 164). 
 +
 +on Wednesday from 12:00 to 14:00 (June 24 is the only exception): ​
 +  * **Presentation skeletons**:​ 12 x (5 minute presentation + 5 minute feedback) = 120 minutes
 +    * 11.05.2016: All 12 topics
 +  * **Draft presentations**:​ 4 x (20 minute presentation + 10 minute feedback) = 120 minutes
 +    * 01.06.2016: Topic 1-4 
 +    * 15.06.2016: Topic 5-8 
 +
 +  * **Final presentations**:​ 3 x (35 minutes presentation + 5 minutes discussion) ​
 +  * 29.06.2016: ​
 +      * 12:00: 1. Basics (EMF) -- //​Veronika//​
 +      * 12:40: 2. Defining your own DSL (XTEXT Basics) -- //​Christian//​
 +      * 13:20: 3. Generating Code (XPAND) -- //​Mahdi// ​ <- :!: swaped with 5
 +    * 06.07.2016: ​
 +      * 12:00: 4. Model-to-model transformation (XPAND)-- //Archana//
 +      * 12:40: 5. Customizing your DSL (XTEXT Advanced) -- //Kevin// <- :!: swaped with 3
 +      * 13:20: -- Discussion --
 +    * 13.07.2016: ​
 +      * 12:00: 6. Propositionalization -- //​Mohammad//​
 +      * 12:40: 7. Machine Learning -- //Ali//
 +      * 13:20: 8. Kernels -- //​Alexandr//​
 +<​note>​
 +
 +**All reports** are due on July 15th. Reports must be written in Lyx using {{:​teaching:​seminars:​mdse:​2016:​report_template.zip|this template}}
 +</​note>​
 +
 +*//*
 +===== Mailing List =====
 +
 +  * ''​mdse-lab lists iai uni bonn de''​ <- //fill spaces with// ''​@ . . - .'' ​  <- will be set up after registration of participants ​
 +*/
 +
 +
 +===== Contact =====
 +
 +^ Who                  ^ E-mail ​                     ^ Tel            ^ Office ^
 +|Dr. Günter Kniesel ​   |  gk -at- cs uni-bonn de     | (0228) 73-4511 | A107   |
 +|Dr. Michael Gerz      |  michael.gerz -at- fkie fraunhofer de  |  -- | -- | 
  
teaching/seminars/vtcs/2017/start.txt · Last modified: 2018/05/09 01:59 (external edit)

SEWiki, © 2019