Die Dozenten der Informatik-Institute der Technischen Universität Braunschweig laden im Rahmen des Informatik-Kolloquiums zu folgendem Vortrag ein:

Prof. Dr. Jos Baeten und Prof. Dr. ir. J.E. Rooda, Eindhoven University of Technology: Syntax and semantics of a hybrid process algebra / Model-based engineering of embedded systems

Beginn: 06.06.2007, 16:45 Uhr Ort: TU Braunschweig, Langer Kamp 19 b (Altbau), Raum LK 19 b1 Webseite: http://www.ibr.cs.tu-bs.de/cal/kolloq/2007-06-06-baeten.html Kontakt: Prof. Dr. Ursula Goltz

1. Syntax and semantics of a hybrid process algebra

An overview will be given of the research of the Formal Methods group of the division of Computer Science of TU/e. Then, the focus will turn to the development of the language Chi, The talk will discuss the design of the hybrid process algebra Chi, and design choices that were made.

2. Model-based engineering of embedded systems

An overview will be given of the research of the Systems Engineering group of the Department of Mechanical Engineering of TU/e. Then the focus will turn to the use of the language Chi in the model-based engineering of embedded systems.