- Kolloq - lists.ibr.cs.tu-bs.de

Vortrag am 14.07.2011, 15:00 Uhr
by Informatik-Kolloquium 11 Jul '11

11 Jul '11

Die Dozenten der Informatik-Institute der Technischen Universität Braunschweig laden im Rahmen des Informatik-Kolloquiums zu folgendem Vortrag ein: Dr. Martin Große-Rhode: Systemtechnik für die Entwicklung von Fahrzeugsoftware Beginn: 14.07.2011, 15:00 Uhr Ort: TU Braunschweig, Informatikzentrum, Mühlenpfordtstraße 23, 2.OG, Seminarraum 251 Webseite: http://www.ibr.cs.tu-bs.de/cal/kolloq/2011-07-14-grosse-rhode.html Kontakt: Prof. Dr.-Ing. Lars Wolf Softwaresysteme für den Einsatz in Fahrzeugen sind komplex, das heißt bei ihrer Entwicklung müssen wir Entscheidungen treffen, deren Auswirkungen wir nicht vollständig abschätzen können. Eine generelle Herangehensweise zum Umgang mit Komplexität bietet die Systemtechnik. Für deren Anwendung im Bereich der Fahrzeuginformatik muss sie mit - im weiteren Sinne modellbasierten – Methoden ausgestattet werden, die die Schritte des Problemlösungszyklus unterfüttern. Das heißt, wir benötigen integrierte Modellentwicklungsumgebungen, die nicht nur die Konstruktion von Modellen ermöglichen, sondern auch deren Vergleich, Bewertung, Analyse und Verwendung für andere Operationen. Im Vortrag möchte ich diese systemtechnische Herangehensweise und eine zugehörige prototypische Modellentwicklungsumgebung für Fahrzeugsoftware vorstellen. Dabei werde ich insbesondere auf den Umgang mit der Variantenvielfalt der Softwaresysteme eingehen. Diese ist und bleibt im Automobilbereich außerordentlich hoch - ein Fahrzeug ist heutzutage eine "Individualanfertigung vom Band" - ermangelt in der Praxis aber immer noch einer angemessenen methodischen und werkzeugtechnischen Unterstützung.

1 0

Vortrag am 12.07.2011, 17:00 Uhr
by Informatik-Kolloquium 11 Jul '11

11 Jul '11

Die Dozenten der Informatik-Institute der Technischen Universität Braunschweig laden im Rahmen des Informatik-Kolloquiums zu folgendem Vortrag ein: Dr. Ina Schäfer: Delta-orientierte Entwicklung und Analyse von variantenreichen Softwaresystemen Beginn: 12.07.2011, 17:00 Uhr Ort: TU Braunschweig, Informatikzentrum, Mühlenpfordtstraße 23, 2.OG, Seminarraum 251 Webseite: http://www.ibr.cs.tu-bs.de/cal/kolloq/2011-07-12-schaefer.html Kontakt: Prof. Dr.-Ing. Lars Wolf Moderne software-intensive Anwendungen im Automobilbereich existieren in vielen verschiedenen Varianten. Dies erfordert Modellierungs-, Implementierungs-, und Analysetechniken, welche die Variabilität des Systems in allen Entwicklungsphasen angemessen behandeln können. In meinem Vortrag präsentiere ich die delta-orientierte Modellierung von variantenreichen Systemen. Eine delta-orientierte Produktlinie wird durch ein Kernprodukt und eine Menge von Produktdeltas repräsentiert, die das Kernprodukt modifizieren, um weitere Produktvarianten zu realisieren. Die delta-orientierte Modellierung kann in einen durchgängenen modellbasierten Entwicklungsprozess für variantenreiche Systeme integriert werden, den ich anhand des Architekturentwurfs und der anschließenden Komponentenimplementierung illustriere. Unter Verwendung der Programmiersprache DeltaJava demonstriere ich die generative Erzeugung von Programmvarianten und deren syntaktischeKonsistenzprüfung durch ein constraint-basiertes Typsystem. Für die effiziente Analyse von funktionalen Systemeigenschaften stelle ich inkrementelle und kompositionale Verifikationstechniken vor.

1 0

Vortrag am 12.07.2011, 15:00 Uhr
by Informatik-Kolloquium 11 Jul '11

11 Jul '11

