Year 2000

Books and Journals

 
[KrPe00]
M. Kronenburg , C. Peper
in: Journal of Universal Computer Science, Special Issue on Requirements Engineering 6(7), pp. 679-703, Springer, 2000

 
[BoeGo00a]
E. Börger, R. Gotzhein (Guest Editors):
Special Issue of the Journal of Universal Computer Science, Springer, Vol. 6 (7), 2000

 
[BoeGo00b]
E. Börger, R. Gotzhein
in: Journal of Universal Computer Science (J.UCS), Special Issue on Requirements Engineering 6(7), Springer, 2000

 
[Qu+00]
S. Queins, G. Zimmermann, M. Becker, M. Kronenburg, C. Peper, R. Merz, J. Schäfer
in: Journal of Universal Computer Science (J.UCS), Special Issue on Requirements Engineering 6(7), pp. 586-596, Springer, 2000

Proceedings

 
[PrEsGo00]
A. Prinz, R. Eschbach, R. Gotzhein
Proc. of SAM 2000, 2nd Workshop of the SDL Forum Society on SDL and MSC, June 2000

 
[Fe+00]
R. Feldmann, B. Geppert, W. Mahnke, N. Ritter, F. Rößler
Proceedings of the TOOLS USA 2000, 34th International Conference & Exhibition, Santa Barbara, USA, July/August 2000

 
[ScGo00]
P. Schaible, R. Gotzhein
GI/ITG-Fachgespräch "Formale Bescheibungstechniken für verteilte Systeme (FBT 2000)", Lübeck, Germany, 2000

 
[EsGlGoPr00]
R. Eschbach, U. Glässer, R. Gotzhein, A. Prinz
in: Y. Gurevich, M. Odersky, P. Kutter, L. Thiele (Eds.), Abstract State Machines, LNCS 1912, Springer, 2000

 
[EsGoPr00a]
R. Eschbach, R. Gotzhein, A. Prinz
Local Proceedings of the ASM 2000 Workshop, Monte Verita, Schweiz, 2000

 
[EsGoPr00]
R. Eschbach, R. Gotzhein, A. Prinz
International Workshop on Abstract State Machines, Monte Verita, Switzerland, March 2000, TIK-Report Nr. 87, ETH Zurich, pp. 131-151

Diploma thesis

 
[Mue00]
M. Müller
Diplomarbeit, Fachbereich Informatik, Universität Kaiserslautern, 2000

Project thesis

 
[Schm00]
T. Schmidt
Projektarbeit, Fachbereich Informatik, Universität Kaiserslautern, 2000

 
[Hei00]
M. Heidenreich
Projektarbeit, Fachbereich Informatik, Universität Kaiserslautern, 2000

 
[Jon00]
D. Jonietz
Projektarbeit, Fachbereich Informatik, Universität Kaiserslautern, 2000

 
[Es+00]
R. Eschbach, U. Glässer, R. Gotzhein, A. Prinz
in: Y. Gurevich, P.W. Kutter, M. Odersky, L. Thiele (Eds.): Abstract State Machines - Theory and Applications, Lecture Notes in Computer Science 1912, Springer, 2000





 

 
Go to the contact details of the person in charge of this page

 
This page in german. Diese Seite auf deutsch.