Universität Paderborn - Home Universität Paderborn
Die Universität der Informationsgesellschaft

 
Veröffentlichungen
Wissenschaftliches s-lab Report

 

Wissenschaftliches

2010

  • Baris Güldali, Stefan Sauer, Peter Winkelhane, Michael Jahnich, Holger Funke:
    Pattern-based Generation of Test Plans for Open Distributed Processing Systems.
    In Proceedings of 5th International Workshop on Automation of Software Test (AST 2010). ACM Press, pp. (accepted for publication) (2010)

  • Dominik Beulen, Baris Güldali, Michael Mlynarski:
    Tabellarischer Vergleich der Prozessmodelle für modellbasiertes Testen aus Managementsicht.
    In E.E. Doberkat, U. Kelter (eds.): "Softwaretechnik-Trends", pp. (to be published). GI, 2010.

  • Frank Brüseke, Yavuz Sancar, Enes Yigitbas:
    Erfolgsfaktoren von Testprozessbewertungsmodellen.
    In Proceedings of the Conference on Software & Systems Engineering Essentials 2010 (SEE 2010), 2010 - to be published

  • Yavuz Sancar, Claudia Schumacher:
    Erweiterung des TPI-Modells zur Reifegradbewertung unter Beru¨cksichtigung von projekteigenen Anforderungen
    In Proceedings of the Conference on Software & Systems Engineering Essentials 2010 (SEE 2010), 2010 - to be published

