Fachartikel

Fachartikel

Damit wir nie aufhören, voneinander zu lernen.

Wir empfinden es als Privileg, in einer Branche zu arbeiten, in der eine Innovation die nächste jagt. Wir sind ganz vorne mit dabei und halten unser Wissen systematisch auf dem Laufenden. Wir wollen einen Beitrag dazu leisten, dass sich unser Fach kontinuierlich weiterentwickelt. Darum veröffentlichen wir, was wir wissen.

2022

  • Microservices effizient mit Tilt entwickeln
    iX – Magazin für professionelle Informationstechnik, April 2022 (Mario-Leander Reimer) zum Artikel

  • Wie vom Fließband – Kontinuierliche Anwendungsentwicklung mit Skaffol
    iX – Magazin für professionelle Informationstechnik, Januar 2022 (Mario-Leander Reimer) zum Artikel

  • Cloud-Migration: Eine Strategie, die funktioniert
    Informatik Aktuell, Januar 2022 (Andreas Zitzelsberger) zum Artikel

2021

  • Wie bekommt man Anwendungen mit Zustand in die Cloud? Round-Robin-LoadBalancing auch mit JSF
    Java aktuell, Dezember 2021 (Susanne Apel, Christian Fritz), zum Artikel
  • Trace Visualization within the Software City Metaphor: A Controlled Experiment on Program Comprehension
    September 2021 (Dashuber V., Philippsen M.) zur Publikation
  • Policy-as-Code für Cloud-native Anwendungen mit OPA
    Java aktuell, März 2021 (Andreas Zitzelsberger) zum Artikel
  • A Layered Software City for Dependency Visualization
  • Best Paper Award, Februar 2021 (Dashuber V., Philippsen M., Weigend J.) zur Publikation
  • Cloud Native News 2020: Ein Jahresrückblick
    heise Developer, Januar 2021 (Alex Krause, Josef Adersberger) zum Artikel

2020

  • Beschleunigung der digitalen Produktentwicklung durch den Einsatz von Open Source Bausteinen
    HMD Praxis der Wirtschaftsinformatik, Dezember 2020 (Christoph Thelen, Susanne Apel, Christian Fritz) zum Artikel
  • DevOps Prinzipien im Zusammenspiel mit Kubernetes
    OBJEKTspektrum (Fachposter), Juli 2020 (Nane Kratzke, Josef Adersberger) zum Poster
  • Remote Collaboration – Der digitale Wollschnur-Zwilling
    Computerwoche, Juni 2020 (Thomas Eifinger, Silke Tautorat, Tanja Augustin, Bernhard Hochstätter (Deutsche Telekom)) zum Artikel
  • Wie Corona die digitale Disruption beschleunigt
    Handelsblatt, Mai 2020 (Josef Adersberger) zum Artikel
  • Die besten ITK-Arbeitgeber – Bei QAware neben der Arbeit gemeinsam coden
    Computerwoche, April 2020 (Christian Kamm) zum Artikel
  • Great Place to Work 2020 – Sieger: „Wissen und Können müssen zusammenpassen“
    Computerwoche, April 2020 (Christian Kamm) zum Artikel
  • 150 Mitarbeiter im Home Office: Wie das Unternehmen trotz Corona läuft
    Computerwoche, März 2020 (Christian Kamm) zum Artikel
  • Cloud Native Enterprise Architecture
    JAVAspektrum, Januar 2020 (Johannes Weigend, Johannes Siedersleben, Mario-Leander Reimer) zum Artikel
  • Cloud Native News #6: Plattformbau für den Unternehmenseinsatz
    heise Developer, Januar 2020 (Josef Adersberger) zum Artikel

