Im diesem Seminar werden die neuesten Forschungsergebnisse und die laufenden Projekte im Institut für Softwaresysteme präsentiert. Die wöchentlich stattfindenden Vorträge setzen sich zusammen aus:
Der Besuch des Oberseminars ist verpflichtend für alle aktiven Studienarbeiter und Diplomanden. Es gibt auch Interessenten an einer Studien- bzw. Diplomarbeit bei STS die Möglichkeit, Einblick in den laufenden Forschungsbetrieb bei STS zu erhalten.
Bitte meldet Euch bei Ulrike Hantschmann für einen Vortrag an.
| Termine | Vortragende | Betreuer | Themen | Gründe |
|
Sondertermine außerhalb der Vorlesungszeit
|
||||
| 2006-10-17, 16:00 |
Taskan, Sevkan | R. Möller, A.Kaplonova |
Test Frameworks for OWL Reasoners | Abschluss MT |
| Doraiswany, Madanagopal | R. Möller, M. Garcia |
Generation of Diagram Editors | Abschluss MT | |
| Lawalata, Sanga | R. Möller, M. Garcia |
Forward chaining Rules with an OCL Aktivation Condition |
Abschluss MT | |
|
23.10.2006 Beginn der Vorlesungszeit
|
||||
| 2006-10-24 | Tarlapally, Sri Ram Phani | R. Möller | Development Support for Hardware oriented Software Applications using the Eclipse IDE | Abschluss MT |
| Szczegielniak, Cezary | J.W.Schmidt, R.Marrone |
Methodology for Service Development in a Distributed Smart Home Environment | Abschluss MT | |
| 2006-10-31 | Un, Patrick |
J.W.Schmidt, H.-W. Sehring |
Generation of web services interface descriptions based on the ADL syntax descriptions by extending the CoCoMa compiler framework | Abschluss StA |
| v. Cube, Sandra | R. Möller, M. Garcia |
Überprüfung von UML/OCL-Spezifikationen mit Prädikatenlogik- beweisen: eine Fallstudie |
Abschluss StA | |
| 2006-11-07 | Espinosa Peraldi, Sofia | Ontological Engineering and the Semantic Web | Proj. | |
| Melzer, Sylvia |
Reasoning Web | Proj. | ||
| 2006-11-14 | Cord Schäfer | J.W.Schmidt, H.-W.Sehring |
Prototypische Realisierung der Einbindung einer Volltextsuchmaschine in konzeptorientierte Inhaltsverwaltungssysteme | Abschluss StA |
| 2006-11-21 | Hajamohideen, Shafeer | J.W.Schmidt, S. Bossung |
A Module Generator for Web Application Interfaces
to Conceptual Content Management Systems  |
Abschluss MT |
| 2006-11-28 | ||||
| 2006-12-05 | Tobias Naeth | R. Möller S. Espinosa |
Analysis of the average-case behavior of an inference
algorithm for probabilistic description logics |
Mitte DA |
| 2006-12-12 | ||||
| 2006-12-19 |
|
|||
|
Weihnachtsferien
|
||||
| 2007-01-09 | Golibrzuch, Peter | R. Möller, A. Kaya |
A Study of the Rough Set Approach for Image Understanding | Abschluss MT |
| Shan Huang | R. Möller, M. Garcia |
Translation of Model-based behavioral specifications into TLA+ | Beginn DA | |
| 2007-01-16 | Mario Heidmann | O. Bauer, J.W.Schmidt |
Integration von standardisierten Geodatendiensten in
Google Earth mit Hilfe
des GIS-Frameworks Deegree  |
Abschluss StA |
| 2007-01-23 | Che Maabo Blaise | R. Möller, P. Hupe |
Component Development with JavaServer Faces | Abschluss BA |
| 2007-01-30 | Santy Sugianto |
R. Möller, A.Kaplunova |
XML-Schema for Query Answering Interface in DIG 2 |
Abschluss StA |
| 2007-02-06 | Henner Carl | J.W.Schmidt, S. Bossung |
Konzeptuelle Modellierung durch Domänenexperten: Prozess und Unterstützung durch eine Werkbank | Abschluss DA |
| Tobias Naeth | R. Möller, S. Espinosa |
Analysis of the average-case behavior of an inference
algorithm for probabilistic description logics |
Abschluss DA | |
| 2007-03-19 14:00 |
Thorben Ole Heins | R. Möller |
Bedarfsgerechte Subskription und Fusion von Informationskanälen mit Metadatenannotationen |
Abschluss StA |
| 2007-03-27 | Tobias Berger | R. Möller, A. Kaya |
Implementation, Test and Evaluation of Load Balancing Strategies for Multi-User Inference Systems | Abschluss MT |
BA = Bachelor Thesis; StA = Studienarbeit / Student Project;
DA = Diplomarbeit; MT = Master Thesis; Diss = Dissertation;
Proj = Projektbericht; KB = Konferenzbericht; Ext = Gastvortrag
 |