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 am Institut für Informatik
  6. Programmiermethodik und Multimediale Informationssysteme
  7. Forschung
  8. Algebraische Systembeschreibung
  9. Deduktiver Hardware-Entwurf
  10. Formale Entwicklung digitaler Schaltungen

Formale Entwicklung digitaler Schaltungen (ruhend)

Projektstart: 01.01.1992

 

Projektende: 31.12.1993

 

Laufzeit: 01.01.1992 - 31.12.1993

 

Projektträger: Universität Augsburg

 

Projektverantwortung vor Ort: Prof. Dr. Bernhard Möller

 

Beteiligte WissenschaftlerInnen der Universität Augsburg: Prof. Dr. Walter Dosch

 

 

Zusammenfassung

Projektziel war es, aus den allgemeinen Regeln der Programmkonstruktion solche abzuleiten, die im Spezialfall der Schaltungsentwicklung besonders adäquat und bequem zu handhaben sind.

Suche