Richard Seidl spricht mit Michael Sperber und Markus Schlegel über formale Methoden der Softwareentwicklung.
In dieser Folge spricht Richard Seidl mit Michael Sperber und Markus Schlegel über formale Methoden der Softwareentwicklung . Sie erklären, warum Mathematik und Spezifikationen ein solideres Fundament liefern als typische Test verfahren.
Besonders anschaulich wird es, wenn sie die Vorteile funktionaler Programmierung diskutieren und zeigen, wie sich Softwareeigenschaften beweisen lassen. Praktische Einblicke in Typsysteme, Beweisassistenten und Property-Based Testing machen das Thema greifbar.Ich bin damit einverstanden, dass mir externe Inhalte angezeigt werden. Damit können personenbezogene Daten an Drittplattformen übermittelt werden. Mehr dazu in unsererist Geschäftsführer der Active Group GmbH, die Individualsoftware ausschließlich mit funktionaler Programmierung entwickelt. Er ist international anerkannter Experte für funktionale Programmierung und wendet sie seit über 20 Jahren in Forschung, Lehre und industrieller Entwicklung an. Außerdem hat er zahlreiche Fachartikel und Bücher zum Thema verfasst, sowie das Curriculum für das iSAQB-Advanced-Modul „Formale Methoden“ . Michael Sperber ist Mitbegründer des Blogsist Softwarearchitekt bei der Active Group GmbH. Er hat 2013 die funktionale Programmierung für sich entdeckt und schläft seither wieder ruhig.Bei diesem Format dreht sich alles um Softwarequalität: Ob Testautomatisierung, Qualität in agilen Projekten, Testdaten oder Testteams – Richard Seidl und seine Gäste schauen sich Dinge an, die mehr Qualität in die Softwareentwicklung bringen.Links zu verschenkten Artikeln werden ungültig, wenn diese älter als 7 Tage sind oder zu oft aufgerufen wurden.
Programmierung Qualitätssicherung Softwareentwicklung Softwaretest Test Formale Methoden
United States Latest News, United States Headlines
Similar News:You can also read news stories similar to this one that we have collected from other news sources.
Psycho-Tricks im Supermarkt: So kaufen Sie nicht zu vielRote Preisschilder, Musik, Duft: Supermärkte nutzen Psychotricks, damit Kunden mehr kaufen. Welche Methoden dahinterstecken – und wie Sie sie umgehen.
Read more »
Lisas Top Turnaround-Kandidat, Blick ins Depot, Anthropic und Software-AktienDaniel ist weiterhin im Urlaub, weshalb unser Goldesel Michael diesmal Lisa Gering von Stock3 zu Gast hat. Es geht um den Top Turnaound-Kandidaten von Lisa und ihre weiteren Depotpositionen.
Read more »
'Es tut mir leid, aber ich verstehe die Wähler in BaWü nicht': Leser zur LandtagswahlÖzdemirs Triumph in Baden-Württemberg spaltet die Leserschaft: Methoden, Wirtschaft und politische Zukunft stehen zur Debatte.
Read more »
Netflix zeigt Schattenseiten von 'America's Next Topmodel'Blut, Tränen und Druck: Neue ANTM-Doku deckt drastische Reality-Show-Methoden auf, die auch 'Germany's Next Topmodel' betreffen.
Read more »
MV Agusta: Volle Elektronik ab Werk ohne AufpreisMV Agusta setzt ein Zeichen gegen den Trend der Abo-Gebühren: Ab 2026 gehören das komplette Elektronik-Paket und alle Software-Features bei allen Modellen zur Serienausstattung.
Read more »
Aufkleber gestalten und drucken: Sticker mit und ohne eigenen DruckerErfahrt, wie ihr eigene Sticker gestaltet – mit Tipps zu Druckern, Papier und Software für kreative Designs.
Read more »