Fachartikel
Artikel
Hier finden Sie alle Fachartikel, die von Mitarbeitenden der QAware verfasst wurden.
2021
-
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
-
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