Fachartikel

Artikel

Hier finden Sie alle Fachartikel, die von Mitarbeitenden der QAware verfasst wurden.

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

  • 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

  • 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


2015

  • 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) PDF


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