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.

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
  • Policy-as-Code für Cloud-native Anwendungen mit OPA
    Java aktuell, März 2021 (Andreas Zitzelsberger) zum Artikel
  • 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 

  • Cloud Native News

    Artikelserie auf heise Developer (Josef Adersberger, Andreas Zitzelsberger et al.) heise Developer 

  • Cloud Native News 2020: Ein Jahresrückblick

    heise Developer, Januar 2021 (Alex Krause, 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 auf 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

  • 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