TU Berlin

About usAbout us

Logo der Abteilung TFS

Page Content

to Navigation

Focus of TFS

The research group TFS existed between 1976 and 2012, headed by Prof. Dr. Hartmut Ehrig. The main research focus of our group were semi formal and formal specifications as well as visual modelling techniques - both based on the theory of algebraic data types and categorical structuring techniques. Beside theoretical computer science our research also contained main aspects in areas like communication and software engineering. Main research topics were:


Quick Access

Schnellnavigation zur Seite über Nummerneingabe