Seminar im Wintersemester 2007 / 2008
Inhalt
Die Arbeitsgruppen im Lehrgebiet “Software Engineering und Programmierung”, d.h.
- AG Software Engineering: Processes and Management
- AG Softwaretechnik
- AG Software Engineering: Dependability
bieten im Wintersemester ein gemeinsames Seminar an, welches inhaltlich die durch die verschiedenen AGs repräsentierten Themengebiete widerspiegelt.
Um die Planung und Koordination des Seminars zu erleichtern, werden Sie gebeten, bei prinzipiellem Teilnahmeinteresse eine kurze E-Mail an den angegebenen Ansprechpartner zu senden. Diese E-Mail ist unverbindlich, d.h. es entsteht weder eine Verpflichtung zur noch eine Garantie für die Teilnahme.
Weitere Informationen zu dieser Veranstaltung sind im zugehörigen KIS-Eintrag verfügbar.
Termine
- Die Vorbesprechung inklusive Themenvergabe findet am 23.10.07 um 17 Uhr in Raum 32-439 statt. Bitte beachten: Die Anwesenheit in der Vorbesprechung ist Voraussetzung für die Zuteilung eines Seminarthemas, d.h. ohne Anwesenheit in der Vorbesprechung ist die Teilnahme am Seminar nicht möglich.
Deadlines
until 06.11.07 Results of literature research
until 20.11.07 Annotated table of contents
until 07.01.08 First version of term paper
until 13.01.08 Review of two other term papers
until 22.01.08 Revised version of term paper
Preliminary slides have to be send by email three days before the presentation
Final version of slides has to be send the day before presentation
Deadline Extension: The submission deadline for the final version of the term paper has been extended to 22.01.08.
General Remarks
Please do not send contributions directly to the tutor. Use the seminar email address for annotated table of contents, term paper, reviews, and presentations slides. When sending documents to your tutor or to the seminar email address, these documents should be PDF files.
Term paper
- Approximately ten pages (excluding title page, table of contents, references, figures)
- LNCS Style
Term paper review
- Each student reviews two term papers
- A review contains
- Summary
- Comments to the author
- Positive and negative aspects
- At least 400 words
- LNCS Style
Presentation
- 30 min. presentation
- 10 min. Q & A
- 5 min. comments on presentation style
- At least one question by reviewers of the corresponding term paper
- One of the reviewers acts as moderator
How to fail a seminar …
- Plagiarism
- Non-observance of deadlines
- Non-observance of compulsory attendance
- Poorly written term paper (e.g. failed scope)
- Bad presentation
- …
Topics
Due to the large number of participating students, the seminar has been split into two groups. Each group will announce specific dates for the presentations.
Please contact your tutor as soon as possible to get the necessary information for your literature research (pay attention to the first deadline).
Group 1
Topic | Student | Tutor | |
---|---|---|---|
Formally certified and certifying compiler back-ends | Sebastian Prehn | Jan Olaf Blech | |
Parallel programming in Haskell | Peter Wortmann | Jean-Marie Gaillourdet | |
Type-level programming in Haskell | Ansgar Lamersdorf | Jean-Marie Gaillourdet | |
Software Transactional Memory | Michel Weimerskirch | Markus Reitz | |
Trends in Web Application Development | Feng Yue | Markus Reitz | |
Fractal Component Model | Artun Subasi | Markus Reitz | |
Regular Expression Types for XML | Tobias Zimmermann | Patrick Michel | |
Reengineering of user interfaces | Abhijit Jadhav | Kai Breiner |
Group 2
Topic | Student | Tutor | |
---|---|---|---|
WSGUI | Felice Baldi | Marcus Trapp | |
Physicality (I) | Martin Bom | Marcus Trapp | |
Physicality (II) | Christian Kaiser | Marcus Trapp | |
Physicality (III) | Michael Lörscher | Marcus Trapp | |
Business Process Modeling for Software Product Lines (I) | Girish | Ralf Carbon | |
Business Process Modeling for Software Product Lines (II) | Shruthi Hangal | Ralf Carbon | |
Service Engineering in Software Product Lines | Jens Göddel | Ralf Carbon | |
Reference Architecture for Service-Oriented Software Product Lines | Liliana Guzman | Ralf Carbon | |
Service-Oriented Peer-to-Peer Architectures | Carolina Gomez | Ralf Carbon | |
Distributed Workflow Execution | Mansoor | Ralf Carbon | |
Gossip - From Humans to Machines | Martin Winkler | Robert Kalcklösch | |
Gossip-based systems | Peter Köhler | Robert Kalcklösch | |
Dealing with model uncertainty | Daniel Schneider | Gerrit Hanselmann |
Presentation Dates
Topic | Presentation Date | Time | Room | |
---|---|---|---|---|
Trends in Web Application Development | 28.01.08 | 09:00 - 09:45 | 34-420 | |
Reengineering of user interfaces | 28.01.08 | 09:45 - 10:30 | 34-420 | |
Regular Expression Types for XML | 28.01.08 | 10:30 - 11:15 | 34-420 | |
Formally certified and certifying compiler back-ends | 28.01.08 | 11:15 - 12:00 | 34-420 | |
Software Transactional Memory | 01.02.08 | 10:30 - 11:15 | 34-420 | |
Parallel programming in Haskell | 01.02.08 | 11:15 - 12:00 | 34-420 | |
Type-level programming in Haskell | 01.02.08 | 13:00 - 13:45 | 34-420 | |
Fractal Component Model | 01.02.08 | 13:45 - 14:30 | 34-420 | |
WSGUI | 28.01.08 | 14:00 - 14:45 | 32-410 | |
Physicality (I) | 28.01.08 | 14:45 - 15:30 | 32-410 | |
Physicality (II) | 28.01.08 | 15:30 - 16:15 | 32-410 | |
Physicality (III) | 28.01.08 | 16:15 - 17:00 | 32-410 | |
Service Engineering in Software Product Lines | 28.01.08 | 17:00 - 17:45 | 32-410 | |
Business Process Modeling for Software Product Lines (I) | 04.02.08 | 13:00 - 13:45 | 32-410 | |
Business Process Modeling for Software Product Lines (II) | 04.02.08 | 13:45 - 14:30 | 32-410 | |
Reference Architecture for Service-Oriented Software Product Lines | 04.02.08 | 14:30 - 15:15 | 32-410 | |
Service-Oriented Peer-to-Peer Architectures | 04.02.08 | 15:15 - 16:00 | 32-410 | |
Distributed Workflow Execution | 05.02.08 | 09:00 - 09:45 | 32-410 | |
Gossip - From Humans to Machines | 05.02.08 | 09:45 - 10:30 | 32-410 | |
Gossip-based systems | 05.02.08 | 10:30 - 11:15 | 32-410 | |
Dealing with model uncertainty | 05.02.08 | 11:15 - 12:00 | 32-410 |