Zum Hauptinhalt springen
Andreas Mülder

Andreas Mülder

Principal Software Engineer · itemis AG

Verantwortet

Model-Based Engineering Model-Driven Software Development
Andreas Mülder ist Principal Software Engineer bei itemis und als technischer Projektleiter für itemis CREATE verantwortlich. Seit 2007 entwickelt er Werkzeuge für Plattformen wie Eclipse, Visual Studio Code, Cloud und Web – mit Schwerpunkt auf Language Engineering, domänenspezifischen Sprachen, Simulatoren und Codegeneratoren sowie der Integration generativer KI in produktreife Tools. Sein Wissen gibt er in Blog-Beiträgen zu Language Engineering und KI-gestützter Werkzeugentwicklung weiter.

Aktuelles

Format

Formale Methoden zur Fehlererkennung: Was geht, was nicht
Blog Model driven software development

Formale Methoden zur Fehlererkennung: Was geht, was nicht

Eine unerreichbare Transition, ein Guard, der nie erfüllbar ist: Solche Fehler stecken im Modell, lange bevor ein Test sie zeigt. Ein Ergebnisbericht aus zwei Masterarbeiten über formale Fehlererkennung auf Zustandsautomaten mit Symbolic Execution und SMT-Solver.

Zum Blog
Andreas Mülder Andreas Mülder 9 Min. Lesezeit
SCXML auf das nächste Level bringen
Blog Model driven software development

SCXML auf das nächste Level bringen

Wie itemis CREATE Higher-Level-Modellierung, Simulation und Unit-Tests auf dem SCXML-Standard aufbaut.

Zum Blog
Andreas Mülder Andreas Mülder 5 Min. Lesezeit
Traceability für itemis CREATE sicherstellen
Blog Model driven software development

Traceability für itemis CREATE sicherstellen

So stellst du Traceability für deine itemis-CREATE-Statechart-Modelle sicher – mit Werkzeugunterstützung, die über manuelle Trace-Links hinaus skaliert.

Zum Blog
Andreas Mülder Andreas Mülder 4 Min. Lesezeit