Veröffentlichungen

2007


 [GoGrKu07] Specifying Input Port Bounds in SDL
R. Gotzhein, R. Grammes, T. Kuhn,
in: E. Gaudin, E. Najm, R. Reed (Eds.), SDL 2007: Design for Dependable Systems, 13th International SDL Forum, Paris, France, LNCS 4745, Springer, 2007. pp. 101-116

 [Gr07] Syntactic and Semantic Modularisation of Modelling Languages
R. Grammes,
Dissertation, Fachbereich Informatik, Universität Kaiserslautern, 2007

 [GrGo07] SDL Profiles - Formal Semantics and Tool Support
R. Grammes, R. Gotzhein,
in: A. Lopes, M. Dwyer (Eds.), 10th International Conference on Fundamental Approaches to Software Engineering (FASE 2007),Braga, Portugal, LNCS 4422, Springer, 2007, pp. 200-214

2006


 [FlGrWe06] ConTraST - A Configurable SDL Transpiler And Runtime Environment
I. Fliege, R. Grammes, C. Weber,
Proc. of 5th SAM (SDL And MSC) Workshop, 2006, Kaiserslautern, Germany

 [FlGrWe06b] ConTraST - A Configurable SDL Transpiler And Runtime Environment
I. Fliege, R. Grammes, C. Weber,
in: Gotzhein, R., Reed, R., System Analysis and Modeling: Language Profiles, Lecture Notes in Computer Science 4320, Springer, 2006, pp. 216-228

 [Gr06] Formal Operations for SDL Language Profiles
R. Grammes,
Proc. of 5th SAM (SDL And MSC) Workshop, 2006, Kaiserslautern, Germany

 [Gr06b] Formalisation of the UML Profile for SDL - A Case Study
R. Grammes,
Technical Report 352/06, Computer Science Department, University of Kaiserslautern, 2006

 [Gr06c] Formal Operations for SDL Language Profiles
R. Grammes,
in: Gotzhein, R., Reed, R., System Analysis and Modeling: Language Profiles, Lecture Notes in Computer Science 4320, Springer, 2006, pp. 51-65

 [GrGo06] SDL Profiles - Definition and Formal Extraction
R. Grammes, R. Gotzhein,
Technical Report 350/06, Department of Computer Sciences, University of Kaiserslautern, Germany, 2006

2004


 [BrGoGrSch04] Chatroom over WLAN: Systematical Development of a QoS-integrated Distributed System
J. Brandt, R. Gotzhein, R. Grammes, B. Schürmann,
Proceedings of the 5th European Wireless Conference (EW 2004), Barcelona, Spain, 2004

 [GrGo04] Towards the Harmonisation of UML and SDL
R. Grammes, R. Gotzhein,
in: D. de Frutos-Escrig, M. Nunez (Eds.), Formal Techniques for Networked and Distributed Systems - FORTE 2004, Madrid, Spain, LNCS 3235, Springer, 2004

2003


 [BrGoGrSch03] Chatroom over Powerline: Systematical Development of a QoS-integrated Distributed System
J. Brandt, R. Gotzhein, R. Grammes, B. Schürmann,
SFB 501 Report 04/2003, Department of Computer Sciences, University of Kaiserslautern, Germany, 2003

 [Gr03] Evaluierung und Anwendung des SDL-Pattern-Ansatzes
R. Grammes,
Diplomarbeit, Fachbereich Informatik, Technische Universität Kaiserslautern, 2003

 [GrGo+03] Industrial Application of the SDL-Pattern Approach in UMTS Call Processing Development - Experience and Quantitative Assessment
R. Grammes, R. Gotzhein, C. Mahr, P. Schaible, H. Schleiffer,
in: R. Reed, J. Reed (Eds.), SDL 2003: System Design, 11th International SDL Forum, Stuttgart, Germany, LNCS 2708, 2003, pp. 102-116

 [GrGo+03b] Industrial Application of the SDL-Pattern Approach in UMTS Call Processing Development - Experience and Quantitative Assessment
R. Grammes, R. Gotzhein, C. Mahr, P. Schaible, H. Schleiffer,
SFB 501 Report 03/2003, Department of Computer Sciences, University of Kaiserslautern, Germany, 2003

 [GrGo03] Towards the Harmonisation of UML and SDL - Syntactic and Semantic Alignment
R. Grammes, R. Gotzhein,
Technical Report 327/03, Department od Computer Sciences, University of Kaiserslautern, Germany, 2003




 Superordinated page: Dr. Rüdiger Grammes

 Feedback
Email to the person in charge of this page (grammes@informatik.uni-kl.de)

 Deutsch
This page in german. Diese Seite auf deutsch.