| alphabetische Liste der lizenzierten Software im FB 3 | ||||
|---|---|---|---|---|
| Name | Kategorie | Plattform | Aufruf | Dokumentation |
| Applixware | Office-Software: Textverarbeitung, Tabellenkalkulation, Graphik | PC/Linux | applixware | umfangreiche Online-Dokumentation mit Tutorials vom Hauptmenue aus aufrufbar |
| AutoSketch, vWin2.1 | CAD-Software, Produktions- Informatik | PC/Windows im Rechnerpool des FB3 | in Absprache mit der Lehrveranst. | online-Hilfe, Handbuch bei Prof. K.-H. Rödiger |
| C++, Developer Magic ProDev Workshop | Compiler, Entwicklungs- umgebung, Teil des Varsity- Pakets von SGI | SGI/Irix | "cvd" | Dokumentation in den Online-Manuals, Aufruf "insight" oder über Menue. Manualseiten mit "man cvd". |
| C++, SPARCworks Professional, v2.1 | Compiler, Entwicklungs- umgebung | Sparc/Solaris | $PATH muß /opt/SUNWspro/bin enthalten. Entw.-Umgebung: "sparcworks". Compiler: "CC". | Dokumentation im Answerbook, Aufruf "answerbook". Zur Anzeige von Manualseiten muß $MANPATH /opt/SUNWspro/man enthalten. |
| DirectTeX, v2.1 | Textverarbeitung, LaTeX | Macintosh im Rechnerpool des FB3 | DirectTeX anklicken | Beschreibung im DirectTeX- Verzeichnis, allgemeine TeX Dokumentation |
| FDR Modelchecker für CSP | Verifikations- system für formale Methoden | Sparc/Solaris, Pentium/Linux im Rechnerpool des FB3 | FDR-Aufruf | FDR-Dokumentation Ansprechpartnerin: Dr. Bettina Buth |
| Fortran77, SPARCworks Professional, v4.0 | Compiler | Sparc/Solaris | $PATH muß /opt/SUNWspro/bin enthalten. Entw.-Umgebung: "sparcworks". Compiler: "f77" | Dokumentation im Answerbook, Aufruf "answerbook". Zur Anzeige von Manualseiten muß $MANPATH /opt/SUNWspro/man enthalten. |
| Fortran 77 | Compiler, Teil des Varsity- Pakets von SGI | SGI/Irix | "f77" | Dokumentation in den Online-Manuals, Aufruf "insight" oder über Menue. Manualseiten mit "man f77". |
| Fortran 90 | Compiler, Teil des Varsity- Pakets von SGI | SGI/Irix | "f90" | Dokumentation in den Online-Manuals, Aufruf "insight" oder über Menue. Manualseiten mit "man f90". |
| Framemaker, v5 | Textverarbeitung | Sparc/Solaris, SGI/Irix | "framemaker" | Online-Dokument. unter "framemaker". |
| Maple V, v4 | Mathematik- Software, symbolische, numerische und graphische Berechnungen | Sparc/Solaris, SGI/Irix | "maple" oder "xmaple" | Online-Dokument. unter "Help"-Button in "xmaple" sowie ein "help"-Kommando. |
| Mathematica | Mathematik- Software, symbolische, numerische und graphische Berechnungen | Macintosh/ MacOS im Rechnerpool des FB3 |
Auf dem ``MacServer'' vorhanden. Icon anklicken. | Online-Dokumentation. |
| MatLab, v5.1.0.421 | Mathematik- Software, Numerik und Graphik | Sparc/Solaris, SGI/Irix Pentium/Linux im Rechnerpool des FB3 | "matlab" | Online-Dokument. und Demos unter "matlab". |
| Modula-Compiler Mocka | Compiler | Sparc/Solaris, SGI/Irix | "mc" | Manualseite mit "man mc". |
| NAG | Fortran- Bibliothek | Sparc / Solaris, | Anbinden mit "" ? | |
| objectiF, v2.0b | Entwicklungs- umgebung für objektorientierte Programmierung | PC/Windows, im Rechnerpool des FB3 | in Absprache mit der Lehrveranst. | online-Hilfe, Handbuch und Dongles bei Dr. Zhenyu Qjan |
| opus, vWin2.1, NC- Programmiersystem | CAM-Software, Produktions- Informatik | PC/Windows, im Rechnerpool des FB3 | in Absprache mit der Lehrveranst. | online-Hilfe, Handbuch und Dongles bei Prof. W. Bruns |
| Pascal | Compiler, Teil des Varsity- Pakets von SGI | SGI/Irix | "pc" | Dokumentation in den Online-Manuals, Aufruf "insight" oder über Menue. Manualseiten mit "man pc". |
| Smalltalk, Visual Workshop, v2.52 | Compiler, Entwicklungs- umgebung | Sparc/Solaris, PC/Windows | unter Solaris: "smalltalk" | Online-Dokument. unter "smalltalk" mit "help" |
| Solaris, v2.6 | Betriebssystem | Sparc, IBM-PowerPC, PC | Lizenzinformation Ansprechpartnerin: Cornelia Zahlten | |
Weitere Informationen zum T-Bereich