Fachartikel

Partiality and recursion in interactive theorem provers: An overview

Consistency and Communication in Committees

Marktplätze im Umbruch, Software-Industrialisierung – Wie industrialisiert man Wissensarbeit?

Rahmenwerk zur Ausreißererkennung in Zeitreihen von Software-Laufzeitdaten

Fast and efficient operational time series storage: The missing link in dynamic software analysis

NewSQL-Datenbanken – SQL liebt NoSQL

Proof pearl: Regular expression equivalence and relation algebra

Scalable LCF-style proof translation

Data refinement in Isabelle/HOL

Termination of Isabelle functions via termination of rewriting

Monotonicity inference for higher-order formulas

BMW Data Performance Analyzer

Lehrgang „Software im Automobil”

Dynamische Analyse mit dem Software-EKG

Recursive definitions of monadic functions

A mechanized translation from higher-order logic to set theory

Partial and nested recursive function definitions in higher-order logic

Imperative functional programming in Isabelle/HOL

p.TrAC: Pattern-based Trace Analysis and Correction

Pattern minimization problems over recursive data types

Certified size-change termination

Einschränkungen und Konsistenzbedingungen bei der Entwicklung einer Softwarearchitektur

Finding lexicographic orders for termination proofs in Isabelle/HOL

SOA revisited — Komponentenorientierung bei Systemlandschaften

Softwaretechnik im Auto – Management-Lehrgang „Software im Automobil”

Kann man die Benutzerfreundlichkeit von Text messen?

Funktionale Programmierung mit Java 5

Partial recursive functions in higher-order logic

Fit for Fun – Wiki-getriebene Akzeptanztests

Java 5.0 Pitfalls

Formale Konsistenzsicherung in informellen Software-Spezifikationen

Systematische Aufwandsschätzung für Software im Fahrzeug

Objektorientierte Programmierung & Softwareentwicklung — Eine kritische Einschätzung

Komplexe Web-Anwendungen mit Struts