Inhaltsverzeichnis

Programmieren und Informationstechnologie (IT)
Formale Spezifikation und objektorientierte Klassen-Bibliotheken
»Electronic Publishing« in Ausbildung und Forschung

»Mathematische Probleme aus dem Ingenieurbereich«




Programmieren und Informationstechnologie (IT)
      

Formale Spezifikation und objektorientierte Klassen-Bibliotheken

      
Beschreibung:
Durch formale Spezifikation kann neben einer Verbesserung der Dokumentation von Softwareprodukten insbesondere eine konstruktive Verbesserung der Softwarequalität erreicht werden. Die Erstellung eines »Werkzeugkastens für Mathematiker und Anwender« bestehend aus abstrakten Datenkapseln häufig benötigter mathematischer Strukturen ist nur unter Benutzung solcher Beschreibungsmittel sinnvoll. Vergleiche auch Projekte.
Leitung:
Prof. Dr. Hans-Jürgen Buhl
Mitarbeiter:
-
Kooperationen:
Drittmittel:
  • Gesellschaft der Freunde der Bergischen Universität
Publikationen:
  • Hans-Jürgen Buhl: Zielgerichtete Algorithmenkonstruktion - von der Spezifikation zum Programm, Mai 1993, IAGMPI-9303

»Electronic Publishing« in Ausbildung und Forschung

      
Beschreibung:
Sammeln praktischer Erfahrungen beim Einsatz von Computernetzen zum Zwecke des Publizierens in Ausbildung und Forschung: Literaturrecherche, http-Server, HTML, Java, integrierte Datenbankabfrage und -administration mittels HTML-Formularen, WWW im Einsatz bei der akademischen Selbstverwaltung. Vergleiche auch Projekte.
Leitung:
Prof. Dr. Hans-Jürgen Buhl
Mitarbeiter:
-
Einrichtungen:
»Microsoft Academic Internet Center« an der Bergischen Universität
Kooperationen:
Drittmittel:
Publikationen:


»Mathematische Probleme
aus dem Ingenieurbereich«
      
Beschreibung:
Integrierte Arbeitsgruppe, die mit Methoden der Angewandten Mathematik und Informatik Probleme aus dem Ingenieurbereich löst:
  • Konstruktion und Implementierung diskreter Modelle
  • Symbolisches Rechnen und Verifikationsmethoden
Leitung:
Mitarbeiter:
siehe IAGMPI Seite
Kooperationen:
siehe IAGMPI Seite