2019

  • Schluss mit „Hallo, hört ihr mich?“ – Telepräsenz-System individuell zusammengestellt
    c’t, September 2019 (Jan Bender) zum Artikel
  • Cloud Native Enterprises: Cloud-native als Wegbereiter für autonome Systeme und Produktorientierung
    OBJEKTspektrum, August 2019 (Christian Kamm, Johannes Weigend, Josef Adersberger) zum Artikel
  • Stepping Away from the Lamppost: Domain-Level Technical Debt
    Conference Paper Euromicro/SEAA, August 2019 (Marcus Ciolkowsi, Harald Störrle) ResearchGate
  • Service Meshes in Microservice Architekturen
    OBJEKTspektrum (Fachposter), Juli 2019 (Nane Kratzke, Josef Adersberger) zum Poster
  • Microservices mit Go – Wann lohnt sich Go im Vergleich zu Java?
    Informatik Aktuell, Juni 2019 (Johannes Weigend) zum Artikel
  • Cloud-Native Enterprises
    OBJEKTspektrum Online Themenspecial, Juni 2019 (Christian Kamm, Johannes Weigend, Josef Adersberger) zum Artikel
  • KubeCon + CloudNativeCon 2019 EU: Plateau der Realität
    heise Developer, Mai 2019 (Andreas Zitzelsberger, Josef Adersberger) zum Artikel
  • KubeCon + CloudNativeCon EU: Standardschnittstelle für Service-Meshes
    heise Developer, Mai 2019 (Josef Adersberger, Alex Krause) zum Artikel
  • KubeCon + CloudNativeCon EU: Suche nach dem Next Big Cloud Native Thing
    heise Developer, Mai 2019 (Josef Adersberger, Alex Krause) zum Artikel
  • Cloud Native News #5: Es menschelt im Cloud-Native-Kosmos
    heise Developer, März 2019 (Josef Adersberger, Josef Fuchshuber) zum Artikel
  • How are Conceptual Models used in Industrial Software Development? A Descriptive Survey
    Proc. Softwaretechnik 2019 – Lecture Notes in Informatics, Februar 2019 (Harald Störrle)
  • Cloud Native News
    Artikelserie heise Developer (Josef Adersberger, Andreas Zitzelsberger et al.) heise Developer

2018

  • Digitale DNA für traditionelle Unternehmen
    Handelsblatt Journal, Dezember 2018 (Andreas Nolte, Jörg Treiner, Josef Adersberger) zum Artikel
  • Cloud-native Apps 2.0
    OBJEKTspektrum (Fachposter), Dezember 2018 (Nane Kratzke, Josef Adersberger) zum Poster
  • Making Runtime Data Useful for Incident Diagnosis: An Experience Report
    PROFES 2018, November 2018 (Marcus Ciolkowski, Florian Lautenschlager) zum Artikel
  • Process Evolution and Product Maturity: From Prototype to Product
    PROFES 2018, November 2018 (Tilman Seifert) zum Artikel
  • IOTA – die nächste Generation der Blockchain?
    heise Developer, November 2018 (Moritz Kammerer) zum Artikel  
  • Function as a Service: Die Evolution in zu Serverless-Architekturen
    OBJEKTspektrum (Fachposter), September 2018 (Nane Kratzke, Josef Adersberger) zum Poster
  • Alternativen für die Cloud – Java und Go im Vergleich
    JAVAspektrum, September 2018 (Johannes Weigend, Johannes Siedersleben) zum Artikel
  • Nie wieder Zertifikate! – Skalierbare Sicherheit mit SPIFFE
    OBJEKTspektrum, August 2018 (Andreas Zitzelsberger) zum Artikel
  • Challenges in Assessing Technical Debt based on Dynamic Runtime Data
    SEAA/SEaTeD 2018, August 2018 (Marcus Ciolkowski, Liliana Guzmán, Adam Trendowicz, Anna Maria Vollmer) zum Artikel
  • Software-Industrialisierung 2.0: Qualität und Produktivität statt Nearshore und Farshore.
    Informatik Aktuell, Juli 2018 (Michael Rohleder) zum Interview
  • Improving Model Usability by Layered Diagrams
    Proc. ACM/IEEE MiSE/ICSE, Mai 2018 (Harald Störrle) zum Artikel
  • AWS Fargate: Container-Orchestrierung ohne Cluster
    heise Developer, April 2018 (Alex Krause) zum Artikel
  • Machine learning-based run-time anomaly detection in software systems: An industrial evaluation
    Machine Learning Techniques for Software Quality Evaluation (MaLTeSQuE), 2018 (Fabian Huch, Mojdeh Golagha, Ana Petrovska, Alexander Krauss) zum Artikel
  • Implementing Knowledge Management in Agile Projects by Pragmatic Modeling
    Modellierung, Februar 2018, Lecture Notes in Informatics (LNI), Gesellschaft für Informatik, Bonn 2018 (Harald Störrle) zum Artikel
  • Cloud Native News
    Artikelserie auf heise Developer (Josef Adersberger, Andreas Zitzelsberger et al.) heise Developer

