Wozu formale Methoden? mit Lars Hupel

Wenn Systeme bestimmte Eigenschaften wie Sicherheit garantieren
müssen, können formale Methoden diese Eigenschaften beweisen -
ähnlich wie bei einem mathematischen Beweis. In der Finanzbranche
will man beispielsweise sicherstellen, dass nicht in den Systemen
irgendwo Geld verschwindet. Welche Rolle spielen solche Methoden
im Software-Architektur-Alltag und wie kann man sie
gewinnbringend nutzen? Das diskutieren wir mit Dr. Lars Hupel,
Chief Evangelist bei Giesecke+Devrient.


Lars spricht beim iSAQB Software Architecture Forum. Mit dem Code
SATV15SAF gibt es 15% Rabatt.