Year 2000

Books and Journals

 Application of the FOREST Approach to the Light Control Case Study
[KrPe00]
M. Kronenburg , C. Peper
in: Journal of Universal Computer Science, Special Issue on Requirements Engineering 6(7), pp. 679-703, Springer, 2000

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

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

 The Light Control Case Study: Problem Description
[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

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

 An ORDBMS-Based Reuse Repository Supporting the Quality Improvement Paradigm - Exemplified by the SDL-Pattern Approach
[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

 Einige Aspekte der Entwicklung maßgeschneiderter Kommunikationsmiddleware
[ScGo00]
P. Schaible, R. Gotzhein
GI/ITG-Fachgespräch "Formale Bescheibungstechniken für verteilte Systeme (FBT 2000)", Lübeck, Germany, 2000

 On the Formal Semantics of SDL-2000: A Compilation Approach Based on an Abstract SDL Machine
[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

 On the Formal Semantics of SDL-2000: A Compilation Approach Using Abstract State Machines
[EsGoPr00a]
R. Eschbach, R. Gotzhein, A. Prinz
Local Proceedings of the ASM 2000 Workshop, Monte Verita, Schweiz, 2000

 The Semantics of Programming Languages: A transformational/ operational approach using Abstract State Machines
[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

 Entwicklung eines Basiskommunikationssystems für ein Controller-Netzwerk zur Gebäudeautomation
[Mue00]
M. Müller
Diplomarbeit, Fachbereich Informatik, Universität Kaiserslautern, 2000

Project thesis

 Anbindung einer verteilter Gebäudeautomatisierung-Anwendung an CAN
[Schm00]
T. Schmidt
Projektarbeit, Fachbereich Informatik, Universität Kaiserslautern, 2000

 Network Accounting - Ein benutzerbezogenes Abrechnungssystem fuer die Nutzung von TCP/IP-Diensten in Linux-Systemen
[Hei00]
M. Heidenreich
Projektarbeit, Fachbereich Informatik, Universität Kaiserslautern, 2000

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

 On the Formal Semantics of SDL-2000: A Compilation Approach Based on an Abstract SDL Machine
[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




 Superordinated page: Publications

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

 Deutsch
This page in german. Diese Seite auf deutsch.