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 |
[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 |
[Gr07] Syntactic and Semantic Modularisation of Modelling Languages | |
R. Grammes, Dissertation, Fachbereich Informatik, Technische Universität Kaiserslautern, 2007 |
2006
[GrGo06] SDL Profiles - Definition and Formal Extraction | |
R. Grammes, R. Gotzhein, Technical Report 350/06, Department of Computer Sciences, University of Kaiserslautern, Germany, 2006 |
[Gr06b] Formalisation of the UML Profile for SDL - A Case Study | |
R. Grammes, Technical Report 352/06, Department of Computer Science, University of Kaiserslautern, 2006 |
[Gr06] Formal Operations for SDL Language Profiles | |
R. Grammes, Proc. of 5th SAM (SDL And MSC) Workshop, 2006, Kaiserslautern, Germany |
[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 |
[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 |
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 |
[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 |
2003
[Gr03] Evaluierung und Anwendung des SDL-Pattern-Ansatzes | |
R. Grammes, Diplomarbeit, Fachbereich Informatik, Technische Universität Kaiserslautern, 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 |
[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 |
[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 |
[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 |
Übergeordnete Seite: Dr. Rüdiger Grammes | |
Feedback | |
Zu den Kontaktdetails des Verantwortlichen dieser Seite |
English | |
This page in english. Diese Seite auf englisch. |