Seminar im Wintersemester 2007 / 2008

Inhalt

Die Arbeitsgruppen im Lehrgebiet “Software Engineering und Programmierung”, d.h.

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

Contact

Dipl. Inform. Markus Reitz