2010
-
Jan-Christopher Bals, Fabian Christ, Gregor Engels, Christian Gerth, Markus Luckey:
A Generic Meta-Model-based Approach for Specifying Framework Functionality and Usage.
In Proc. 48th International Conference TOOLS 2010 (Málaga, Spain). Springer (Berlin/Heidelberg), LNCS, vol. 6141, pp. 21-40 (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 Sihling, M., Rausch, A., Friedrich, J., and Kuhrmann, M. (eds.): Proceedings of the Conference on Software & Systems Engineering Essentials 2010 (SEE 2010), Köln (Germany). pp. 277-298 Technische Universität München (2010).
-
Frank Brüseke, Yavuz Sancar, Gregor Engels:
Teststufenspezifische Qualitätsattribute für die Qualitätsbewertung von nichtfunktionalen Anforderungen.
In Wagner, S.; Broy, M.; Deissenboeck, F. ; Münch, J.; Liggesmeyer, P. (eds.): Proceedings of Software-Qualitätsmodellierung und -bewertung (SQMB '10), München, Germany. (2010).
-
Frank Brüseke, Yavuz Sancar, Gregor Engels:
Architecture-Driven Derivation of Performance Metrics.
In Wagner, S.; Broy, M.; Deissenboeck, F. ; Münch, J.; Liggesmeyer, P. (eds.): Proceedings of Software-Qualitätsmodellierung und -bewertung (SQMB '10), München, Germany. Technische Universität München (2010).
-
Tobias Eckardt, Stefan Henkler:
Component Behavior Synthesis for Critical Systems.
In Proc. 1st International Symposium on Architecting Critical Systems (ISARCS). Springer, May 2010. accepted.
-
Baris Güldali, Stefan Jungmayr, Michael Mlynarski, Stefan Neumann, Mario Winter:
Starthilfe für modellbasiertes Testen.
OBJEKTspektrum, no. 03/2010, pp. 63-69.
-
Baris Güldali, Michael Mlynarski, Yavuz Sancar:
Effort Comparison of Model-based Testing Scenarios.
In Proc. of 3th International Conference on Software Testing, Verification, and Validation Workshops, IEEE Computer Society, pp. 28-36 (2010).
-
Baris Güldali, Stefan Sauer:
Transfer of Testing Research from University to Industry: An Experience Report.
In online Proceedings of International TestIstanbul Conference 2010 (www.testistanbul.org). Turkish Testing Board, May 2010. accepted.
-
Baris Güldali, Stefan Sauer, Peter Winkelhane, Michael Jahnich, Holger Funke:
Pattern-based Generation of Test Plans for Open Distributed Processing Systems.
In Proc. 5th International Workshop on Automation of Software Test (AST 2010), ICSE Workshop. ACM Press, pp. 119-126 (2010).
-
Stefan Henkler, Jan Meyer, Wilhelm Schäfer, Ulrich Nickel:
Reverse Engineering automotiver Softwaresysteme.
In Proc. of the Dagstuhl-Workshop: Model-Based Development of Embedded Systems (MBEES), 2010, Schloss Dagstuhl, Germany, Informatik-Bericht (Technische Universität Braunschweig), pp. 78-84. April 2010.
-
Stefan Henkler, Jan Meyer, Wilhelm Schäfer, Ulrich Nickel:
Legacy Component Integration by the Fujaba Real-Time Tool Suite.
In Proceedings of the 32nd International Conference on Software Engineering (ICSE 2010), May 2-8, 2010, Cape Town, South Africa (Washington, DC, USA), pp. 615-618. IEEE Computer Society, May 2010. accepted.
-
Jörg Holtmann:
Mit Satzmustern von textuellen Anforderungen zu Modellen.
In OBJEKTspektrum, Online Themenspecial Requirements Engineering, 2010.
-
Jörg Holtmann, Jan Meyer, Florian Nafz, Matthias Tichy, Wolfgang Reif, Wilhelm Schäfer, Hella Seebach:
Designing Self-Healing in Automotive Systems.
In Proc. of the 7th International Conference on Autonomic and Trusted Computing (ATC 2010), Xi'an, China, 26-29 October, 2010, Lecture Notes in Computer Science. Springer Verlag, October 2010 . accepted.
-
Wilfried Huck, Alexej Alakbarov, Gitta Domik, Rafael Radkowski, Roswitha Tölke, Ann-Cathrin Mikus, Silke Geisen:
Computergestützte traumatherapeutische Behandlungsmöglichkeiten bei Verkehrsunfallopfern von Kinder und Jugendlichen.
In Proc. 12. Jahrestagung der Deutschsprachigen Gesellschaft für Psychotraumatologie (DeGPT), 2010.
-
Marian Jureczko, Michael Mlynarski:
Automated acceptance testing tools for web applications using Test-Driven Development.
Electrical Review (to be published).
-
Benjamin Klöpper, Jan Meyer, Matthias Tichy, Shinichi Honiden:
Planning with Utilities and State Trajectories Constraints for Self-Healing in Automotive Systems.
In Proc. of the Fourth IEEE International Conference on Self-Adaptive and Self-Organizing Systems Budapest, Hungary, September 27-October 1, 2010. IEEE Computer Society Press, September 2010 . accepted.
-
Renate Löffler, Baris Güldali, Silke Geisen:
Towards Model-based Acceptance Testing for Scrum.
Softwaretechnik-Trends, 2010 (to be published).
-
Jan Meyer, Jörg Holtmann, Ulrich Nickel, Wilhelm Schäfer:
Eine erweiterte Systemmodellierung zur Entwicklung von softwareintensiven Anwendungen in der Automobilindustrie.
In Proc. of the Software Engineering 2010 Conference - Workshop Contributions, Workshop ENVISION2020, Paderborn, Germany, 22.-26.2.2010. 2010.
-
Michael Mlynarski:
Holistic Model-Based Testing for Business Information Systems.
In Proc. 3rd International Conference on Software Testing, Verification and Validation, pp. 327-330, IEEE 2010.
-
Sebastian Oster, Andreas Wübbeke, Gregor Engels, Andy Schürr:
Model-Based Software Product Lines Testing Survey.
In Pieter Mosterman, Ina Schieferdecker,Justyna Zander (eds.): Model-Based Testing For Embedded Systems. CRC Press 2010.
-
Yavuz Sancar, Frank Brüseke, Hendrik Voigt, Stefan Sauer, Gregor Engels:
Towards Economical Software Release Recommendations.
In Etoos2010 - Workshop on Testing Object-Oriented Systems. (2010 - to be published).
-
Yavuz Sancar, Claudia Schumacher:
Erweiterung des TPI-Modells zur Reifegradbewertung unter Berücksichtigung von projekteigenen Anforderungen.
In Sihling, M., Rausch, A., Friedrich, J., and Kuhrmann, M. (eds.) Proceedings of the Conference on Software & Systems Engineering Essentials 2010 (SEE 2010), Köln (Germany). pp. 299-314 Technische Universität München (2010).
-
Wilhelm Schäfer, Tobias Eckardt, Christian Henke, Lydia Kaiser, Timo Kerstan, Jan Rieke, Matthias Tichy:
Der Softwareentwurf im Entwicklungsprozess mechatronischer Systeme.
In 7. Paderborner Workshop Entwurf mechatronischer Systeme, HNI-Verlagsschriftenreihe, Vol. 272, pp. 3-22, 2010.
-
Matthias Tichy, Martin Hirsch, Christopher Brink, Christopher Gerking, Martin Hahn, Wilhelm Schäfer:
Integration hybrider Modellierungstechniken in CAMeL-View.
In Proc. 7. Paderborner Workshop Entwurf mechatronischer Systeme, HNI-Verlagsschriftenreihe, Vol. 272, pp. 235-251, 2010.
-
Thomas von der Maßen, Andreas Wübbeke:
Verteiltes Testen heterogener Systemlandschaften.
In Proc. Software Engineering 2010 (SE2010), (2010).
-
Henning Wachsmuth, Peter Prettenhofer, Benno Stein:
Efficient Statement Identification for Automatic Market Forecasting.
In Proc. 23rd International Conference on Computational Linguistics (COLING 2010), Bejing, China, August 23 - 27, 2010. 2010 (to be published).
-
Andreas Wübbeke, Sebastian Oster:
Verknüpfung von kombinatorischem Plattform- und individuellem Produkt-Test für Software-Produktlinien.
In Andreas Birk, Klaus Schmid, Markus Völter (Eds.): Proc. Produktlinien im Kontext (PIK2010), (2010).
2009
-
Martin Assmann, Gregor Engels, Thomas von der Maßen, Andreas Wübbeke
Identifying Software Product Line Component Services
In S. Jablonski, L. Maciaszek (Eds.): Proc. International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE 09), pp. 45–56, 2009.
-
Andrea Baumann, Gregor Engels, Alexander Hofmann, Stefan Sauer, Johannes Willkomm
A Holistic Software Engineering Method for Service-Oriented Application Landscape Development
In Proc. First NAF Academy Working Conference on Practice-Driven Research on Enterprise Transformation (PRET 2009), Amsterdam (The Netherlands), Lecture Notes in Business Information Processing, vol. 28, pp. 1-17. Springer, Berlin/Heidelberg 2009.
-
Christian Bimmermann
Ansatz für ein durchgängiges Variantenmanagement in der automobilen Steuergeräteentwicklung
In J. Münch, P. Liggesmeyer (Eds.): Software Engineering 2009 – Workshopband, Fachtagung des GI-Fachbereichs Softwaretechnik, Workshop Produkt-Variabilität im gesamten Lebenszyklus (PVLZ 2009), Kaiserslautern (Germany), LNI, Vol. 150, pp. 97–100. Gesellschaft für Informatik, Bonn 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 B. H.-C. Cheng, R. de Lemos, H. Giese, P. Inverardi, J. Magee (Eds.): Software Engineering for Self-Adaptive Systems, LNCS, Vol. 5525, pp. 1-26, Springer, Berlin/Heidelberg 2009.
-
Allesandro Dell'Aere, Martin Hirsch, Benjamin Klöpper, Markus Koester, Alexander Krupp, Martin Krüger, Thomas Müller, Simon Oberthür, Sebastian Pook, Claudia Priesterjahn, Christoph Romaus, Alexander Schmidt, Christoph Sondermann-Wölke, Matthias Tichy, Hnner Vöcking, Detmar Zimmer
Verlässlichkeit selbstoptimierender Systeme - Potenziale nutzen und Risiken vermeiden
HNI-Verlagsschriftenreihe,Band 235, Heinz Nixdorf Institut, Universität Paderborn, Paderborn 2009.
-
Gregor Engels, Silke Geisen, Stefan Sauer, Olaf Port
Sicherstellen der Betrachtung von nicht-funktionalen Anforderungen in SCRUM-Prozessen durch Etablierung von Feedback
In S. Fischer, E. Maehle, R. Reischuk (Eds.): Informatik 2009 - Im Focus das Leben. , LNI, Vol. 154, p. 458, 2009.
-
Gregor Engels, Ralf Reussner, Christof Momm, Stefan Sauer (Eds.)
Design for Future - Langlebige Softwaresysteme 2009
Proceedings 1. Workshop des GI-Arbeitskreises Langlebige Softwaresysteme (L2S2): "Design for Future - Langlebige Softwaresysteme", Karlsruhe (Germany), October 15-16, 2009. CEUR Workshop Proceedings, Vol. 537, ISSN 1613-0073, http://CEUR-WS.org/Vol-537/
-
Baris Güldali, Holger Funke, Michael Jahnich, Stefan Sauer, Gregor Engels
Semi-automated Test Planning for e-ID Systems by Using Requirements Clustering
In Proc. 24th IEEE/ACM International Conference on Automated Software Engineering (ASE 2009), November16-20, 2009, Auckland (New Zeland), pp. 29-39, 2009.
-
Baris Güldali, Michael Mlynarski, Andreas Wübbeke, Gregor Engels
Model-Based System Testing Using Visual Contracts
In Proc. SEAA Conference 2009, Special Session on "Model Driven Engineering". pp. 121–124. IEEE Press, 2009.
-
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 Proc. 2009 International Conference on Intelligent User Interfaces, Sanibel Island, Florida (USA), February 8, 2009, pp. 503-504. ACM 2009.
-
Gerrit Meixner, Daniel Görlich, Kai Breiner, Heinrich Hußmann, Andreas Pleuß, Stefan Sauer, Jan Van den Bergh
Proceedings of the Workshop on Model Driven Development of Advanced User Interfaces (MDDAUI'09)
Sanibel Island, Florida (USA), February 8, 2009, CEUR Workshop Proceedings, Vol. 439, ISSN 1613-0073, http://CEUR-WS.org/Vol-439/
-
Jan Meyer, Wilhelm Schäfer
Automatische Analyse und Generierung von AUTOSAR-Konfigurationsdaten
In H. Giese, M. Huhn, U. Nickel, B. Schätz (Eds.): Tagungsband 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.
-
Michael Mlynarski, Baris Güldali, Melanie Späth, Gregor Engels
From Design Models to Test Models by Means of Test Ideas
In L. Lúcio and S. Weißleder (Eds.): MoDeVVa ‘09: Proc. 6th International Workshop on Model-Driven Engineering, Verification and Validation, ACM International Conference Proceeding Series; Vol. 413, Article 7, pp. 1-10. ACM, New York 2009.
-
Michael Mlynarski, Marian Jureczko
Zautomatyzowane testy akceptacyjne dla aplikacji internetowych w programowaniu sterowanym testami
In W. Dabrowski, A. Stasiak (Eds.): Proc. Krajowa Konferencja Inzynierii Oprogramowania 2009. Wydawnictwo Komunikacji i Lacznosci, Od modelu do wdrozenia: kierunki badan i zastosowan inzynierii oprogramowania, Vol. 3, No. 11, pp. 294-305, 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 (Germnay), May 4-6, 2009, Technischer Bericht 0915, Christian-Albrechts-Universität zu Kiel, 2009.
-
Rebekka Neumann, Michael Thies, Uwe Kastens
Incremental, Two-Level Deadlock Analysis for Incomplete Java Card 3.0 Programs
In Proc. Third International Conference on Tests And Proofs (TAP) 2009, Zurich (Switzerland), Technical Report 630, ETH Zurich, 2009.
-
Claudia Priesterjahn, Matthias Tichy
Modeling Safe Reconfiguration with the FUJABA Real-Time Tool Suite
In Proc. 7th International Fujaba Days, Eindhoven ( The Netherlands), November 16-17, 2009, pp. 45-49. Technical report, Eindhoven University of Technology, The Netherlands, November 2009.
-
Claudia Priesterjahn, Matthias Tichy, Stefan Henkler, Martin Hirsch, Wilhelm Schäfer
Fujaba4Eclipse Real-Time Tool Suite
In Proc. Model-Based Engineering of Embedded Real-Time Systems (MBEERTS), LNCS, pp. 1-7, Springer, 2009.
-
Frank Salger, Stefan Sauer, Gregor Engels
An Integrated Quality Assurance Framework for Specifying Business Information Systems
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.
-
Frank Salger, Stefan Sauer, Gregor Engels
Integrated Specification and Quality Assurance for Large Business Information Systems
In Proc. 2nd India Software Engineering Conference (ISEC'09), ACM, pp. 129-130, 2009.
-
Matthias Schnelte
Generating Test Cases for Timed Systems from Controlled Natural Language Specifications
In Proc. 3rd IEEE International Conference on Secure Systems Integration and Reliability Improvement" (SSIRI'09), Shanghai (China), pp. 348–353. IEEE Press, 2009.
-
Michael Spijkerman, Tobias Eckardt
Modellbasiertes Testen auf Basis des fundamentalen Testprozesses
Softwaretechnik-Trends 29(4), pp. 5-7, November 2009.
-
Thomas von der Maßen, Andreas Wübbeke
Lösungsorientierte Software Produktlinienentwicklung in heterogenen Systemlandschaften
In Proc. Produktlinien im Kontext (PIK09), 2009 (to be published)
-
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.
2008
-
Valentin Adam, Heinrich Balzer, Matthias Kohlweyer, Petra Nawratil
Diagnoseverifikation in frühen Entwicklungsphasen – Erläuterungen am Beispiel einer automatischen Außenlichtsteuerung
Elektronik Automotive 09-2008, pp. 32–35.
-
Fabian Christ, Stefan Sauer
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.
-
Jens Ellerweg, Gregor Engels, Baris Güldali
Modellbasierter Komponententest mit visuellen Kontrakten
In H.-G. Hegering, A. Lehmann, H. J. Ohlbach, C. 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. Gesellschaft für Informatik, Bonn 2008.
-
Gregor Engels, Baris Güldali, Stefan Sauer
Formalisierung der funktionalen Anforderungen mit visuellen Kontrakten und deren Einsatz für modellbasiertes Testen.
Softwaretechnik-Trends 28(3), pp. 12-16.
-
Gregor Engels, Baris Güldali, Christian Soltenborn, Heike Wehrheim
Assuring Consistency of Business Process Models and Web Services Using Visual Contracts
In A. Schürr, M. Nagl, A. Zündorf (Eds.): Proc. 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.
-
Gregor Engels, Stefan Sauer, Christian Soltenborn
Unternehmensweit verstehen – unternehmensweit entwickeln: Von der Modellierungssprache zur Softwareentwicklungsmethode
Informatik-Spektrum 31(5), pp. 451–459, Sonderheft: Modellierung. Springer, Berlin/Heidelberg 2008.
-
Baris Güldali, Stefan Sauer, Gregor Engels
Formalisierung der funktionalen Anforderungen mit visuellen Kontrakten und deren Einsatz für modellbasiertes Testen
Softwaretechnik-Trends 28(3), pp. 12–16, 2008.
-
Jörg Holtmann, Matthias Tichy
Component Story Diagrams in Fujaba4Eclipse
In Proc. 6th International Fujaba Days 2008, Dresden (Germany), pp. 44–47, September 2008.
-
Michael Mlynarski
Qualitätssicherung im Business Process Modeling durch automatische Ableitung visueller Kontrakte aus heterogenen UML-Modellen
In Informatiktage 2008, Fachwissenschaftlicher Informatik-Kongress, March 14-15, 2008, Bonn (Germany). GI, LNI, Vol. S-6, pp. 87-90. Gesellschaft für Informatik, Bonn 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
-
Andreas Pleuß, Jan Van den Bergh, Stefan Sauer, Daniel Görlich, Heinrich Hußmann
Third International Workshop on Model Driven Development of Advanced User Interfaces
In: H. Giese (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.
-
Lars Schnake, Carsten Rust, Rebekka Neumann
SIM card based Security and Trust Management in Mobile Services
Wireless World Research Forum Meeting 21, 2008
-
Matthias Tichy, Stefan Henkler, Jörg Holtmann, Simon Oberthür
Towards a Transformation Language for Component Structures
In Postproc. 4th Workshop on Object-oriented Modeling of Embedded Real-Time Systems (OMER 4), Paderborn (Germany), pp. 27–39, 2008.
-
Matthias Tichy, Stefan Henkler, Matthias Meyer, Markus von Detten
Safety of Component-Based Systems: Analysis and Improvement using Fujaba4Eclipse
In Companion Proc. 30th International Conference on Software Engineering (ICSE), Leipzig, Germany, pp. 1–2, May 2008.
-
Hendrik Voigt, Baris Güldali, Gregor Engels
Quality Plans for Measuring the Testability of Models by Quality Plans
In I. Schieferdecker, S. Goericke (Eds.): Setting Quality Standards, Proc. 11th International Conference on Quality Engineering in Software Technology (CONQUEST 2008), September 24–26, 2008, Potsdam (Germany), pp. 353–370. dpunkt.verlag, Heidelberg 2008.
-
Thomas von der Maßen, Andreas Wübbeke
Modellierungvon Variabilitat in der Geschaftsanalyse – eine industrielle Fallstudie
In M. Maalej, B. Brügge (Eds.): Software Engineering 2008, Fachtagung des GI-Fachbereichs Softwaretechnik, Workshopband, Produktlinien im Kontext: Technologie, Prozesse, Business und Organisation (PiK2008), February 18–22, 2008, München (Germany), LNI, Vol. P-122, pp. 285–296. Gesellschaft für Informatik, Bonn 2008.
-
Andreas Wübbeke
Towards an Efficient Reuse of Test Cases for Software Product Lines
In S. Thiel, K. Pohl, (Eds.): Proc. 12th International Software Product Line Conference (SPLC 2008), September 8-12, 2008, Limerick (Ireland), Vol. 2, pp. 361–368. Lero, Limerick 2008.
2007
-
Michael Mlynarski, Knut Hinkelmann, Johannes Magenheim, Tobias Nelkner, Wolfgang Reinhardt, Kai Holzweissig
KnowledgeBus - An Architecture to Support Intelligent and Flexible Knowledge Management
In Creating New Learning Experiences on a Global Scale, Second European Conference on Technology Enhanced Learning, EC-TEL 2007, Crete, Greece, September 17-20, 2007. Springer, pp. 487-492 (2007)
-
Michael Mlynarski, Tobias Nelkner, Wolfgang Reinhardt
Vom Informations- zum Wissensmanagement: Der Knowledge Bus als flexibler Lösungsansatz
In Informatiktage 2007: Fachwissenschaftlicher Informatik-Kongress, 30. und 31. März 2007, B-IT Bonn-Aachen International Center for Information Technology Bonn. , pp. 99-102 (2007)
- Jan-Christopher Bals, Fabian Christ, Gregor Engels, Martin Erwig
ClassSheets - model based, object oriented design of spreadsheet applications
In Journal of Object Technology 6(9), Special Issue: TOOLS Europe 2007, Oktober 2007. www.jot.fm/
- Jan-Christopher Bals, Fabian Christ, Gregor Engels, Stefan Sauer
Software-Qualität - überall! - Excel-lente Software
Forschungsforum Paderborn 10:56-60, January 2007.
- Heinrich Balzer, Benno Stein, Oliver Niggemann
Diagnose in verteilten automotiven Systemen
In Jürgen Gausemeier (Ed.): 5. Paderborner Workshop Entwurf mechatronischer Systeme, 22.-23. März 2007,
Volume 210 of HNI-Schriftenreihe, ISBN 978-3-939350-29-3, pp. 243-254. Heinz Nixdorf Institut, Paderborn
- Christian Bimmermann
Kurzbericht zur Diplomarbeit "Entwurf und Implementierung eines Prototypen für das Variantenmanagement bei Steuergerätetests mit Hardware-in-the-Loop Simulatoren
In Proc. Nachwuchs-Workshop der Software Engineering 2007 (SE 07), Hamburg, 27. März 2007, " http://www.se-konferenzen.de/bisher/se2007/se07_workshops_wg0.html
- Kathrin Bröker
Automatisierte überprüfung von Modellierungsrichtlinien für Matlab/Simulink Modelle
In Proc. Nachwuchs-Workshop der Software Engineering 2007 (SE 07), Hamburg, 27. März 2007, " http://www.se-konferenzen.de/bisher/se2007/se07_workshops_wg0.html
- Gregor Engels, Baris Güldali, Christian Soltenborn, Heike Wehrheim
Quality Assurance for Business Process Models Using Visual Contracts
In Proc. International Workshop of Applications of Graph Transformations with Industrial Relevance (AGTIVE 2007), Kassel, 10.-12. Oktober 2007, pp. 17–31
- Matthias Gehrke, Holger Giese, Joachim Stroop (Eds.)
Proc. of the 4th Workshop on Object-oriented Modeling of Embedded Real-Time Systems (OMER 4)
Paderborn, 30.-31. Oktober 2007, Technischer Bericht tr-ri-07-286, Universität Paderborn, 2007
- Matthias Gehrke, Baris Güldali, Ekkart Kindler
Modelchecking - Eine Methode zur Verbesserung der Softwarequalität
s-lab Report No.2, Software Quality Lab (s-lab), Universität Paderborn, Juli 2007, ISSN 1863-0774
- Gregor Engels, Baris Güldali, Marc Lohmann
Towards Model-Driven Unit Testing
In T. Kühne (Ed.):
MoDELS 2006 Workshops, Genua, Italien, 1.-6. Oktober, 2006, Volume 4364 of Lecture Notes in Computer Science (LNCS), pp. 182-192. Springer, Berlin, Heidelberg, 2007
- Matthias Gehrke, Martin Hirsch, Ulrich Nickel, Oliver Niggemann, Wilhelm Schäfer, Dirk Stichling
Typisierung und Verifikation zeitlicher Anforderungen automotiver Software Systeme
In Tagungsband des Dagstuhl-Workshops "Modellbasierte Entwicklung eingebetteter Systeme III" (MBEES), 15.-18. Januar 2007, Schloß Dagstuhl, Informatik-Bericht 2007-01 der TU Braunschweig, pp. 73-81
- Matthias Gehrke, Martin Hirsch, Ulrich Nickel, Oliver Niggemann, Wilhelm Schäfer, Dirk Stichling
Verifikation zeitlicher Anforderungen in automotiven komponentenbasierten Software Systemen
In Bleek, Raasch, Züllinghoven (Eds.): Proc."Software Engineering 2007" (SE07), Volume 105 of GI-Edition - Lecture Notes in Informatics (LNI),
ISBN 978-3-88579-199-7, S. 251-252, 27.-30. März 2007, Hamburg
- Matthias Gehrke, Jan Meyer, Wilhelm Schäfer
Modellierung von Softwarekomponenten für mechatronische Systeme in UML auf Basis von Systemstrukturen
In: Proc. 5. Paderborner Workshop "Entwurf mechatronischer Systeme", Volume 210 of HNI-Verlagsschriftenreihe,
22.-23. März 2007, ISBN 978-3-939350-29-3, pp. 145-156, Heinz Nixdorf Institut, Paderborn
- Holger Giese, Stefan Henkler, Martin Hirsch, Florian Klein, Michael Spijkerman
Monitoring of Structural and Temporal Properties
In L. Geiger, H. Giese, A. Zündorf (Eds.): Proc. of the 5th International Fujaba Days 2007, Kassel, 8.-9. Oktober 2007, pp. 1–4
- Andreas Pleuß, Jan Van den Bergh, Heinrich Hußmann, Stefan Sauer, Daniel Görlich
MDDAUI'07, Proceedings of the MODELS'07 Workshop on Model Driven Development of Advanced User Interfaces
Volume 297 of CEUR Workshop Proceedings, http://ceur-ws.org/Vol-297
- Andreas Pleuß, Jan Van den Bergh, Stefan Sauer, Heinrich Hußmann, Alexander Bödcher
Model Driven Development of Advanced User Interfaces (MDDAUI) – MDDAUI'06 Workshop Report
In T. Kühne (Ed.): MoDELS 2006 Workshops
, Genua, Italien, 1.-6. Oktober, 2006, Volume 4364 of Lecture Notes in Computer Science (LNCS), pp. 100-104. Springer, Berlin, Heidelberg, 2007
- Stefan Sauer, Gregor Engels
Easy Model-Driven Development of Multimedia User Interfaces with GuiBuilder In C.
In C. Stephanidis (Ed.): Universal Access in Human-Computer Interaction, Proc. 4th International Conference on UAHCI 2007, Teil der HCI International 2007, Beijing, China, 22.-27. Juli 2007, Part II: Universal Access Methods, Techniques and Tools, Volume 4554 of Lecture Notes in Computer Science (LNCS), pp. 537–546. Springer, Berlin, Heidelberg, 2007
2006
- Heinrich Balzer, Oliver Niggemann, Benno Stein
Diagnosis in Automotive Applications - A Case Study with the Model Compilation Approach
3rd Monet Workshop on Model-Based Systems der ECAI 2006, 28. August 2006, Riva de Garda, Italien, [angenommen]
- Gregor Engels, Matthias Gehrke, Stefan Sauer
Multi-Private Public Partnership (MPPP) – Softwaretechnik auf dem Weg in die Industrie
In Chr. Hochberger, R. Liskowsky (Eds.): Proc. INFORMATIK 2006 - Informatik für Menschen, Band 1, Oktober 2006, Dresden, Beiträge der 36. Jahrestagung der Gesellschaft für Informatik e.V. (GI), Workshop Vernetzung von Software Engineering Expertise in Industrie und Forschung (VSEEIF), Volume P-93 of GI-Edition - Lecture Notes in Informatics (LNI), pp. 281-287. Köllen Druck+Verlag GmbH, Bonn, 2006
- Gregor Engels, Baris Güldali, Oliver Juwig, Marc Lohmann, Jan-Peter Richter
Industrielle Fallstudie: Einsatz visueller Kontrakte in serviceorientierten Architekturen
In B. Biel, M. Book, V. Gruhn (Eds.): Software Engineering 2006, Fachtagung des GI-Fachbereichs Softwaretechnik, Volume P-79 of GI-Edition - Lecture Notes in Informatics (LNI), pp. 111-122. Köllen Druck+Verlag GmbH, Bonn, März 2006
- Gregor Engels, Baris Güldali, Marc Lohmann
Towards Model-Driven Unit Testing
In D. Hearnden, J.G. Süß, N. Rapin, B. Baudry (Eds.): Proc. of the 3 rd Workshop on Model Design and Validation (MoDeV2a) der MoDELS 2006, Genua, Italien, Oktober 2006, pp. 16-29. http://modeva.itee.uq.edu.au/
- Gregor Engels, Jan Hendrik Hausmann, Marc Lohmann, Stefan Sauer
Teaching UML is Teaching Software Engineering is Teaching Abstraction
In J.-M. Bruel (Ed.): Proc. Satellite Events at the MoDELS 2005 Conference, MoDELS 2005 International Workshops, Doctoral Symposium, Educators Symposium, Revised Selected Papers, Volume 3844 of Lecture Notes in Computer Science (LNCS), pp. 306-319. Springer, Berlin, Heidelberg, 2006
- Gregor Engels, Marc Lohmann, Stefan Sauer, Reiko Heckel
Model-Driven Monitoring: An Application of Graph Transformation for Design by Contract
In A. Corradini, H. Ehrig, U. Montanari, L. Ribeiro, G. Rozenberg (Eds.): Proc. Third International Conference on Graph Transformations (ICGT 2006), Volume 4178 of Lecture Notes in Computer Science (LNCS), pp. 336-350. Springer, Berlin, Heidelberg, 2006
- Matthias Gehrke, Martin Hirsch, Petra Nawratil, Oliver Niggemann, Wilhelm Schäfer
Scenario-Based Verification of Automotive Software Systems
In Tagungsband des Dagstuhl-Workshops "Modellbasierte Entwicklung eingebetteter Systeme II" (MBEES), 9.-13. Januar 2006, Schloß Dagstuhl, Informatik-Bericht 2006-01 der TU Braunschweig, pp. 35-42
- Marc Lohmann, Gregor Engels, Stefan Sauer
Model-driven Monitoring: Generating Assertions from Visual Contracts
In: Proc. 21st IEEE/ACM International Conference on Automated Software Engineering (ASE 2006), pp. 355-356. IEEE Computer Society, 2006
- Andreas Pleuß, Jan Van den Bergh, Stefan Sauer, Heinrich Hußmann
Workshop Report: Model Driven Development of Advanced User Interfaces (MDDAUI)
In J.M. Bruel (Ed.): Proc. Satellite Events at the MoDELS 2005 Conference, MoDELS 2005 International Workshops, Doctoral Symposium, Educators Symposium, Revised Selected Papers, Volume 3844 of Lecture Notes in Computer Science (LNCS), pp. 182-190. Springer, Berlin, Heidelberg, 2006
- Andreas Pleuß, Jan Van den Bergh, Stefan Sauer, Heinrich Hußmann, Alexander Bödcher
MDDAUI'06 – Model Driven Development of Advanced User Interfaces 2006. Proceedings of the MoDELS'06 Workshop on Model Driven Development of Advanced User Interfaces
Volume 214 of CEUR Workshop Proceedings. http://ceur-ws.org/Vol-214/
- Jan-Peter Richter, Marc Lohmann, Gregor Engels, Baris Güldali, Oliver Juwig, Stefan Sauer
Semantische Beschreibung von Enterprise Services – Eine industrielle Fallstudie
s-lab Report No.1, Software Quality Lab (s-lab), Universität Paderborn, Mai 2006, ISSN 1863-0774
- Stefan Sauer, Markus Dürksen, Alexander Gebel, Dennis Hannwacker
GuiBuilder – A Tool for Model-Driven Development of Multimedia User Interfaces
In A. Pleuss, J. Van den Bergh, H. Hußmann, S. Sauer, A. Bödcher (Eds.): Proc. MDDAUI'06 - Model Driven Development of Advanced User Interfaces, Volume 214 of CEUR Workshop Proceedings. http://ceur-ws.org/Vol-214/
2005
- Gregor Engels, Jan Hendrik Hausmann, Marc Lohmann, Stefan Sauer
Teaching UML is Teaching Software Engineering is Teaching Abstraction
In H. Giese, P. Roques (Eds.): Proc. MoDELS/UML 2005 Educators' Symposium, Technical Report tr-ri-05-260, pp. 22–32. Fakultät für Elektrotechnik, Informatik und Mathematik, Universität Paderborn
- Gregor Engels, Marc Lohmann, Stefan Sauer
Design by Contract zur semantischen Beschreibung von Web Services
In A. B. Cremers, R. Manthey, P. Martini, V. Steinhage (Eds.): INFORMATIK 2005 - Informatik LIVE!, Band 1, Beiträge der 35. Jahrestagung der Gesellschaft für Informatik e.V. (GI), Bonn, 19.-22. September 2005, Workshop "Service-orientierte Architekturen - Zusammenwirken von Business & IT", Volume 68 of GI-Edition - Lecture Notes in Informatics (LNI), pp. 612-616, Köllen Druck+Verlag GmbH, Bonn, September 2005
- Gregor Engels, Marc Lohmann, Stefan Sauer
Modellbasierte Entwicklung von Web Services mit Design by Contract
In A. B. Cremers, R. Manthey, P. Martini, V. Steinhage (Eds.): INFORMATIK 2005 - Informatik LIVE! Band 1, Beiträge der 35. Jahrestagung der Gesellschaft für Informatik e.V. (GI), Bonn, 19.-22. September 2005, Workshop "Modellbasierte Qualitätssicherung", Volume 68 of GI-Edition - Lecture Notes in Informatics (LNI), pp. 491-495. Köllen Druck+Verlag GmbH, Bonn, September 2005
- Matthias Gehrke
Entwurf mechatronischer Systeme auf Basis von Funktionshierarchien und Systemstrukturen
Dissertation, Oktober 2005, Universität Paderborn
- Uwe Kastens, Hans Kleine Büning
Modellierung - Grundlagen und formale Methoden
Hanser Fachbuchverlag, September 2005
- Marc Lohmann, Stefan Sauer, Gregor Engels
Executable Visual Contracts
In: Proc. 2005 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC'05), Dallas, Texas, USA, 21.-24. September, 2005, pp. 63–70.
- Andreas Pleuß, Jan Van den Bergh, Heinrich Hußmann, Stefan Sauer
MDDAUI'05 – Model Driven Development of Advanced User Interfaces 2005. Proceedings of the MoDELS'05 Workshop on Model Driven Development of Advanced User Interfaces
Volume 159 of CEUR Workshop Proceedings. http://ceur-ws.org/Vol-159/
|
|