|
|
- 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
|
|