Zu den Inhalten springen
Services
Company
Career
Content Hub
Contact
We contractually assure quality far above the current state of the art.
Projects
Compliance secured
Projects
Cloud Native Solution Options
Product Discovery
Invent digital products
Cloud Migration
Making IT systems fit for the cloud
Product Engineering
Agile development of digital products
Hotspot Analysis
Effective help in IT crises
Blog
AI experts from QAware support podcast.
Events
01. July
Kubernetes Community Days Munich 2024
About us
Cloud pioneers with high quality demands
Our team
It is the people who make a company
History
Milestones at QAware
Partners
Partners enrich our perspectives
Your start with us
Professionals and graduates
Students
Pupils
Your job with us
Friendly, approachable and helpful
Your benefits
How to stay in the flow
Your development
Career paths and further training
Your workplace
Welcome to the New Normal
Blog
AI experts from QAware support podcast.
Events
01. July
Kubernetes Community Days Munich 2024
Content Hub
Everything about QAware in one place
Newest article
AI experts from QAware support podcast.
1 min. |
Popular topics
Agile
Infrastructure
UI/UX
Technical Debt
Start-up
EN
DE
Articles
Type
Show all
Articles
Blog
Books
Lectures
News
Podcasts
Talks
Topics
Show all
Agile
Al
Analyse
Architecture/Design
CI/CD
clean architecture
Cloud
Cloud Migration
Cloud Native
Compliance
Container
Culture
Data
DevOps
Docker
Go
Infrastructure
IoT
Java
Kubernetes
Microservices
Observability
Open Source
Productivity
Produktentwicklung
Security
Serverless
Start-up
Technical Debt
UI/UX
XaaS
Authors
Show
Alex Krause
Andreas Zitzelsberger
Christian Fritz
Christian Kamm
Christian Obkirchner
Christine Rossner
Dirk Kröhan
Dominik Haas
Dr. Alexander Krauss
Dr. Christian Ros
Dr. Felix Ketelaar
Dr. Harald Störrle
Dr. Josef Adersberger
Dr. Marcus Ciolkowski
Dr. Sascha Meinert
Florian Engel
Florian Utzt
Florina Herbein
Franz Wimmer
Holger Ströbel
Ildikó Tárkányi
Jan Bender
Josef Fuchshuber
Juri Urbainczyk
Manuel Hampel
Mario-Leander Reimer
Michael Rohleder
Michael Stehnken
Niki Thierfelder
Rahel Gölz
Rudolf Kollar
Sonja Wegner
Stefan Altenhof
Stefan Billet
Thomas Eifinger
Tim Kiefer
Articles
Consistency and Communication in Committees
Articles
Marktplätze im Umbruch, Software-Industrialisierung – Wie industrialisiert man Wissensarbeit?
Articles
Rahmenwerk zur Ausreißererkennung in Zeitreihen von Software-Laufzeitdaten
Articles
Fast and efficient operational time series storage: The missing link in dynamic software analysis
Articles
NewSQL-Datenbanken – SQL liebt NoSQL
Articles
Design for Diagnosability
Articles
Wo ist die Rich-Client-Plattform für JavaFX?
Articles
Proof pearl: Regular expression equivalence and relation algebra
Articles
Scalable LCF-style proof translation
Articles
Data refinement in Isabelle/HOL
Articles
Termination of Isabelle functions via termination of rewriting
Articles
Monotonicity inference for higher-order formulas
Articles
BMW Data Performance Analyzer
Articles
Lehrgang „Software im Automobil”
Articles
Dynamische Analyse mit dem Software-EKG
Articles
Recursive definitions of monadic functions
Articles
A mechanized translation from higher-order logic to set theory
Articles
Partial and nested recursive function definitions in higher-order logic
Articles
p.TrAC: Pattern-based Trace Analysis and Correction
Articles
Imperative functional programming in Isabelle/HOL
Articles
Pattern minimization problems over recursive data types
Articles
Certified size-change termination
Articles
Einschränkungen und Konsistenzbedingungen bei der Entwicklung einer Softwarearchitektur
Articles
Finding lexicographic orders for termination proofs in Isabelle/HOL
Articles
SOA revisited — Komponentenorientierung bei Systemlandschaften
Articles
Softwaretechnik im Auto – Management-Lehrgang „Software im Automobil”
Articles
Kann man die Benutzerfreundlichkeit von Text messen?
Articles
Funktionale Programmierung mit Java 5
Articles
Partial recursive functions in higher-order logic
Articles
Fit for Fun – Wiki-getriebene Akzeptanztests
Articles
Java 5.0 Pitfalls
Articles
Formale Konsistenzsicherung in informellen Software-Spezifikationen
Articles
Systematische Aufwandsschätzung für Software im Fahrzeug
Articles
Objektorientierte Programmierung & Softwareentwicklung — Eine kritische Einschätzung
Articles
Komplexe Web-Anwendungen mit Struts
Posts navigation
Newer posts