Professur für Programmiermethodik und Multimediale Informationssysteme

  1. Universität
  2. Fakultäten
  3. Fakultät für Angewandte Informatik
  4. Institut für Informatik
  5. Lehrstühle und Professuren der Informatik
  6. Programmiermethodik und Multimediale Informationssysteme
  7. Forschung
  8. Algebraische Systembeschreibung
  9. Deduktiver Hardware-Entwurf
  10. Funktionale Modellierung verteilter Systeme

Funktionale Modellierung verteilter Systeme (ruhend)

Projektstart: 01.01.1990


Projektende: 31.12.1992

 

Laufzeit: 01.01.1990 - 31.12.1992

 

Projektträger: Universität Augsburg

 

Projektverantwortung vor Ort: Prof. Dr. Bernhard Möller (Leiter)

 

Beteiligte WissenschaftlerInnen / Kooperationen: Prof. Dr. Manfred Broy (TU München), Prof. Dr. Walter Dosch (ehemals Universität Augsburg), Prof. Dr. Carlos Delgado Kloos (Universidad Carlos III de Madrid)

 

 

Zusammenfassung

Die Arbeiten zielten auf die Erstellung eines formalen, auf funktionale Beschreibungstechniken gegründeten Entwurfsrahmens, innerhalb dessen verteilte Systeme systematisch entwickelt werden können. Besondere Berücksichtigung fand dabei der Schaltwerksentwurf.

Suche