Year 1999

Books and Journals

 
[GoSc99]
R. Gotzhein, P. Schaible
in: Annals of Telecommunications, Special Issue on Protocol Engineering, Vol. 54, No. 11-12, 1999, pp. 508-525

Proceedings

 
[FeGeRo99c]
R. Feldmann, B. Geppert, F. Rößler
Proceedings of the 5th International Conference on Engineering of Complex Computer Systems (ICECCS'99), Las Vegas, USA, Oktober 1999

 
[FeGeRo99b]
R. Feldmann, B. Geppert, F. Rößler
Proceedings of the 11th International Confe rence on Software Engineering and Knowledge Engineering (SEKE'99), Kaiserslautern, Juni 1999

 
[KrPe99b]
M. Kronenburg , C. Peper
11th Int. Conf. on Software Engineering and Knowledge Engineering (SEKE'99), Kaiserslautern, Germany, 1999, pp. 332-336

 
[Th99]
J. Thees
in: K. Spies, B. Schätz (Hrsg.): Formale Beschreibungstechniken für verteilte Systeme (FBTŽ99), Herbert Utz Verlag Wissenschaft, ISBN 3-89675-918-3, München, Juni 1999

 
[GeRoGo99]
B. Geppert, F. Rößler, R. Gotzhein
3rd IFIP International Conference on Formal Methods for Open Object-Based Distributed Systems, (FMOODS '99), Florence, Italy,Kluwer Academic Publishers 1999

 
[GeRo99]
B. Geppert, F. Rößler
Tutorial Notes, 9th SDL Forum (SDL'99), Montreal, Kanada, 21.-25. Juni 1999

 
[GlGoPr99b]
U. Glässer, R. Gotzhein, A. Prinz
in: R. Dssouli, G.v. Bochmann, Y. Lahav (Eds.), SDL'99 - The Next Millenium, Proc. of the 9th SDL FORUM, Elsevier Science B.V., Juli 1999

 
[Pe99]
C. Peper
9th GI/ITG-Fachgespräch "Formale Beschreibungstechniken für verteilte Systeme" (FBT'99), München, 1999, Herbert-Utz-Verlag, ISBN 3-89675-918-3, pp. 165-173

Technical reports

 
[KrPe99a]
M. Kronenburg , C. Peper
SFB 501 Report 01/1999

 
[FeGeRo99a]
R. Feldmann, B. Geppert, F. Rößler
SFB 501 Report 03/1999

 
[GoKrPe99]
R. Gotzhein, M. Kronenburg, C. Peper
in: E. Börger, B. Hörger, D. Parnas, D. Rombach (Eds.): "Requirements Capture, Documentation, and Validation", Dagstuhl-Seminar-Report 242, June 1999

 
[GlGoPr99a]
U. Glässer, R. Gotzhein, A. Prinz
Technical Report tr-rsfb-99-065, Department of Mathematics and Computer Science, University of Paderborn, Germany, 1999

 
[Fe+99]
R. Feldmann, B. Geppert, W. Mahnke, N. Ritter, F. Rößler
SFB 501 Report 08/1999

Diploma thesis

 
[Ci99]
D. Cisowski
Diplomarbeit, Fachbereich Informatik, Universität Kaiserslautern, März 1999

 
[Gro99]
T. Groß
Diplomarbeit, Fachbereich Informatik, Universität Kaiserslautern, Sept. 1999

 
[Kue99]
A. Kühlmeyer
Diplomarbeit, Fachbereich Informatik, Universität Kaiserslautern, März 1999

 
[Schw99]
M. Schwaiger
Diplomarbeit, Fachbereich Informatik, Universität Kaiserslautern, März 1999

Project thesis

 
[Mue99]
M. Müller
Projektarbeit, Fachbereich Informatik, Universität Kaiserslautern, März 1999

 
[BauKl99]
V. Bauer, R. Kleinfeld
Projektarbeit, Fachbereich Informatik, Universität Kaiserslautern, Juli 1999

Presentations

 
[Ge99p]
B. Geppert
Workshop Software-Reuse des SFB 501, Kaiserslautern, 22.-23. Februar 1999

 
[Go99p]
R. Gotzhein
Kolloquium, Fachbereich Informatik, Universität Braunschweig, 12. Juli 1999

 
[Pe99bp]
C. Peper
9th GI/ITG-Fachgespräch "Formale Beschreibungstechniken für verteilte Systeme" (FBT'99), München, Juni 1999

 
[Pe99ap]
C. Peper
Workshop "Software-Reuse" des SFB 501, Kaiserslautern, 22.-23. Februar 1999

 
[KrPe99c]
M. Kronenburg , C. Peper
Dagstuhl-Seminar "Requirements Capture, Documentation, and Validation", 13.-18. Juni 1999, http://rn.informatik.uni-kl.de/~forest/examples





 

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

 
This page in german. Diese Seite auf deutsch.