Diese Seite auf deutsch
SearchInopSys - Interoperability of Calculi for System Modelling
| Start date: | 01.07.2003 |
| End date: | 30.06.2006 |
| Funded by: | Universität Augsburg |
| Local project leader: | Prof. Dr. Bernhard Möller |
| Local scientists: |
Dr. Peter Höfner Dr. Georg Struth |
| External scientists / cooperations: |
Prof. Dr. Wolfgang Reif (Universität Augsburg) Prof. Dr. Martin Wirsing (LMU München) Prof. Tobias Nipkow, Ph.D (TU München) Prof. Dr. Manfred Broy (TU München) |
| Publications: | Publication list |
Abstract
The use of different complementary views plays an important role in describing complex systems. There are a lot of models which are adequate for data, transitions, interaction, composition, and recursive definitions at any level to describe static and dynamic aspects. The goal of the project is the integration of different formal models into an interoperable toolkit.
Description
The homepage of the project can be found at
http://www.informatik.uni-augsburg.de/~moeller/FG/index.html.