|
П |
Spezifikation des UNIX Datei- und Variablensystems. Eine SPECTRUM-Fallstudie |
1992 |
Hettler R. |
Lecture Notes in Computer Science |
|
TUM |
|
08.12.1999 |
|
П |
The Requirement and Design Specification Language SPECTRUM. An Informal Introduction. Version 1.0. Part II |
1993 |
Broy M., Facchi C., Grosu R., Hettler R., Hussman H., Nazareth D., Regensburger F., Slotosch O., Stolen K. |
Lecture Notes in Computer Science |
|
TUM |
|
08.12.1999 |
|
СТ |
AVL Trees Revisited: A Case Study in Spectrum |
1995 |
Hettler R., Nazareth D., Regensburger F., Slotosch O. |
Lecture Notes in Computer Science |
|
|
KORSO: Methods, Languages, and Tools for the Construction of Correct Software |
28.12.1995 |
|
П |
Die funktionale Essenz von HDMS-A |
1993 |
Slotosch O., Nickl F., Merz S., Hussmann H., Hettler R. |
|
|
TUM |
|
05.07.1995 |
|
П |
AVL Trees Revisited: A Case Study in SPECTRUM |
1994 |
Hettler R., Nazareth D., Regensburger F., Slotosch O. |
|
|
TUM |
|
05.07.1995 |
|
П |
Zur Ubersetzung von E/R-Schemata nach Spectrum |
1993 |
Hettler R. |
Lecture Notes in Computer Science |
|
TUM |
|
29.06.1995 |