2017

  • Cloud Native News
    Artikelserie auf heise Developer (Josef Adersberger) heise Developer
  • Lessons Learned from the ProDebt Research Project on Planning Technical Debt Strategically
    QuASD/PROFES, November 2017 (Marcus Ciolkowski, Liliana Guzmán, Adam Trendowicz, Felix Salfner) zum Artikel
  • Formative Evaluation of a Tool for Managing Software Quality
    ESEIW/ESEM, November 2017 (Liliana Guzmán, Anna Maria Vollmer, Marcus Ciolkowski, Michael Gillmann) zum Artikel
  • 3-D Visualization of Dynamic Runtime Structures in Applications
    IWSM/Mensura, Oktober 2017 (Marcus Ciolkowski, Simon Faber, Sebastian von Mammen) zum Artikel
  • Per Anhalter durch das Cloud-Universum
    Java Magazin, Oktober 2017 (Josef Adersberger) zum Artikel
  • User Experience for Model-Driven Engineering: Challenges and Future Directions
    Proc. ACM/IEEE MODELS, September 2017 (Silvia Abrahão, Francis Bordeleau, Betty Cheng, Sahar Kokaly, Richard F. Paige, Harald Störrle, Jon Whittle) zum Artikel
  • Cloud-native Applikationen
    OBJEKTspektrum (Fachposter), Juli 2017 (Nane Kratzke, Josef Adersberger) zum Poster
  • How are Conceptual Models used in Industrial Software Development? A Descriptive Survey
    EASE, Juni 2017 (Harald Störrle) zum Artikel
  • Per Anhalter durch den Cloud Native Stack
    JAVAPRO, Juni 2017 (Mario-Leander Reimer) zum Artikel

2016

  • Robustheit und Antifragilität: Eignen sich Microservices für die Systeme der Zukunft?
    OBJEKTspektrum, November 2016 (Josef Adersberger, Johannes Siedersleben, Johannes Weigend) zum Artikel
  • Mehr als die Summe der Teile: Modulare Software-Systeme mit Jigsaw
    JavaSPEKTRUM, Oktober/November 2016 (Johannes Weigend) zum Artikel
  • Test long and prosper! Next-Generation-Enterprise-Tests mit Spock
    Java Magazin, Oktober 2016 (Mario-Leander Reimer) zum Artikel
  • Das Betriebssystem der Cloud
    Java Magazin, September 2016 (Mario-Leander Reimer, Andreas Zitzelsberger) zum Artikel
  • Bindings für Eclipse SmartHome entwickeln
    JavaSPEKTRUM, Juli 2016 (Moritz Kammerer) zum Artikel
  • Cloud-native Anwendungen mit Kubernetes
    Java Magazin, Juli 2016 (Josef Adersberger, Mario-Leander Reimer) zum Artikel
  • Agil zum Ziel: Sieben Erfolgsfaktoren für agile Großprojekte
    OBJEKTspektrum, Juni 2016 (Christian Kamm, Josef Adersberger) zum Artikel
  • Cloud-native Anwendungen bauen mit Spring Cloud und Netflix OSS
    Java Magazin, Mai 2016 (Josef Adersberger, Mario-Leander Reimer) zum Artikel
  • Cloud Ready? Migration von Anwendungen in die Cloud
    OBJEKTspektrum (Fachposter), April 2016 (Oliver Denninger, Josef Adersberger) zum Poster
  • Cloud-native Anwendungen. Der neue Stack:  Mesos, Kubernetes, Netflix OSS & Spring Cloud
    Java Magazin, April 2016 (Josef Adersberger, Andreas Zitzelsberger, Mario-Leander Reimer) zum Artikel
  • Partiality and recursion in interactive theorem provers: An overview
    In: Mathematical Structures in Computer Science, 26(1), 2016. (Ana Bove, Alexander Krauss, Matthieu Sozeau) zum Artikel