2009

  • Matthias Gehrke, Baris Güldali, Jan Meyer, Yavuz Sancar, Michael Spijkerman:
    "Metriken" Kennzahlen zur Verbesserung der Softwarequalität, Teile 1 und 2.
    s-lab report No. 3, University of Paderborn, s-lab, Dezember 2009 - to be published

  • Baris Güldali, Holger Funke, Michael Jahnich, Stefan Sauer, Gregor Engels:
    Semi-automated Test Planning for e-ID Systems by Using Requirements Clustering.
    In 24th IEEE/ACM International Conference on Automated Software Engineering (ASE 2009), 16-20 November 2009, Auckland, New Zeland, pp. 29-39, 2009.

  • Michael Spijkerman, Tobias Eckardt:
    Modellbasiertes Testen auf Basis des fundamentalen Testprozesses.
    Softwaretechnik-Trends Vol. 29 No. 4, November 2009

  • Claudia Priesterjahn, Matthias Tichy:
    Modeling Safe Reconfiguration with the FUJABA Real-Time Tool Suite
    In tech. rep., Eindhoven University of Technology, The Netherlands, November 2009.

  • Gregor Engels, Ralf Reussner, Christof Momm, Stefan Sauer:
    Design for Future - Langlebige Softwaresysteme 2009
    In Proceedings of the 1. Workshop des GI-Arbeitskreises Langlebige Softwaresysteme (L2S2): "Design for Future - Langlebige Softwaresysteme", Karlsruhe, Germany, Oktober 15-16, 2009.

  • Rebekka Neumann:
    Inkrementelle, zweistufige Deadlock-Analyse für unvollständige Java Card 3.0 Programme
    Programmiersprachen und Rechenkonzepte - 26. Workshop der GI-Fachgruppe "Programmiersprachen und Rechenkonzepte" Bad Honnef, 4.-6. Mai 2009, Technischer Bericht 0915, Christian-Albrechts-Universität zu Kiel

  • Gerrit Meixner, Daniel Görlich, Kai Breiner, Heinrich Hußmann, Andreas Pleuß, Stefan Sauer, Jan Van den Bergh:
    Fourth International Workshop on Model Driven Development of Advanced User Interfaces
    In Proceedings of the 2009 International Conference on Intelligent User Interfaces, Sanibel Island, Florida, USA. ACM 2009, ISBN 978-1-60558-168-2, S. 503-504, Februar 8-11, 2009.

  • Michael Mlynarski, Baris Güldali, Melanie Späth, Gregor Engels:
    From Design Models to Test Models by Means of Test Ideas.
    In Proceedings of MoDeVVa09: MODELS Workshop on Model-driven Engineering, Verification, and Validation: Integrating Verification and Validation in MDE. ACM, 2009.

  • Gerrit Meixner, Daniel Görlich, Kai Breiner, Heinrich Hußmann, Andreas Pleuß, Stefan Sauer, Jan Van den Bergh:
    MDDAUI '09 - Model Driven Development of Advanced User Interfaces 2009
    In E. Yu, J. Eder, C. Rolland (eds.): Proceedings of the Forum at the CAiSE 2009 Conference, Amsterdam (The Netherlands), CEUR, vol. 453, pp. 25-30, 2009.

  • Andrea Baumann, Gregor Engels, Alexander Hofmann, Stefan Sauer, Johannes Willkomm
    A Holistic Software Engineering Method for Service-Oriented Application Landscape Development
    In Proceedings of the First NAF Academy Working Conference on Practice-Driven Research on Enterprise Transformation (PRET 2009), Amsterdam (The Netherlands), Springer (Berlin/Heidelberg), Lecture Notes in Business Information Processing, vol. 28, pp. 1-17, 2009.

  • Frank Salger, Stefan Sauer, Gregor Engels
    An Integrated Quality Assurance Framework for Specifying Business Information Systems
    In Proceedings of the IUI'09 Workshop on Model Driven Development of Advanced User Interfaces, Sanibel Island, USA, Februar 8, 2009.

  • Frank Salger, Stefan Sauer, Gregor Engels
    Integrated Specification and Quality Assurance for Large Business Information Systems
    In Proceedings of the 2nd India Software Engineering Conference (ISEC'09), ACM, pp. 129-130, 2009.

  • Gregor Engels, Silke Geisen, Stefan Sauer, Olaf Port
    Sicherstellen der Betrachtung von nicht-funktionalen Anforderungen in SCRUM-Prozessen durch Etablierung von Feedback
    In Stefan Fischer, Erik Maehle, Rüdiger Reischuk (eds.): Informatik 2009 - Im Focus das Leben. , LNI, vol. 154, pp. p. 458, 2009.

  • Claudia Priesterjahn, Matthias Tichy, Stefan Henkler, Martin Hirsch, Wilhelm Schäfer
    Fujaba4Eclipse Real-Time Tool Suite
    In Model-Based Engineering of Embedded Real-Time Systems (MBEERTS), LNCS, pp. 1--7, Springer, 2009.

  • Betty H.-C. Cheng, Rogério de Lemos, Holger Giese, Paola Inverardi, Jeff Magee, Jesper Andersson, Basil Becker, Nelly Bencomo, Yuriy Brun, Bojan Cukic, Giovanna Di-Marzo Serugendo, Schahram Dustdar, Anthony Finkelstein, Cristina Gacek, Kurt Geihs, Vincenzo Grassi, Gabor Karsai, Holger-M. Kienle, Jeff Kramer, Marin Litoiu, Sam Malek, Raffaela Mirandola, Hausi-A. Müller, Sooyong Park, Mary Shaw, Matthias Tichy, Massimo Tivoli, Danny Weyns, Jon Whittle
    Software Engineering for Self-Adaptive Systems: A Research Roadmap
    In Software Engineering for Self-Adaptive Systems (Betty H.-C. Cheng, Rogério de Lemos, Holger Giese, Paola Inverardi, and Jeff Magee, eds.), vol. 5525 of Lecture Notes in Computer Science, pp. 1--26, Springer, 2009.

  • A. Dell'Aere, M. Hirsch, B. Klöpper, M. Koester, M. Krüger, A. Krupp, T. Müller, S.-Oberthür-S. Pook, C. Priesterjahn, C. Romaus, A. Schmidt, C. Sondermann-Wölke, M. Tichy, H. Vöcking, H. Zimmer
    Verlässlichkeit selbstoptimierender Systeme -- Potenziale nutzen und Risiken vermeiden
    In vol. Band 235. Paderborn: HNI-Verlagsschriftenreihe, 2009.

  • Matthias Schnelte
    Generating Test Cases for Timed Systems from Controlled Natural Language Specifications
    Proc."3rd IEEE International Conference on Secure Systems Integration and Reliability Improvement" (SSIRI'09), Shanghai, IEEE Press, 2009 (to appear)

  • Jan Meyer, Wilhelm Schäfer
    Automatische Analyse und Generierung von AUTOSAR - Konfigurationsdaten
    In H. Giese, M. Huhn, U. Nickel, B. Schätz (Hrsg.): Tagungsband des Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme V. Informatik- Bericht 2009-01, Carl-Friedrich-Gauß-Fakultät für Mathematik und Informatik, Technische Universität Braunschweig, 2009.

  • Martin Assmann, Gregor Engels, Thomas von der Maßen, Andreas Wübbeke
    Identifying Software Product Line Component Services
    In Proceedings of International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE 09), 2009. (to be published)

  • Baris Güldali, Michael Mlynarski, Andreas Wübbeke, Gregor Engels:
    Model-Based System Testing Using Visual Contracts.
    In Proceedings of SEAA Conference 2009, Special Session on "Model Driven Engineering". IEEE, pp. 121-124, 2009.

  • Christian Bimmermann
    Ansatz für ein durchgängiges Variantenmanagement in der automobilen Steuergeräteentwicklung
    SE 2009 - Workshopband, Workshop Produkt-Variabilität im gesamten Lebenszyklus (PVLZ 2009), Kaiserslautern, Germany, Gesellschaft für Informatik, 2009

  • Thomas von der Maßen, Andreas Wübbeke
    Lösungsorientierte Software
    Produktlinienentwicklung in heterogenen Systemlandschaften. In Proceedings of Produktlinien im Kontext (PIK09), 2009 (to be published)

  • Rebekka Neumann, Michael Thies, Uwe Kastens
    Incremental, two-level deadlock analysis for incomplete Java Card 3.0 programs
    Third International Conference on Tests And Proofs (TAP) 2009, Zurich, Switzerland, Technical Report 630, ETH Zurich 2009

  • Lu Yu, Lars Schnake, Rebekka Neumann, Carsten Rust
    Smart Card Web Server Based Mashups of Mobile Services and SIM Applications
    Wireless World Research Forum Meeting 22, 2009. (to appear)

  • Michael Mlynarski, Marian Jureczko
    Zautomatyzowane testy akceptacyjne dla aplikacji internetowych w programowaniu sterowanym testami
    In Proceedings of Krajowa Konferencja Inzynierii Oprogramowania 2009. , pp. (to be published) (2009)

2008

  • Balzer, H.; Kohlweyer, M.; Nawratil, P.; Adam, V.
    Diagnoseverifikation in frühen Entwicklungsphasen – Beispiel einer automatischen Außenlichtsteuerung.
    Elektronik Automotive, 12-2008.

  • Engels, G.; Guldali, B.; Soltenborn, C.; Wehrheim, H.
    Assuring Consistency of Business Process Models and Web Services Using Visual Contracts
    In Schurr, A.,Nagl, M., Zundorf, A. (Eds.): Proceedings of the 3rd International Symposium on Applications of Graph Transformation with Industrial Relevance (AGTIVE 2007), October 10–12, 2007, Kassel (Germany), Revised Selected and Invited Papers, LNCS, Vol. 5088, pp. 17–31. Springer, Berlin/Heidelberg 2008.

  • Pleus, A.; Van den Bergh, J.; Sauer, S.; Gorlich, D.; Husmann, H.
    Third International Workshop on Model Driven Development of Advanced User Interfaces
    In: Giese, H. (Ed.): Models in Software Engineering, Workshops and Symposia at MoDELS 2007, September 30–October 5, 2007, Nashville, TN (USA), Reports and Revised Selected Papers, LNCS, Vol. 5002, pp. 59–64. Springer, Berlin/Heidelberg 2008.

  • Voigt, H.; Guldali, B.; Engels, G.
    Measuring the Testability of Models by Quality Plans
    In Schieferdecker, I., Goericke, S. (Eds.): Setting Quality Standards, Proceedings of the 11th International Conference on Quality Engineering in Software Technology (CONQUEST 2008), September 24–26, 2008, Potsdam (Germany), pp. 353–370. dpunkt.verlag, Heidelberg 2008.

  • Ellerweg, J.; Engels, G.; Guldali, B.
    Modell basierter Komponententest mit visuellen Kontrakten
    In Hegering, H.-G., Lehmann, A., Ohlbach, H.J., Scheideler, C. (Eds.): INFORMATIK 2008, Beherrschbare Systeme – dank Informatik, Band 1, Beitrage der 38. Jahrestagung der Gesellschaft für Informatik e.V. (GI), 8.–13. September 2008, München (Germany), LNI, Vol. P-133, S. 211–214. Gesellschaft für Informatik, Bonn 2008.

  • Wübbeke, A.
    Towards an Efficient Reuse of Test Cases for Software Product Lines
    In Thiel, S., Pohl, K. (Eds.): Proceedings of the 12th International Software Product Line Conference (SPLC 2008), September 8-12, 2008, Limerick (Ireland), Vol. 2, pp. 361–368. Lero, Limerick 2008.

  • Jörg Holtmann and Matthias Tichy
    Component Story Diagrams in Fujaba4Eclipse
    In Proc. of the 6th International Fujaba Days 2008, Dresden, Germany, pp. 44--47, September 2008.

  • Gregor Engels, Baris Güldali, Stefan Sauer:
    Formalisierung der funktionalen Anforderungen mit visuellen Kontrakten und deren Einsatz für modellbasiertes Testen.
    In E.E. Doberkat, U. Kelter (eds.): Softwaretechnik-Trends, vol. 28, no. 3, pp. 12-16. GI, 2008.

  • Tichy, M.; Henkler, S.; Meyer, M.; von, M.
    Safety of Component-Based Systems: Analysis and Improvement using Fujaba4Eclipse
    In: Companion Proceedings of the 30th International Conference on Software Engineering (ICSE), Leipzig, Germany, pp. 1–2, May 2008.

  • Michael Mlynarski
    Qualitätssicherung im Business Process Modeling durch automatische Ableitung visueller Kontrakte aus heterogenen UML-Modellen
    In Informatiktage 2008. Fachwissenschaftlicher Informatik-Kongress, 14. und 15. März 2008, B-IT Bonn-Aachen International Center for Information Technology in Bonn. GI, LNI, pp. 87-90 (2008)

  • Salger, F.; Sauer, S.; Engels, G.
    Integrated Specification and Quality Assurance for Large Business Information Systems
    In Proceedings of the 2nd India Software Engineering Conference (ISEC’09), February 23–26, 2009, Pune, India. To appear.

  • von der Masen, T.; Wubbeke, A.
    Modellierungvon Variabilitat in der Geschaftsanalyse – eine industrielle Fallstudie
    In Maalej, M., Brugge, B. (Eds.): Software Engineering 2008, Fachtagung des GI-Fachbereichs Softwaretechnik, Workshop band, Produktlinien im Kontext: Technologie, Prozesse, Business und Organisation (PiK2008), Februar 18–22, 2008, München (Germany), LNI, Vol. P-122, pp. 285–296. Gesellschaft für Informatik, Bonn 2008.

  • Christ, F.; Sauer, S.
    Open Source Stacks
    In M. Asche, W. Bauhus, E. Mitschke, B. Seel (Eds.): Open Source: Kommerzialisierungsmöglichkeiten und Chancen für die Zusammenarbeit von Hochschulen und Unternehmen, Patent Offensive Westfalen Ruhr, Vol. 3, S. 133–154, Waxmann Verlag, Münster 2008.

  • Engels, G.; Sauer, S.; Soltenborn, C.
    Unternehmens weit verstehen – unternehmensweit entwickeln: Von der Modellierungssprache zur Softwareentwicklungsmethode
    Informatik-Spektrum 31(5): S. 451–459, Sonderheft: Modellierung, Springer, Berlin/Heidelberg 2008.

  • Guldali, B.; Sauer, S.; Engels, G.
    Formalisierung der funktionalen Anforderungen mit visuellen Kontrakten und deren Einsatz für modellbasiertes Testen
    Softwaretechnik-Trends 28(3): S. 12–16, 2008.

  • Oeters R.; Kastens U.; Rust C.; Schnake, L.
    Benefits from realizing a location-based mobile hotel service with Java Card 3.0
    Technischer Bericht, Reihe Informatik tr-ri08-292-1, Universität Paderborn.

  • Tichy, M.; Henkler, S.; Holtmann, J.; Oberthur, S.
    Towards a Transformation Language for Component Structures
    In: Postproc. of the 4th Workshop on Object-oriented Modeling of Embedded Real-Time Systems (OMER 4), Paderborn, Germany, 2008.

  • Jens Ellerweg, Gregor Engels, Baris Güldali:
    Modellbasierter Komponententest mit visuellen Kontrakten.
    In Heinz-Gerd Hegering and Axel Lehmann and Hans Jürgen Ohlbach and Christian Scheideler (eds.): INFORMATIK 2008, Beherrschbare Systeme - dank Informatik, Band 1, Beiträge der 38. Jahrestagung der Gesellschaft für Informatik e.V. (GI). GI, LNI, vol. 133, pp. 211-214, 2008.

  • Thomas von der Maßen, Andreas Wübbeke
    Modellierung von Variabilität in der Geschäftsanalyse – eine industrielle Fallstudie
    In W. Maalej and B. Brügge (eds.): Produktlinien im Kontext: Technologie, Prozesse, Business und Organisation (PiK2008). Gesellschaft für Informatik (GI) (München), Lecture Notes in Informatics, vol. 122, pp. 285-296, 2008

  • Matthias Tichy, Stefan Henkler, Jörg Holtmann, and Simon Oberthür
    Towards a Transformation Language for Component Structures
    In Postproc. of the 4th Workshop on Object-oriented Modeling of Embedded Real-Time Systems (OMER 4), Paderborn, Germany, pp. 27--39, 2008

  • Lars Schnake, Carsten Rust, Rebekka Neumann
    SIM card based Security and Trust Management in Mobile Services
    Wireless World Research Forum Meeting 21, 2008

  • Rebekka Oeters, Uwe Kastens, Carsten Rust, Lars Schnake
    Benefits from realizing a location-based mobile hotel service with Java Card 3.0
    Technischer Bericht, Reihe Informatik tr-ri-08-292-1, Universität Paderborn, 2008

2007

2006

2005
 

Index A – Z | Impressum | Webmaster