Die Dozenten der Informatik-Institute der Technischen Universität Braunschweig laden im Rahmen des Informatik-Kolloquiums zu folgendem Vortrag ein: Prof. Dr. Gabriele Taentzer: Modellgetriebene Softwareentwicklung: Ein schneller Weg zu guter Software? Beginn: 12.07.2011, 15:00 Uhr Ort: TU Braunschweig, Informatikzentrum, Mühlenpfordtstraße 23, 2.OG, Seminarraum 251 Webseite: http://www.ibr.cs.tu-bs.de/cal/kolloq/2011-07-12-taentzer.html Kontakt: Prof. Dr.-Ing. Lars Wolf Eine der großen Herausforderungen der heutigen Softwareentwicklung ist die Beherrschung der Komplexität von Softwaresystemen. Die Verwendung eines modellgetriebenen Ansatzes ist vielversprechend, da Modelle ein gutes Mittel zur Abstraktion sind und eine bessere Beherrschung der Komplexität unterstützen. Auf der Basis von domänenspezifischen Modellierungssprachen werden Applikationen auf einer hohen Abstraktionsebene entworfen und plattformspezifische Softwaresysteme generiert. Das Prinzip der modellgetriebenen Softwareentwicklung lässt sich zum Beispiel gewinnbringend auf die Erstellung von Webapplikationenund eingebetteten Systemen anwenden. Den konzeptionellen Unterbau zur Definition von domänenspezifischen Modellierungssprachen und zur Bearbeitung von Modellen bilden Metamodelle und Modelltransformationen. Basierend auf der Theorie der algebraischen Graphtransformationen können Modelle und Modelltransformationen formal definiert und verifiziert werden. Die Eclipse-Technologie bietet sich zur Entwicklung unterstützender Werkzeuge an. Die modellgetriebene Softwareentwicklung kann als Schlüsselgebiet der Softwaretechnik betrachtet werden, um in Zukunft auch große Softwaresysteme mit der gewünschten Qualität schneller und mit vermindertem Ressourcenverbrauch zu entwickeln. Zwei aktuelle Herausforderungen sind die Definition und Sicherung von Modellqualität, um eine hohe Qualität des generierten Codes zu gewährleisten, sowie die modellgetriebene Entwicklung in verteilten Teams.

1 0

Vortrag am 12.07.2011, 09:00 Uhr
by Informatik-Kolloquium 11 Jul '11

11 Jul '11

Die Dozenten der Informatik-Institute der Technischen Universität Braunschweig laden im Rahmen des Informatik-Kolloquiums zu folgendem Vortrag ein: Dr. Jochen M. Küster: Erkennen und Auflösen von Änderungen in Geschäftsprozessmodellen durch Modelltransformationen Beginn: 12.07.2011, 09:00 Uhr Ort: TU Braunschweig, Informatikzentrum, Mühlenpfordtstraße 23, 2.OG, Seminarraum 251 Webseite: http://www.ibr.cs.tu-bs.de/cal/kolloq/2011-07-12-kuester.html Kontakt: Prof. Dr.-Ing. Lars Wolf Modellbasierte Softwareentwicklung macht Modelle zu zentralen Artefakten im Softwarelebenszyklus. So werden beispielsweise bei der Erstellung von serviceorientierten Systemen Geschäftsprozessmodelle iterativ durch mehrere Personen verfeinert, bis sie direkt ausführbar sind. Modellbasierte Softwareentwicklung stellt neue Herausforderungen an die zu erstellenden Modelle und eingesetzten Modellierungswerkzeuge, wie beispielsweise das Änderungsmanagement von Modellen und die Entwicklung von Modelltransformationen. Wir beschreiben einen Ansatz zum Erkennen und Auflösen von Änderungen in Geschäftsprozessmodellen. Außerdem berichten wir über die Umsetzung in Modellierungswerkzeugen von IBM und die Erfahrungen in der systematischen Entwicklung von Modelltransformationen.

1 0

Erinnerung: Vortrag am 08.07.2011, 13:15 Uhr
by Informatik-Kolloquium 07 Jul '11

07 Jul '11