2015

  • Consistency and Communication in Committees
    Journal of Economic Theory, ScienceDirect, Dezember 2015 (Inga Deimen, Felix Ketelaar, Mark T. Le Quement) zum Abstract
  • NewSQL-Datenbanken – SQL liebt NoSQL
    iX Sonderausgabe Big Data, April 2015 (Josef Adersberger) heise.de
  • Rahmenwerk zur Ausreißererkennung in Zeitreihen von Software-Laufzeitdaten
    Lecture Notes in Informatics – Proceedings: Series of the Gesellschaft für Informatik, Volume P-239, S. 177 – 183, Köllen Druck+Verlag, 2015 (Josef Adersberger, Andreas Kumlehn, Florian Lautenschlager, Michael Philippsen) PDF
  • Fast and efficient operational time series storage: The missing link in dynamic software analysis
    GI eV (Hrsg.): Proceedings of the Symposium on Software Performance (SSP 2015, München), Softwaretechnik-Trends Bd. 35, Nr. 3, ISSN 0720-8928 (BibTeX) (Florian Lautenschlager, Andreas Kumlehn, Josef Adersberger, Michael Philippsen)

2014

  • Design for Diagnosability
    Java Magazin, Mai 2014 (Florian Lautenschlager, Josef Adersberger, Michael Philippsen, Andreas Kumlehn) Java-Magazin
  • Wo ist die Rich-Client-Plattform für JavaFX?
    Java Magazin, Januar 2014 (Johannes Weigend, Josef Adersberger, Johannes Siedersleben)

2013

  • Scalable LCF-style proof translation
    In: Interactive Theorem Proving (ITP 2013), volume 7998 of Lecture Notes in Computer Science, pages 51–66. Springer Verlag, 2013 (Cezary Kaliszyk, Alexander Krauss) PDF
  • Data refinement in Isabelle/HOL
    In: Interactive Theorem Proving (ITP 2013), volume 7998 of Lecture Notes in Computer Science, pages 100–115. Springer Verlag, 2013. (Alexander Krauss, Florian Haftmann, Ondrej Kuncar, Tobias Nipkow) PDF
  • Proof pearl: Regular expression equivalence and relation algebra
    In: Interactive Theorem Proving (ITP 2013), volume 7998 of Lecture Notes in Computer Science, pages 100–115. Springer Verlag, 2013. (Alexander Krauss, Florian Haftmann, Ondrej Kuncar, Tobias Nipkow) PDF

2010/11

  • BMW Data Performance Analyzer
    NetBeans Platform 06/2011 (Johannes Weigend) netbeans.dzone.com
  • Dynamische Analyse mit dem Software-EKG
    Informatik-Spektrum 5/2011 (Johannes Siedersleben, Johannes Weigend, Josef Adersberger) Springer Link
  • Lehrgang „Software im Automobil”
    CTI 2011 (Christian Kamm, Zoltán Ádám Mann)
  • Termination of Isabelle functions via termination of rewriting
    In: Marko van Eekelen, Herman Geuvers, Julien Schmaltz, and Freek Wiedijk, editors, Interactive Theorem Proving (ITP 2011) (Alexander Krauss, Christian Sternagel, René Thiemann, Carsten Fuhs, and Jürgen Giesl) PDF
  • Monotonicity inference for higher-order formulas
    In: Journal of Automated Reasoning, 47(4), 2011 (Jasmin Christian Blanchette and Alexander Krauss) PDF
  • Recursive definitions of monadic functions
    In: Ana Bove, Ekaterina Komendantskaya, and Milad Niqui, editors, Workshop on Partiality and Recursion in Interactive Theorem Proving (PAR 2010) (Alexander Krauss) PDF
  • A mechanized translation from higher-order logic to set theory
    In: Matt Kaufmann and Lawrence C. Paulson, editors, Interactive Theorem Proving (ITP 2010) (Alexander Krauss and Andreas Schopp) PDF

