- Search

- Kontakt

Functional Modelling of Distributed Systems
(inactive)

Start date: 01.01.1990
End date: 31.12.1992
Duration: 01.01.1990 - 31.12.1992
Funded by: Universität Augsburg
Local project leader: Prof. Dr. Bernhard Möller (project leader)
External scientists / cooperations: Prof. Dr. Walter Dosch (ehemals Universität Augsburg)
Prof. Dr. Carlos Delgado Kloos (Universidad Carlos III de Madrid)
Prof. Dr. Manfred Broy (TU München)
Publications: Publication list

Abstract

The work aimed at a formal design frame, based on functional description techniques, in which distributed systems can be developed in a systematic fashion. Special attention was paid to circuit derivation.

Description