Focus of TFS

Our research group put its main focus in 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 contains main aspects in areas like communication and software engineering. Main research topics are:

• Algebraic specification techniques
• Graph transformation and visual modelling techniques
• Reconfigurable Petri nets
• Integration of modelling techniques