2007/08

  • p.TrAC: Pattern-based Trace Analysis and Correction
    Jahresbericht des Departments für Informatik der Universität Erlangen-Nürnberg, 2008 (Josef Adersberger)
  • Partial and nested recursive function definitions in higher-order logic In: Journal of Automated Reasoning (Alexander Krauss) PDF
  • Pattern minimization problems over recursive data types
    In: James Hook and Peter Thiemann, editors, International Conference on Functional Programming (ICFP 2008) (Alexander Krauss) PDF
  • Imperative functional programming in Isabelle/HOL
    In: Otmane Ait Mohamed, César Muñoz, and Sofiène Tahar, editors, Theorem Proving in Higher Order Logics (TPHOLs 2008) (Lukas Bulwahn, Alexander Krauss, Florian Haftmann, Levent Erkök, and John Matthews) PDF
  • SOA revisited — Komponentenorientierung bei Systemlandschaften
    Wirtschaftsinformatik, Februar 2007 (Johannes Siedersleben) PDF
  • Softwaretechnik im Auto
    Management-Lehrgang „Software im Automobil”, Euroforum Verlag 2007 (Christian Kamm, Zoltán Ádám Mann, Klaus Renzel)
  • Einschränkungen und Konsistenzbedingungen bei der Entwicklung einer Softwarearchitektur
    GI AK Traceability, 2007 (Josef Adersberger)
  • Finding lexicographic orders for termination proofs in Isabelle/HOL
    In: K. Schneider and J. Brandt, editors, Theorem Proving in Higher Order Logics (TPHOLs 2007) (Lukas Bulwahn, Alexander Krauss, and Tobias Nipkow) PDF
  • Certified size-change termination
    In: Frank Pfenning, editor, Automated Deduction (CADE-21) (Alexander Krauss) zum Artikel

2005/06

  • Funktionale Programmierung mit Java 5
    Java Magazin April 2006, (Christian Neumann) PDF
  • Fit for Fun — Wiki-getriebene Akzeptanztests
    Java Magazin, Februar 2006 (Josef Adersberger)
  • Partial recursive functions in higher-order logic
    In: Ulrich Furbach and Natarajan Shankar, editors, Automated Reasoning (IJCAR 2006) (Alexander Krauss) PDF
  • Kann man die Benutzerfreundlichkeit von Text messen?
    In: Bosenick, T., Hassenzahl, M., Peissner, M. & Müller-Prove, M. (Hrsg.), Tagungsband UP06. Stuttgart: Fraunhofer Verlag. (S. 66-69) (Andreas Zitzelsberger)
  • Java 5.0 Pitfalls
    Java Magazin, August 2005 (Josef Adersberger)
  • Systematische Aufwandsschätzung für Software im Fahrzeug
    „Euroforum Software im Automobil”, Mai 2005 (Christian Kamm)

2002-2004

  • Systematische Aufwandsschätzung für Software im Fahrzeug
    OBJEKTspektrum, Juni 2004 (Christian Kamm, Daniel Schick, Alexandre Saad, Johannes Siedersleben) PDF
  • Formale Konsistenzsicherung in informellen Software-Spezifikationen
    Informatik Forschung und Entwicklung 19(1), 2004 (Uwe M. Borghoff, Jan Scheffczyk, Johannes Siedersleben, Christiane Stutz) PDF
  • Komplexe Web-Anwendungen mit Struts
    OBJEKTspektrum, März 2002 (Christian Kamm, Carsten Klein) PDF
  • Objektorientierte Programmierung & Softwareentwicklung — Eine kritische Einschätzung
    Informatik Spektrum 25(1), 2002 (Manfred Broy, Johannes Siedersleben) PDF