Table Of Contents

Programming and Information Technologies
Formal Specification and Object Oriented Class Libraries
»Electronic Publishing« in Education and Academic Research

»Mathematical Problems in Engineering«




Programming and
Information Technologiesonly german page available
      

Formal Specification and Object Oriented Class Librariesonly german page available

      
Description:
Formal specification significantly improves program documentation and furthermore contributes a great amount to software quality when used in the stage of software design and construction. Implementing a »Toolbox for Mathematicians and Users« (consisting of classes of heavily used mathematical structures) only makes sense if formal specification is used. See Projects.
Head:
Prof. Dr. Hans-Jürgen Buhl
Staff:
-
Cooperation:
Promotion/Grants:
  • Gesellschaft der Freunde der Bergischen Universität
Publications:
  • Hans-Jürgen Buhl: Zielgerichtete Algorithmenkonstruktion - von der Spezifikation zum Programm, Mai 1993, IAGMPI-9303

»Electronic Publishing« in Education and Academic Researchonly german page available

      
Description:
Accumulate practical knowledge for using electronic publishing in academic education, administration and research: Bibliographic search, http-server, HTML, Java, data base interfaces, administration of data bases with HTML forms. See Projects.
Head:
Prof. Dr. Hans-Jürgen Buhl
Staff:
-
Instititions:
»Microsoft Academic Internet Center« at the University of Wuppertalonly german page available
Cooperation:
Promotion/Grants:
Publications:


»Mathematical Problems
in Engineering«only german page available
      
Description:
Integrated working group using Applied Mathematics and Computer Science for problems in engineering:
  • Construction and Implementation of Discrete Modells
  • Symbolic Computing and Verification Methods
Heads:
Staff:
see IAGMPI pageonly german page available
Cooperation:
see IAGMPI pageonly german page available