Die Dozenten der Informatik-Institute der Technischen Universität Braunschweig laden im Rahmen des Informatik-Kolloquiums zu folgendem Vortrag ein: Elmar Eisemann, Associate Professor, Telecom ParisTech, Paris: Temporal Coherence and Adapted Computations for High-quality Real-Time Rendering Beginn: 08.07.2011, 13:15 Uhr Ort: TU Braunschweig, Informatikzentrum, Mühlenpfordtstraße 23, 1. OG, Hörsaal M 161 Webseite: http://www.ibr.cs.tu-bs.de/cal/kolloq/2011-07-08-eisemann.html Kontakt: Prof. Dr.-Ing. Marcus A. Magnor Nowadays, there is a strong trend towards rendering to higher-resolution displays and at high frame rates. This development aims at delivering more detail and better accuracy, but it also comes at a significant cost. Although graphics cards continue to evolve with an ever-increasing amount of computational power, the processing gain is counteracted to a high degree by increasingly complex and sophisticated pixel computations. For real-time applications, the direct consequence is that image resolution and temporal resolution are often the first candidates to bow to the performance constraints (e.g., although full HD is possible, PS3 and XBox often render at lower resolutions). In order to achieve high-quality rendering at a lower cost, one can exploit temporal coherence (TC). The underlying observation is that a higher resolution and frame rate do not necessarily imply a much higher workload, but a larger amount of redundancy and a higher potential for amortizing rendering over several frames. In this session, we will investigate methods that make use of this principle and provide practical and theoretical advice on how to exploit temporal coherence for performance optimization. These methods not only allow us to incorporate more computationally intensive shading effects into many existing applications, but also offer exciting opportunities for extending high-end graphics applications to lower-spec consumer-level hardware.

1 0

Vortrag am 08.07.2011, 13:15 Uhr
by Informatik-Kolloquium 04 Jul '11

04 Jul '11

Die Dozenten der Informatik-Institute der Technischen Universität Braunschweig laden im Rahmen des Informatik-Kolloquiums zu folgendem Vortrag ein: Elmar Eisemann, Associate Professor, Telecom ParisTech, Paris: Temporal Coherence and Adapted Computations for High-quality Real-Time Rendering Beginn: 08.07.2011, 13:15 Uhr Ort: TU Braunschweig, Informatikzentrum, Mühlenpfordtstraße 23, 1. OG, Hörsaal M 161 Webseite: http://www.ibr.cs.tu-bs.de/cal/kolloq/2011-07-08-eisemann.html Kontakt: Prof. Dr.-Ing. Marcus A. Magnor Nowadays, there is a strong trend towards rendering to higher-resolution displays and at high frame rates. This development aims at delivering more detail and better accuracy, but it also comes at a significant cost. Although graphics cards continue to evolve with an ever-increasing amount of computational power, the processing gain is counteracted to a high degree by increasingly complex and sophisticated pixel computations. For real-time applications, the direct consequence is that image resolution and temporal resolution are often the first candidates to bow to the performance constraints (e.g., although full HD is possible, PS3 and XBox often render at lower resolutions). In order to achieve high-quality rendering at a lower cost, one can exploit temporal coherence (TC). The underlying observation is that a higher resolution and frame rate do not necessarily imply a much higher workload, but a larger amount of redundancy and a higher potential for amortizing rendering over several frames. In this session, we will investigate methods that make use of this principle and provide practical and theoretical advice on how to exploit temporal coherence for performance optimization. These methods not only allow us to incorporate more computationally intensive shading effects into many existing applications, but also offer exciting opportunities for extending high-end graphics applications to lower-spec consumer-level hardware.

1 0

Erinnerung: Vortrag am 29.06.2011, 18:00 Uhr
by Informatik-Kolloquium 28 Jun '11

28 Jun '11

Die Dozenten der Informatik-Institute der Technischen Universität Braunschweig machen auf folgenden Vortrag der GI Regionalgruppe Braunschweig aufmerksam: GI-Vortrag: Sven Krohlas, Gründungsmitglied des Amarok Promotionteams Rokymotion, Karlsruhe: Freie Software auf dem Desktop: Das letzte Puzzlestück Beginn: 29.06.2011, 18:00 Uhr Ort: Haus der Wissenschaft, Raum Veolia, Pockelsstraße 11 Webseite: http://www.lineas.de/gi-bs/ Kontakt: Anja Schaar-Goldapp, Sprecherin der GI Regionalgruppe BS Freie Software finden wir inzwischen auf fast jedem Desktop. Als Webbrowser nutzen wir Firefox, zum Mail versenden Thunderbird, für die Bearbeitung von Officedokumenten LibreOffice und zum Videos ansehen den VLC Media Player. Aber zur Musikwiedergabe und -verwaltung greifen die meisten Nutzer noch immer auf proprietäre Lösungen wie iTunes, Winamp oder den Windows Media Player zurück. Was ist freie Software überhaupt? Warum brauchen wir eine erfolgreiche, freie Software zur Musikwiedergabe? Wieso behauptet der Referent, dass Amarok genau diese Lücke füllen kann? Und was steht diesem Erfolg (noch?) im Weg? Sven Krohlas wird diese Fragen beantworten und die Stärken ebenso wie die Herausforderungen von Amarok, einem führenden Music Player unter Linux, präsentieren.

