Prof. Dr. Georg Rock

Prof. Dr. Georg Rock

Kontakt

+49 651 8103-596
+49 651 8103-454

Standort

Schneidershof | Gebäude O | Raum 206

Sprechzeiten

Nach Vereinbarung per E-Mail
Fachgebiete

Software Engineering 

Software Engineering (Softwaretechnik) befasst sich mit der systematischen und zielorientierten Verwendung von Methoden und Werkzeugen zur Erstellung von Softwaresystemen. Die Softwaretechnik umfasst hierbei nicht nur die eigentlichen Techniken zur Softwareerstellung, sondern ebenso alle begleitenden Prozesse und Aktivitäten wie beispielsweise das Projektmanagement, Qualitätsmanagement, Risikomanagement, Anforderungsmanagement, Softwaretest, Softwareeinführung, Wartung und Pflege.   

Variantenmanagement

Die Produktlinientechnik wird in der Automobilindustrie und vielen weiteren Industriezweigen zur effizienten Produktion hoch individualisierter Produkte verwendet. Auf Grundlage einer stets gleichbleibenden Plattform können durch den Einsatz unterschiedlicher Komponenten individuelle Produkte wie in einem Baukastensystem zusammengestellt werden. Regeln zur automatisierten Konfiguration unterstützen den Entwickler und verhindern die Ausleitung "inkonsistenter" Systeme. Die systematische Darstellung und Analyse aller Varianten einer Produktlinie ist momentan für große Modelle noch nicht möglich. Im Rahmen von Forschungsarbeiten, Bachelor- und Masterarbeiten werden neue Lösungen zu diesen Fragestellungen erarbeitet.  

Lehre

Regelmäßig angebotene Lehrveranstaltungen 

Zugriff auf aktuelle Informationen, Unterlagen und die Terminplanung erhalten Sie über Stud.IP.

  • Softwaremanagement und MCI
  • Objektorientierte Programmierung (Java)
  • Software Engineering
  • Anforderungsmanagement I
  • Entwicklung mobiler Anwendungen mit Android (EMA)
  • Anforderungsmanagement II
Publikationen

Ausgewählte Publikationen

  • Gümmer, Ralf; Junk, Christopher; Rock, Georg: A Variant Management Based Methodology for the Requirements-Engineering Process of Mechanical Parts. In: Proc. »19 ISPE International Conference on Concurrent Engineering (ISPE CE 2012), Trier, Germany, September 3-7, 2012. Springer 2013
  • Klawitter, Sylvia; Rock, Georg: Handling of Product Variety Throughout the Product Life-Cylce. In: Proc. »19 ISPE International Conference on Concurrent Engineering (ISPE CE 2012), Trier, Germany, September 3-7, 2012. Springer 2013
  • Junk, Christopher; Rock, Georg; Schreiber, Kai: Visualization of Variant Development Structures. In: Proc. »embedded world Conference 2012«, Nürnberg, WEKA Fachmedien, 28. Februar - 1. März 2012. ISBN 978-3-645-50072-2
  • Rock, Georg; Mann, Stefan: Control Variantrich Models by Variability Measures«. In: Proc. »5th Int. Workshop on Variability Modeling of Software-intensive Systems« (VAMOS 2011), 27 - 29.01.2011 in Namur, Belgium, 2011
  • Fabian Kliemannel, Georg Rock, Stefan Mann: »A Custom Approach for Variability Management in Automotive Applications«. In: David Benavides, Don Batory & Paul Grünbacher (Hrsg.): Proc. »4th Int. Workshop on Variability Modeling of Software-intensive Systems« (VAMOS 2010), 27 - 29.01.2010 In Linz, Österreich, S. 155–158. Institut für Informatik und Wirtschafts-Informatik (ICB), Universität Duisburg-Essen, ICB-Research, Report No. 37, ISSN: 1860-2770 (Print), 1866-5101(Online).
  • Georg Rock, Fabian Kliemannel, Stefan Mann: »Engineering and Assessment of Variant-rich Embedded Software«. In: Proc. »embedded world Conference 2010«, Nürnberg, WEKA Fachmedien, 2. - 4. März 2010. ISBN: 978-3-7723-1012-6.
  • Rock, Georg; Mann, Stefan: Assessment of Productline Architecture Descriptions in v.control. In 12th International Conference on Quality Engineering in Software Technology, Nuremberg, Germany, Sept. 16-18, 2009.
  • Rock, Georg; Mann, Stefan: Dealing with Variability in Architecture Descriptions to Support Automotive Product Lines. In: Workshop on 2009.Variability Modeling of Software-intensive Systems (VAMOS 2009). Sevilla, Spain, Januar 2730, S. 111–120,
  • Lassaad Cheikhrouhou, Andreas Nonnengart, Werner Stephan, Frank Koob, Georg Rock: Automating Interactive Protocol Verification. In A. Dengel et al. (Eds.): KI 2008:LNAI 5243, pp. 30-37. Springer-Verlag Berlin Heidelberg. 2008.
  • Bruno Langenstein, Andreas Nonnengart, Georg Rock, Werner Stephan: Verification of Distributed Applications. In F. Saglietti and N. Oster (Eds.): SAFECOMP 2007, LNCS 4680, pp. 315-328. Springer-Verlag Berlin Heidelberg. 2007
  • Bruno Langenstein, Andreas Nonnengart, Georg Rock, Werner Stephan: A History-based Verification of Distributed Applications. In Bernhard Beckert, editor, Proceedings of the 4th International Verification Workshop (VERIFY), Bremen, Germany, volume 259 of CEUR Workshop Proceedings, pp. 70-84, 2007.
  • Lassaad Cheikhrouhou, Georg Rock, Werner Stephan, Matthias Schwan, Gunter Lassmann: Verifying a Chipcard-Based Biometric Identification Protocol in VSE. In Janusz Górski, editor, Computer Safety, Reliability, and Security, 25th International Conference, SAFECOMP 2006, Gdansk, Poland, September 27-29, 2006, Proceedings, volume 4166 of Lecture Notes in Computer Science, pages 42-56. Springer, 2006.
  • Werner Stephan, Bruno Langenstein, Andreas Nonnengart, Georg Rock: Verification Support Environment. In D. Hutter, W. Stephan (Eds.): Mechanizing Mathematical Reasoning. LNAI 2605, pp. 476-493, 2005. Springer-Verlag Berlin Heidelberg 2005.
  • Gunter Lassmann, Georg Rock, Matthias Schwan, and Lassaad Cheikhrouhou. Verisoft secure biometric identification system. T-Systems International University Conference, Düsseldorf, 10.-11. October 2005.
  • Andreas Nonnengart, Georg Rock, and Werner Stephan. Verification support environment (VSE). In Proceedings of the 4th International Workshop on Planning and Scheduling for Space (IWPSS'04), number 228 in ESA-WPP, ESA-ESOC, Darmstadt, Germany, June 2004. European Space Agency Publications Division.