𝗦𝗼𝗳𝘁𝘄𝗮𝗿𝗲 𝘄𝗶𝘁𝗵𝗼𝘂𝘁 𝗕𝘂𝗴𝘀? 𝗢𝗻𝗹𝘆 𝘄𝗶𝘁𝗵 𝗙𝗼𝗿𝗺𝗮𝗹 𝗠𝗲𝘁𝗵𝗼𝗱𝘀 – 𝗜𝗻𝘁𝗲𝗿𝘃𝗶𝗲𝘄 𝘄𝗶𝘁𝗵 𝗟𝗮𝗿𝘀 𝗛𝘂𝗽𝗲𝗹 🎙️
Can testing ever prove software correctness? @lars explains where testing reaches its limits and how formal methods provide stronger guarantees.

💡 Topics:
• software correctness
• testing vs. formal methods
• verifiable systems

👉 https://t1p.de/vs3p3

Lars will also present a German-language session on this topic at #SAF2026.

#iSAQB #SoftwareArchitecture #FormalMethods

RE: https://mastodon.social/@isaqb/116526930729819127

REMINDER for our German-speaking #isaqb #community:
Verpasst nicht das 17. iSAQB-Community-Meetup am 17. Juni in Frankfurt am Main! 👇

𝗠𝗲𝗵𝗿 𝗹𝗲𝗿𝗻𝗲𝗻, 𝗺𝗲𝗵𝗿 𝗺𝗶𝘁𝗻𝗲𝗵𝗺𝗲𝗻, 𝗺𝗲𝗵𝗿 𝗯𝗲𝘄𝗲𝗴𝗲𝗻 – 𝗴𝗲𝗺𝗲𝗶𝗻𝘀𝗮𝗺 𝘇𝘂𝗺 𝗦𝗼𝗳𝘁𝘄𝗮𝗿𝗲 𝗔𝗿𝗰𝗵𝗶𝘁𝗲𝗰𝘁𝘂𝗿𝗲 𝗙𝗼𝗿𝘂𝗺 𝟮𝟬𝟮𝟲 🤝
Konferenzen machen oft noch mehr Spaß und bringen noch mehr Mehrwert, wenn man sie gemeinsam besucht. Mit Kolleg:innen könnt ihr Inhalte direkt diskutieren, unterschiedliche Sessions besuchen und die wichtigsten Erkenntnisse später ins Team zurücktragen. 🤩

🎟️ Bei der Buchung von mind. 3 Tickets wird im Warenkorb automatisch ein Rabatt von 10% abgezogen! 🎉
👉 https://saf.isaqb.org

#SAF2026 #iSAQB

𝗙𝗹𝗲𝘅𝗶𝗯𝗹𝗲 𝗔𝗿𝗰𝗵𝗶𝘁𝗲𝗸𝘁𝘂𝗿 𝗲𝗻𝘁𝘀𝘁𝗲𝗵𝘁 𝗻𝗶𝗰𝗵𝘁 𝗱𝘂𝗿𝗰𝗵 𝗠𝗶𝗰𝗿𝗼𝘀𝗲𝗿𝘃𝗶𝗰𝗲𝘀 𝗮𝗹𝗹𝗲𝗶𝗻 – 𝗜𝗻𝘁𝗲𝗿𝘃𝗶𝗲𝘄 𝗺𝗶𝘁 𝗘𝗯𝗲𝗿𝗵𝗮𝗿𝗱 𝗪𝗼𝗹𝗳𝗳 𝘂𝗻𝗱 𝗙𝗮𝗹𝗸 𝗦𝗶𝗽𝗽𝗮𝗰𝗵 🎤
Machen #Microservices Systeme automatisch flexibler? Nicht unbedingt. Im Interview erklären @ewolff und @sippsack, warum echte Flexibilität bereits bei fachlichen Grenzen und Architekturentscheidungen beginnt.

💡 Themen:
• #DDD & Flexibilität
• #Modulith vs. #Microservices
• praktische Schritte zu flexibleren Systemen

👉 https://t1p.de/bf4sm

#SAF2026 #iSAQB #Softwarearchitektur

🤖 𝗔𝗜-𝗔𝗴𝗲𝗻𝘁𝘀 𝗺𝗼𝗱𝗲𝗿𝗻𝗶𝘀𝗶𝗲𝗿𝗲𝗻 𝗸𝗲𝗶𝗻𝗲𝗻 𝗟𝗲𝗴𝗮𝗰𝘆-𝗖𝗼𝗱𝗲 𝘃𝗼𝗻 𝗮𝗹𝗹𝗲𝗶𝗻 – 𝗜𝗻𝘁𝗲𝗿𝘃𝗶𝗲𝘄 𝗺𝗶𝘁 𝗠𝗮𝗿𝗸𝘂𝘀 𝗛𝗮𝗿𝗿𝗲𝗿
#AIAgents versprechen schnellere Softwaremodernisierung. Im Interview erklärt @feststelltaste, Kurator des CPSA®-Advanced-Level-Moduls #IMPROVE, warum nachhaltige Legacy-Modernisierung trotzdem klare Leitplanken, Architekturwissen und bewährte Methoden braucht.

👉 https://t1p.de/jvd0e

#SAF2026 #LegacyModernization #AI #SoftwareModernization #iSAQB #CPSA #Softwarearchitektur