#formalemethoden — Public Fediverse posts

🚨 𝗪𝗮𝗿𝘂𝗺 𝗧𝗲𝘀𝘁𝗶𝗻𝗴 𝗮𝗹𝗹𝗲𝗶𝗻 𝗻𝗶𝗰𝗵𝘁 𝗴𝗲𝗻ü𝗴𝘁 – 𝗜𝗻𝘁𝗲𝗿𝘃𝗶𝗲𝘄 𝗺𝗶𝘁 𝗟𝗮𝗿𝘀 𝗛𝘂𝗽𝗲𝗹

Tests finden Fehler – aber garantieren keine Korrektheit. Im Interview erklärt @lars , Kurator des #CPSA Advanced Level Moduls „Formale Methoden“, wie #FormaleMethoden hier weiterhelfen.

💡 Du erfährst u. a.:
• Grenzen von Testing
• Einsatz formaler Methoden
• Praxisbeispiele

👉 Zum Interview: https://t1p.de/wnm7m

#iSAQB #Softwarearchitektur #Testing #SAF2026

🚨 𝗪𝗮𝗿𝘂𝗺 𝗧𝗲𝘀𝘁𝗶𝗻𝗴 𝗮𝗹𝗹𝗲𝗶𝗻 𝗻𝗶𝗰𝗵𝘁 𝗴𝗲𝗻ü𝗴𝘁 – 𝗜𝗻𝘁𝗲𝗿𝘃𝗶𝗲𝘄 𝗺𝗶𝘁 𝗟𝗮𝗿𝘀 𝗛𝘂𝗽𝗲𝗹

Tests finden Fehler – aber garantieren keine Korrektheit. Im Interview erklärt @lars , Kurator des #CPSA Advanced Level Moduls „Formale Methoden“, wie #FormaleMethoden hier weiterhelfen.

💡 Du erfährst u. a.:
• Grenzen von Testing
• Einsatz formaler Methoden
• Praxisbeispiele

👉 Zum Interview: https://t1p.de/wnm7m

#iSAQB #Softwarearchitektur #Testing #SAF2026

🚨 𝗪𝗮𝗿𝘂𝗺 𝗧𝗲𝘀𝘁𝗶𝗻𝗴 𝗮𝗹𝗹𝗲𝗶𝗻 𝗻𝗶𝗰𝗵𝘁 𝗴𝗲𝗻ü𝗴𝘁 – 𝗜𝗻𝘁𝗲𝗿𝘃𝗶𝗲𝘄 𝗺𝗶𝘁 𝗟𝗮𝗿𝘀 𝗛𝘂𝗽𝗲𝗹

Tests finden Fehler – aber garantieren keine Korrektheit. Im Interview erklärt @lars , Kurator des #CPSA Advanced Level Moduls „Formale Methoden“, wie #FormaleMethoden hier weiterhelfen.

💡 Du erfährst u. a.:
• Grenzen von Testing
• Einsatz formaler Methoden
• Praxisbeispiele

👉 Zum Interview: https://t1p.de/wnm7m

#iSAQB #Softwarearchitektur #Testing #SAF2026

🚨 𝗪𝗮𝗿𝘂𝗺 𝗧𝗲𝘀𝘁𝗶𝗻𝗴 𝗮𝗹𝗹𝗲𝗶𝗻 𝗻𝗶𝗰𝗵𝘁 𝗴𝗲𝗻ü𝗴𝘁 – 𝗜𝗻𝘁𝗲𝗿𝘃𝗶𝗲𝘄 𝗺𝗶𝘁 𝗟𝗮𝗿𝘀 𝗛𝘂𝗽𝗲𝗹

Tests finden Fehler – aber garantieren keine Korrektheit. Im Interview erklärt @lars , Kurator des #CPSA Advanced Level Moduls „Formale Methoden“, wie #FormaleMethoden hier weiterhelfen.

💡 Du erfährst u. a.:
• Grenzen von Testing
• Einsatz formaler Methoden
• Praxisbeispiele

👉 Zum Interview: https://t1p.de/wnm7m

#iSAQB #Softwarearchitektur #Testing #SAF2026

🚨 𝗪𝗮𝗿𝘂𝗺 𝗧𝗲𝘀𝘁𝗶𝗻𝗴 𝗮𝗹𝗹𝗲𝗶𝗻 𝗻𝗶𝗰𝗵𝘁 𝗴𝗲𝗻ü𝗴𝘁 – 𝗜𝗻𝘁𝗲𝗿𝘃𝗶𝗲𝘄 𝗺𝗶𝘁 𝗟𝗮𝗿𝘀 𝗛𝘂𝗽𝗲𝗹

Tests finden Fehler – aber garantieren keine Korrektheit. Im Interview erklärt @lars , Kurator des #CPSA Advanced Level Moduls „Formale Methoden“, wie #FormaleMethoden hier weiterhelfen.

💡 Du erfährst u. a.:
• Grenzen von Testing
• Einsatz formaler Methoden
• Praxisbeispiele

👉 Zum Interview: https://t1p.de/wnm7m

#iSAQB #Softwarearchitektur #Testing #SAF2026

SysML v2 und AI: Ein Feld entwickelt sich weiter
Seit vor wenigen Jahren AI überall für Bewegung sort, warten Entwickler auf den Einsatz bezüglich MBSE und SysML v2.
https://www.se-trends.de/sysml-v2-und-ai-ein-feld-entwickelt-sich-weiter/
#KnstlicheIntelligenz #ModellierungMBSE #BrianMoberley #DougRosenberg #FormaleMethoden #GenAI #Imandra #SysML #TimWeilkiens

SysML v2 und AI: Ein Feld entwickelt sich weiter
Seit vor wenigen Jahren AI überall für Bewegung sort, warten Entwickler auf den Einsatz bezüglich MBSE und SysML v2.
https://www.se-trends.de/sysml-v2-und-ai-ein-feld-entwickelt-sich-weiter/
#KnstlicheIntelligenz #ModellierungMBSE #BrianMoberley #DougRosenberg #FormaleMethoden #GenAI #Imandra #SysML #TimWeilkiens

SysML v2 und AI: Ein Feld entwickelt sich weiter
Seit vor wenigen Jahren AI überall für Bewegung sort, warten Entwickler auf den Einsatz bezüglich MBSE und SysML v2.
https://www.se-trends.de/sysml-v2-und-ai-ein-feld-entwickelt-sich-weiter/
#KnstlicheIntelligenz #ModellierungMBSE #BrianMoberley #DougRosenberg #FormaleMethoden #GenAI #Imandra #SysML #TimWeilkiens