{"id":2304,"date":"2026-08-03T14:14:32","date_gmt":"2026-08-03T14:14:32","guid":{"rendered":"https:\/\/www.isaqb.org\/de\/?p=2304"},"modified":"2026-08-03T14:29:03","modified_gmt":"2026-08-03T14:29:03","slug":"formale-methoden-softwarefehler-verhindern-bevor-sie-zum-problem-werden","status":"publish","type":"post","link":"https:\/\/www.isaqb.org\/de\/blog\/formale-methoden-softwarefehler-verhindern-bevor-sie-zum-problem-werden\/","title":{"rendered":"Formale Methoden: Softwarefehler verhindern, bevor sie zum Problem werden"},"content":{"rendered":"\n<p>Formale Methoden klingen zun\u00e4chst vielleicht sehr mathematisch oder akademisch, doch ihr praktisches Ziel ist einfach: Softwareentwickler:innen dabei zu unterst\u00fctzen, Systeme zu entwickeln, die sich so verhalten, wie sie sollen. Im aktuellen Interview erkl\u00e4rt <strong>Lars Hupel<\/strong>, Kurator des <strong><a href=\"https:\/\/www.isaqb.org\/de\/zertifizierungen\/zertifizierungen-uebersicht\/cpsa-advanced-level\/fm\/?noredirect=true\" target=\"_blank\" rel=\"noreferrer noopener\">CPSA-Advanced-Level-Moduls Formale Methoden<\/a><\/strong>, wie Spezifikationen, mathematische Methoden und Validierungstechniken dazu beitragen k\u00f6nnen, die Korrektheit, den Entwurf und die Qualit\u00e4t von Software zu verbessern.<\/p>\n\n\n\n<p>Lars zeigt au\u00dferdem den wirtschaftlichen Nutzen auf, den es haben kann, Fehler fr\u00fchzeitig zu verhindern. Formale Methoden k\u00f6nnen zwar zun\u00e4chst zus\u00e4tzlichen Aufwand in der Entwicklung bedeuten, langfristig jedoch Kosten reduzieren, indem Probleme erkannt werden, bevor ihre Behebung teuer wird. Gleichzeitig geh\u00f6rt zu guten Architekturentscheidungen auch die F\u00e4higkeit einzusch\u00e4tzen, wann formale Methoden sinnvoll sind und wann nicht.<\/p>\n\n\n\n<h4 class=\"wp-block-heading\"><strong>5 zentrale Erkenntnisse aus dem Interview<\/strong><\/h4>\n\n\n\n<p><strong>1. Formale Methoden sind praxisn\u00e4her, als viele denken.<\/strong><br>Sie umfassen eine Vielzahl unterschiedlicher Werkzeuge und k\u00f6nnen dabei helfen, nicht nur einzelne Codezeilen, sondern auch Systemdesign, Modularisierung, Schnittstellen und das Verhalten von Software zu \u00fcberpr\u00fcfen.<\/p>\n\n\n\n<p><strong>2. Wer Fehler fr\u00fchzeitig verhindert, kann langfristig erhebliche Kosten sparen.<\/strong><br>Je sp\u00e4ter ein Fehler entdeckt wird, desto teurer wird seine Behebung. Besonders bei langfristigen oder kritischen Systemen kann sich die fr\u00fchzeitige Investition daher auszahlen.<\/p>\n\n\n\n<p><strong>3. Gute Spezifikationen sind entscheidend.<\/strong><br>Architekt:innen m\u00fcssen Dom\u00e4ne, Anforderungen und relevante Rahmenbedingungen verstehen, bevor sie die passenden formalen Methoden ausw\u00e4hlen und anwenden k\u00f6nnen.<\/p>\n\n\n\n<p><strong>4. Formale Methoden sind nicht f\u00fcr jedes Problem das richtige Werkzeug.<\/strong><br>Das Modul hilft Teilnehmenden dabei, einzusch\u00e4tzen, wann zus\u00e4tzliche formale Absicherung sinnvoll ist und wann einfachere Ans\u00e4tze ausreichen.<\/p>\n\n\n\n<p><strong>5. KI kann formale Methoden unterst\u00fctzen, doch Spezifikationen bleiben menschliche Arbeit.<\/strong><br>KI und LLMs k\u00f6nnen bei Beweisen und der Validierung unterst\u00fctzen. Aussagekr\u00e4ftige Spezifikationen zu erstellen, erfordert jedoch weiterhin ein tiefes Verst\u00e4ndnis der Dom\u00e4ne und den Austausch mit dem Business.<\/p>\n\n\n\n<p>Sie m\u00f6chten mehr erfahren? Sehen Sie sich das vollst\u00e4ndige Interview mit Lars Hupel an und erfahren Sie, wie formale Methoden Softwarearchitekt:innen dabei helfen k\u00f6nnen, die Qualit\u00e4t zu verbessern, kostspielige Fehler zu vermeiden und fundiertere Architekturentscheidungen zu treffen.<\/p>\n\n\n\n<p><\/p>\n\n\n\n<figure class=\"wp-block-embed is-type-video is-provider-youtube wp-block-embed-youtube wp-embed-aspect-16-9 wp-has-aspect-ratio\"><div class=\"wp-block-embed__wrapper\">\n <div class=\"brlbs-cmpnt-container brlbs-cmpnt-content-blocker brlbs-cmpnt-with-individual-styles\" data-borlabs-cookie-content-blocker-id=\"default\" data-borlabs-cookie-content=\"PGlmcmFtZSB0aXRsZT0iRm9ybWFsIE1ldGhvZHMgfCBDUFNBLUFkdmFuY2VkIExldmVsIE1vZHVsZSB8IExhcnMgSHVwZWwiIHdpZHRoPSIxMjgwIiBoZWlnaHQ9IjcyMCIgc3JjPSJodHRwczovL3d3dy55b3V0dWJlLmNvbS9lbWJlZC9DMTZtWF9WN0Rmdz9mZWF0dXJlPW9lbWJlZCIgZnJhbWVib3JkZXI9IjAiIGFsbG93PSJhY2NlbGVyb21ldGVyOyBhdXRvcGxheTsgY2xpcGJvYXJkLXdyaXRlOyBlbmNyeXB0ZWQtbWVkaWE7IGd5cm9zY29wZTsgcGljdHVyZS1pbi1waWN0dXJlOyB3ZWItc2hhcmUiIHJlZmVycmVycG9saWN5PSJzdHJpY3Qtb3JpZ2luLXdoZW4tY3Jvc3Mtb3JpZ2luIiBhbGxvd2Z1bGxzY3JlZW4+PC9pZnJhbWU+\"><div class=\"brlbs-cmpnt-cb-preset-a\"> <p class=\"brlbs-cmpnt-cb-description\">Sie sehen gerade einen Platzhalterinhalt von <strong>Standard<\/strong>. Um auf den eigentlichen Inhalt zuzugreifen, klicken Sie auf den Button unten. Bitte beachten Sie, dass dabei Daten an Drittanbieter weitergegeben werden.<\/p> <div class=\"brlbs-cmpnt-cb-buttons\"> <a class=\"brlbs-cmpnt-cb-btn\" href=\"#\" data-borlabs-cookie-unblock role=\"button\">Inhalt entsperren<\/a> <a class=\"brlbs-cmpnt-cb-btn\" href=\"#\" data-borlabs-cookie-accept-service role=\"button\" style=\"display: none\">Erforderlichen Service akzeptieren und Inhalte entsperren<\/a> <\/div> <a class=\"brlbs-cmpnt-cb-provider-toggle\" href=\"#\" data-borlabs-cookie-show-provider-information role=\"button\">Weitere Informationen<\/a> <\/div><\/div>\n<\/div><\/figure>\n","protected":false},"excerpt":{"rendered":"<p>Lars Hupel erkl\u00e4rt den praktischen Nutzen formaler Methoden f\u00fcr Softwarequalit\u00e4t, Fehlerpr\u00e4vention und bessere Architekturentscheidungen.<\/p>\n","protected":false},"author":47,"featured_media":2306,"comment_status":"closed","ping_status":"closed","sticky":false,"template":"","format":"standard","meta":{"_trash_the_other_posts":false,"editor_notices":[],"footnotes":""},"categories":[29,180],"tags":[214,207,212,213,208,209],"class_list":["post-2304","post","type-post","status-publish","format-standard","has-post-thumbnail","hentry","category-advanced-level","category-fm","tag-cpsa","tag-formale-methoden","tag-ki","tag-lars-hupel","tag-softwarearchitektur","tag-softwarequalitaet"],"yoast_head":"<!-- This site is optimized with the Yoast SEO plugin v27.3 - https:\/\/yoast.com\/product\/yoast-seo-wordpress\/ -->\n<title>Formale Methoden in der Softwarearchitektur | Lars Hupel<\/title>\n<meta name=\"description\" content=\"Lars Hupel erkl\u00e4rt, wie formale Methoden Softwarearchitekt:innen helfen, kostspielige Fehler zu vermeiden, die Softwarequalit\u00e4t zu verbessern und KI sinnvoll einzusetzen.\" \/>\n<meta name=\"robots\" content=\"index, follow, max-snippet:-1, max-image-preview:large, max-video-preview:-1\" \/>\n<link rel=\"canonical\" href=\"https:\/\/www.isaqb.org\/de\/blog\/formale-methoden-softwarefehler-verhindern-bevor-sie-zum-problem-werden\/\" \/>\n<meta property=\"og:locale\" content=\"de_DE\" \/>\n<meta property=\"og:type\" content=\"article\" \/>\n<meta property=\"og:title\" content=\"Formale Methoden in der Softwarearchitektur | Lars Hupel\" \/>\n<meta property=\"og:description\" content=\"Lars Hupel erkl\u00e4rt, wie formale Methoden Softwarearchitekt:innen helfen, kostspielige Fehler zu vermeiden, die Softwarequalit\u00e4t zu verbessern und KI sinnvoll einzusetzen.\" \/>\n<meta property=\"og:url\" content=\"https:\/\/www.isaqb.org\/de\/blog\/formale-methoden-softwarefehler-verhindern-bevor-sie-zum-problem-werden\/\" \/>\n<meta property=\"og:site_name\" content=\"iSAQB\u00ae - Offizielle Website\" \/>\n<meta property=\"article:published_time\" content=\"2026-08-03T14:14:32+00:00\" \/>\n<meta property=\"article:modified_time\" content=\"2026-08-03T14:29:03+00:00\" \/>\n<meta property=\"og:image\" content=\"https:\/\/www.isaqb.org\/de\/wp-content\/uploads\/sites\/2\/2026\/08\/Lars-Hupel-WP.jpg\" \/>\n\t<meta property=\"og:image:width\" content=\"1600\" \/>\n\t<meta property=\"og:image:height\" content=\"900\" \/>\n\t<meta property=\"og:image:type\" content=\"image\/jpeg\" \/>\n<meta name=\"author\" content=\"Madlen Schenk\" \/>\n<meta name=\"twitter:card\" content=\"summary_large_image\" \/>\n<meta name=\"twitter:title\" content=\"Formale Methoden in der Softwarearchitektur | Lars Hupel\" \/>\n<meta name=\"twitter:description\" content=\"Lars Hupel erkl\u00e4rt, wie formale Methoden Softwarearchitekt:innen helfen, kostspielige Fehler zu vermeiden, die Softwarequalit\u00e4t zu verbessern und KI sinnvoll einzusetzen.\" \/>\n<meta name=\"twitter:image\" content=\"https:\/\/www.isaqb.org\/de\/wp-content\/uploads\/sites\/2\/2026\/08\/Lars-Hupel-WP.jpg\" \/>\n<meta name=\"twitter:label1\" content=\"Verfasst von\" \/>\n\t<meta name=\"twitter:data1\" content=\"Madlen Schenk\" \/>\n\t<meta name=\"twitter:label2\" content=\"Gesch\u00e4tzte Lesezeit\" \/>\n\t<meta name=\"twitter:data2\" content=\"2\u00a0Minuten\" \/>\n<script type=\"application\/ld+json\" class=\"yoast-schema-graph\">{\"@context\":\"https:\\\/\\\/schema.org\",\"@graph\":[{\"@type\":\"Article\",\"@id\":\"https:\\\/\\\/www.isaqb.org\\\/de\\\/blog\\\/formale-methoden-softwarefehler-verhindern-bevor-sie-zum-problem-werden\\\/#article\",\"isPartOf\":{\"@id\":\"https:\\\/\\\/www.isaqb.org\\\/de\\\/blog\\\/formale-methoden-softwarefehler-verhindern-bevor-sie-zum-problem-werden\\\/\"},\"author\":{\"name\":\"Madlen Schenk\",\"@id\":\"https:\\\/\\\/www.isaqb.org\\\/de\\\/#\\\/schema\\\/person\\\/cbd9576be3d91f59ba27dbdaee15d9c8\"},\"headline\":\"Formale Methoden: Softwarefehler verhindern, bevor sie zum Problem werden\",\"datePublished\":\"2026-08-03T14:14:32+00:00\",\"dateModified\":\"2026-08-03T14:29:03+00:00\",\"mainEntityOfPage\":{\"@id\":\"https:\\\/\\\/www.isaqb.org\\\/de\\\/blog\\\/formale-methoden-softwarefehler-verhindern-bevor-sie-zum-problem-werden\\\/\"},\"wordCount\":370,\"image\":{\"@id\":\"https:\\\/\\\/www.isaqb.org\\\/de\\\/blog\\\/formale-methoden-softwarefehler-verhindern-bevor-sie-zum-problem-werden\\\/#primaryimage\"},\"thumbnailUrl\":\"https:\\\/\\\/www.isaqb.org\\\/de\\\/wp-content\\\/uploads\\\/sites\\\/2\\\/2026\\\/08\\\/Lars-Hupel-WP.jpg\",\"keywords\":[\"CPSA\",\"Formale Methoden\",\"KI\",\"Lars Hupel\",\"Softwarearchitektur\",\"Softwarequalit\u00e4t\"],\"articleSection\":[\"ADVANCED LEVEL\",\"FM\"],\"inLanguage\":\"de\"},{\"@type\":\"WebPage\",\"@id\":\"https:\\\/\\\/www.isaqb.org\\\/de\\\/blog\\\/formale-methoden-softwarefehler-verhindern-bevor-sie-zum-problem-werden\\\/\",\"url\":\"https:\\\/\\\/www.isaqb.org\\\/de\\\/blog\\\/formale-methoden-softwarefehler-verhindern-bevor-sie-zum-problem-werden\\\/\",\"name\":\"Formale Methoden in der Softwarearchitektur | Lars Hupel\",\"isPartOf\":{\"@id\":\"https:\\\/\\\/www.isaqb.org\\\/de\\\/#website\"},\"primaryImageOfPage\":{\"@id\":\"https:\\\/\\\/www.isaqb.org\\\/de\\\/blog\\\/formale-methoden-softwarefehler-verhindern-bevor-sie-zum-problem-werden\\\/#primaryimage\"},\"image\":{\"@id\":\"https:\\\/\\\/www.isaqb.org\\\/de\\\/blog\\\/formale-methoden-softwarefehler-verhindern-bevor-sie-zum-problem-werden\\\/#primaryimage\"},\"thumbnailUrl\":\"https:\\\/\\\/www.isaqb.org\\\/de\\\/wp-content\\\/uploads\\\/sites\\\/2\\\/2026\\\/08\\\/Lars-Hupel-WP.jpg\",\"datePublished\":\"2026-08-03T14:14:32+00:00\",\"dateModified\":\"2026-08-03T14:29:03+00:00\",\"author\":{\"@id\":\"https:\\\/\\\/www.isaqb.org\\\/de\\\/#\\\/schema\\\/person\\\/cbd9576be3d91f59ba27dbdaee15d9c8\"},\"description\":\"Lars Hupel erkl\u00e4rt, wie formale Methoden Softwarearchitekt:innen helfen, kostspielige Fehler zu vermeiden, die Softwarequalit\u00e4t zu verbessern und KI sinnvoll einzusetzen.\",\"breadcrumb\":{\"@id\":\"https:\\\/\\\/www.isaqb.org\\\/de\\\/blog\\\/formale-methoden-softwarefehler-verhindern-bevor-sie-zum-problem-werden\\\/#breadcrumb\"},\"inLanguage\":\"de\",\"potentialAction\":[{\"@type\":\"ReadAction\",\"target\":[\"https:\\\/\\\/www.isaqb.org\\\/de\\\/blog\\\/formale-methoden-softwarefehler-verhindern-bevor-sie-zum-problem-werden\\\/\"]}]},{\"@type\":\"ImageObject\",\"inLanguage\":\"de\",\"@id\":\"https:\\\/\\\/www.isaqb.org\\\/de\\\/blog\\\/formale-methoden-softwarefehler-verhindern-bevor-sie-zum-problem-werden\\\/#primaryimage\",\"url\":\"https:\\\/\\\/www.isaqb.org\\\/de\\\/wp-content\\\/uploads\\\/sites\\\/2\\\/2026\\\/08\\\/Lars-Hupel-WP.jpg\",\"contentUrl\":\"https:\\\/\\\/www.isaqb.org\\\/de\\\/wp-content\\\/uploads\\\/sites\\\/2\\\/2026\\\/08\\\/Lars-Hupel-WP.jpg\",\"width\":1600,\"height\":900,\"caption\":\"Lars Hupel Interview Formale Methoden\"},{\"@type\":\"BreadcrumbList\",\"@id\":\"https:\\\/\\\/www.isaqb.org\\\/de\\\/blog\\\/formale-methoden-softwarefehler-verhindern-bevor-sie-zum-problem-werden\\\/#breadcrumb\",\"itemListElement\":[{\"@type\":\"ListItem\",\"position\":1,\"name\":\"Home\",\"item\":\"https:\\\/\\\/www.isaqb.org\\\/de\\\/\"},{\"@type\":\"ListItem\",\"position\":2,\"name\":\"Formale Methoden: Softwarefehler verhindern, bevor sie zum Problem werden\"}]},{\"@type\":\"WebSite\",\"@id\":\"https:\\\/\\\/www.isaqb.org\\\/de\\\/#website\",\"url\":\"https:\\\/\\\/www.isaqb.org\\\/de\\\/\",\"name\":\"iSAQB\u00ae - Offizielle Website\",\"description\":\"Das International Software Architecture Qualification Board (iSAQB) ist die f\u00fchrende Vereinigung f\u00fcr Training und Zertifizierung in der Software-Architektur\",\"potentialAction\":[{\"@type\":\"SearchAction\",\"target\":{\"@type\":\"EntryPoint\",\"urlTemplate\":\"https:\\\/\\\/www.isaqb.org\\\/de\\\/?s={search_term_string}\"},\"query-input\":{\"@type\":\"PropertyValueSpecification\",\"valueRequired\":true,\"valueName\":\"search_term_string\"}}],\"inLanguage\":\"de\"},{\"@type\":\"Person\",\"@id\":\"https:\\\/\\\/www.isaqb.org\\\/de\\\/#\\\/schema\\\/person\\\/cbd9576be3d91f59ba27dbdaee15d9c8\",\"name\":\"Madlen Schenk\",\"url\":\"https:\\\/\\\/www.isaqb.org\\\/de\\\/blog\\\/author\\\/mschenk\\\/\"}]}<\/script>\n<!-- \/ Yoast SEO plugin. -->","yoast_head_json":{"title":"Formale Methoden in der Softwarearchitektur | Lars Hupel","description":"Lars Hupel erkl\u00e4rt, wie formale Methoden Softwarearchitekt:innen helfen, kostspielige Fehler zu vermeiden, die Softwarequalit\u00e4t zu verbessern und KI sinnvoll einzusetzen.","robots":{"index":"index","follow":"follow","max-snippet":"max-snippet:-1","max-image-preview":"max-image-preview:large","max-video-preview":"max-video-preview:-1"},"canonical":"https:\/\/www.isaqb.org\/de\/blog\/formale-methoden-softwarefehler-verhindern-bevor-sie-zum-problem-werden\/","og_locale":"de_DE","og_type":"article","og_title":"Formale Methoden in der Softwarearchitektur | Lars Hupel","og_description":"Lars Hupel erkl\u00e4rt, wie formale Methoden Softwarearchitekt:innen helfen, kostspielige Fehler zu vermeiden, die Softwarequalit\u00e4t zu verbessern und KI sinnvoll einzusetzen.","og_url":"https:\/\/www.isaqb.org\/de\/blog\/formale-methoden-softwarefehler-verhindern-bevor-sie-zum-problem-werden\/","og_site_name":"iSAQB\u00ae - Offizielle Website","article_published_time":"2026-08-03T14:14:32+00:00","article_modified_time":"2026-08-03T14:29:03+00:00","og_image":[{"width":1600,"height":900,"url":"https:\/\/www.isaqb.org\/de\/wp-content\/uploads\/sites\/2\/2026\/08\/Lars-Hupel-WP.jpg","type":"image\/jpeg"}],"author":"Madlen Schenk","twitter_card":"summary_large_image","twitter_title":"Formale Methoden in der Softwarearchitektur | Lars Hupel","twitter_description":"Lars Hupel erkl\u00e4rt, wie formale Methoden Softwarearchitekt:innen helfen, kostspielige Fehler zu vermeiden, die Softwarequalit\u00e4t zu verbessern und KI sinnvoll einzusetzen.","twitter_image":"https:\/\/www.isaqb.org\/de\/wp-content\/uploads\/sites\/2\/2026\/08\/Lars-Hupel-WP.jpg","twitter_misc":{"Verfasst von":"Madlen Schenk","Gesch\u00e4tzte Lesezeit":"2\u00a0Minuten"},"schema":{"@context":"https:\/\/schema.org","@graph":[{"@type":"Article","@id":"https:\/\/www.isaqb.org\/de\/blog\/formale-methoden-softwarefehler-verhindern-bevor-sie-zum-problem-werden\/#article","isPartOf":{"@id":"https:\/\/www.isaqb.org\/de\/blog\/formale-methoden-softwarefehler-verhindern-bevor-sie-zum-problem-werden\/"},"author":{"name":"Madlen Schenk","@id":"https:\/\/www.isaqb.org\/de\/#\/schema\/person\/cbd9576be3d91f59ba27dbdaee15d9c8"},"headline":"Formale Methoden: Softwarefehler verhindern, bevor sie zum Problem werden","datePublished":"2026-08-03T14:14:32+00:00","dateModified":"2026-08-03T14:29:03+00:00","mainEntityOfPage":{"@id":"https:\/\/www.isaqb.org\/de\/blog\/formale-methoden-softwarefehler-verhindern-bevor-sie-zum-problem-werden\/"},"wordCount":370,"image":{"@id":"https:\/\/www.isaqb.org\/de\/blog\/formale-methoden-softwarefehler-verhindern-bevor-sie-zum-problem-werden\/#primaryimage"},"thumbnailUrl":"https:\/\/www.isaqb.org\/de\/wp-content\/uploads\/sites\/2\/2026\/08\/Lars-Hupel-WP.jpg","keywords":["CPSA","Formale Methoden","KI","Lars Hupel","Softwarearchitektur","Softwarequalit\u00e4t"],"articleSection":["ADVANCED LEVEL","FM"],"inLanguage":"de"},{"@type":"WebPage","@id":"https:\/\/www.isaqb.org\/de\/blog\/formale-methoden-softwarefehler-verhindern-bevor-sie-zum-problem-werden\/","url":"https:\/\/www.isaqb.org\/de\/blog\/formale-methoden-softwarefehler-verhindern-bevor-sie-zum-problem-werden\/","name":"Formale Methoden in der Softwarearchitektur | Lars Hupel","isPartOf":{"@id":"https:\/\/www.isaqb.org\/de\/#website"},"primaryImageOfPage":{"@id":"https:\/\/www.isaqb.org\/de\/blog\/formale-methoden-softwarefehler-verhindern-bevor-sie-zum-problem-werden\/#primaryimage"},"image":{"@id":"https:\/\/www.isaqb.org\/de\/blog\/formale-methoden-softwarefehler-verhindern-bevor-sie-zum-problem-werden\/#primaryimage"},"thumbnailUrl":"https:\/\/www.isaqb.org\/de\/wp-content\/uploads\/sites\/2\/2026\/08\/Lars-Hupel-WP.jpg","datePublished":"2026-08-03T14:14:32+00:00","dateModified":"2026-08-03T14:29:03+00:00","author":{"@id":"https:\/\/www.isaqb.org\/de\/#\/schema\/person\/cbd9576be3d91f59ba27dbdaee15d9c8"},"description":"Lars Hupel erkl\u00e4rt, wie formale Methoden Softwarearchitekt:innen helfen, kostspielige Fehler zu vermeiden, die Softwarequalit\u00e4t zu verbessern und KI sinnvoll einzusetzen.","breadcrumb":{"@id":"https:\/\/www.isaqb.org\/de\/blog\/formale-methoden-softwarefehler-verhindern-bevor-sie-zum-problem-werden\/#breadcrumb"},"inLanguage":"de","potentialAction":[{"@type":"ReadAction","target":["https:\/\/www.isaqb.org\/de\/blog\/formale-methoden-softwarefehler-verhindern-bevor-sie-zum-problem-werden\/"]}]},{"@type":"ImageObject","inLanguage":"de","@id":"https:\/\/www.isaqb.org\/de\/blog\/formale-methoden-softwarefehler-verhindern-bevor-sie-zum-problem-werden\/#primaryimage","url":"https:\/\/www.isaqb.org\/de\/wp-content\/uploads\/sites\/2\/2026\/08\/Lars-Hupel-WP.jpg","contentUrl":"https:\/\/www.isaqb.org\/de\/wp-content\/uploads\/sites\/2\/2026\/08\/Lars-Hupel-WP.jpg","width":1600,"height":900,"caption":"Lars Hupel Interview Formale Methoden"},{"@type":"BreadcrumbList","@id":"https:\/\/www.isaqb.org\/de\/blog\/formale-methoden-softwarefehler-verhindern-bevor-sie-zum-problem-werden\/#breadcrumb","itemListElement":[{"@type":"ListItem","position":1,"name":"Home","item":"https:\/\/www.isaqb.org\/de\/"},{"@type":"ListItem","position":2,"name":"Formale Methoden: Softwarefehler verhindern, bevor sie zum Problem werden"}]},{"@type":"WebSite","@id":"https:\/\/www.isaqb.org\/de\/#website","url":"https:\/\/www.isaqb.org\/de\/","name":"iSAQB\u00ae - Offizielle Website","description":"Das International Software Architecture Qualification Board (iSAQB) ist die f\u00fchrende Vereinigung f\u00fcr Training und Zertifizierung in der Software-Architektur","potentialAction":[{"@type":"SearchAction","target":{"@type":"EntryPoint","urlTemplate":"https:\/\/www.isaqb.org\/de\/?s={search_term_string}"},"query-input":{"@type":"PropertyValueSpecification","valueRequired":true,"valueName":"search_term_string"}}],"inLanguage":"de"},{"@type":"Person","@id":"https:\/\/www.isaqb.org\/de\/#\/schema\/person\/cbd9576be3d91f59ba27dbdaee15d9c8","name":"Madlen Schenk","url":"https:\/\/www.isaqb.org\/de\/blog\/author\/mschenk\/"}]}},"_links":{"self":[{"href":"https:\/\/www.isaqb.org\/de\/wp-json\/wp\/v2\/posts\/2304","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/www.isaqb.org\/de\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/www.isaqb.org\/de\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/www.isaqb.org\/de\/wp-json\/wp\/v2\/users\/47"}],"replies":[{"embeddable":true,"href":"https:\/\/www.isaqb.org\/de\/wp-json\/wp\/v2\/comments?post=2304"}],"version-history":[{"count":8,"href":"https:\/\/www.isaqb.org\/de\/wp-json\/wp\/v2\/posts\/2304\/revisions"}],"predecessor-version":[{"id":2314,"href":"https:\/\/www.isaqb.org\/de\/wp-json\/wp\/v2\/posts\/2304\/revisions\/2314"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/www.isaqb.org\/de\/wp-json\/wp\/v2\/media\/2306"}],"wp:attachment":[{"href":"https:\/\/www.isaqb.org\/de\/wp-json\/wp\/v2\/media?parent=2304"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.isaqb.org\/de\/wp-json\/wp\/v2\/categories?post=2304"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.isaqb.org\/de\/wp-json\/wp\/v2\/tags?post=2304"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}