1 0

Vortrag am 20.07.2011, 17:00 Uhr
by Informatik-Kolloquium 20 Jun '11

20 Jun '11

Die Dozenten der Informatik-Institute der Technischen Universität Braunschweig laden im Rahmen des Informatik-Kolloquiums zu folgendem Vortrag ein: Prof. Lawrence Moss, Indiana University: Natural Logic Beginn: 20.07.2011, 17:00 Uhr Ort: TU Braunschweig, Informatikzentrum, Mühlenpfordtstraße 23, 3. OG, Raum 358 Webseite: http://www.ibr.cs.tu-bs.de/cal/kolloq/2011-07-20-moss.html Kontakt: Prof. Dr. Jirí Adámek A central motivation for modern logic is that it provides a tool to represent natural language meaning and inference. One of the motivations of first-order logic is precisely that one can translate significant aspects of language into it, and in addition one can use it in connection with the foundations of mathematics. This talk returns to the topic of language and logic, and proposes new logical systems for the area. One leading idea is to propose logics with a decidable validity problem, ruling out full first-order logic. Indeed, we are interested in finding decidable fragments of language, just as others have asked for decidable fragments of first-order logic. We also axiomatize the logics, just to see what they look like. The overall topic of this research could be interesting to those pursuing natural language semantics and also to people in computational linguistics who work on inference. Indeed, I hope to report on how the ideas in the talk are (or are not) useful to those in the field of 'textual inference'. The talk mentions a number of technical results, and they are closest to algebraic logic, model theory and descriptive complexity theory.

1 0

Erinnerung: Vortrag am 20.06.2011, 17:00 Uhr
by Informatik-Kolloquium 19 Jun '11

19 Jun '11

Die Dozenten der Informatik-Institute der Technischen Universität Braunschweig laden im Rahmen des Informatik-Kolloquiums zu folgendem Vortrag ein: Prof. Dr. Egon Börger, Universität Pisa: Business Process Modeling: Standards or Accurately Modeled Tools? Beginn: 20.06.2011, 17:00 Uhr Ort: TU Braunschweig, Informatikzentrum, Mühlenpfordtstraße 23, 1.OG, Hörsaal M 160 Webseite: http://www.ibr.cs.tu-bs.de/cal/kolloq/2011-06-20-boerger.html Kontakt: Prof. Dr. Ursula Goltz Through our work to rigorously model the intentions of two versions (1.0 and 2.0) of the OMG standard for BPMN (Business Process Modeling Notation) we detected various principled weaknesses of this standard. We illustrate a possible way out by providing a mathematically accurate, transparent user model for an industrial BPM tool that starts from clearly defined high-level concepts of actions of agents and communication between them.

1 0

Erinnerung: Vortrag am 10.06.2011, 11:30 Uhr
by Informatik-Kolloquium 09 Jun '11

09 Jun '11

Die Dozenten der Informatik-Institute der Technischen Universität Braunschweig laden im Rahmen des Informatik-Kolloquiums zu folgendem Vortrag ein: Joe Mitchell, Stony Brook University, NY, USA: Approximation Algorithms for TSP with Neighborhoods and Related Geometric Network Optimization Problems Beginn: 10.06.2011, 11:30 Uhr Ort: TU Braunschweig, Informatikzentrum, Mühlenpfordtstraße 23, 1. OG, Hörsaal M 160 Webseite: http://www.ibr.cs.tu-bs.de/cal/kolloq/2011-06-10-mitchell.html Kontakt: Prof. Dr. Sándor Fekete The Euclidean travelling salesman problem with neighborhoods (TSPN) seeks a shortest path or cycle that visits a given collection of n regions ("neighborhoods"), R1, R2,..,Rn. The TSPN is a generalization of the classic TSP (when Ri are points) that arises in several other related geometric optimization problems. We present methods that yield provable approximation guarantees for the TSPN in the plane. We also some problems related to the TSPN, including the "watchman route problem" (compute a shortest path/cycle that allows a robot to see all of a multiply connected domain) and the relay placement problem for building a connected communication network. Key to some of the results is the m-guillotine technique, which gives a tool for obtaining approximation algorithms in many network optimization problems.

1 0