{"id":2609,"date":"2025-02-24T12:12:33","date_gmt":"2025-02-24T12:12:33","guid":{"rendered":"https:\/\/www.isaqb.org\/de\/?p=2609"},"modified":"2026-09-25T12:26:38","modified_gmt":"2026-09-25T12:26:38","slug":"ueber-das-neue-cpsa-advanced-level-modul-fm-formale-methoden","status":"publish","type":"post","link":"https:\/\/www.isaqb.org\/de\/blog\/ueber-das-neue-cpsa-advanced-level-modul-fm-formale-methoden\/","title":{"rendered":"\u00dcber das neue CPSA<sup>\u00ae<\/sup> \u2013 Advanced Level Modul FM: Formale Methoden"},"content":{"rendered":"\n<p class=\"wp-block-paragraph\">Am 27. Februar 2025 f\u00fchrte das iSAQB das neue Advanced Level-Modul <a href=\"https:\/\/www.isaqb.org\/de\/zertifizierungen\/zertifizierungen-uebersicht\/cpsa-advanced-level\/fm\/\" target=\"_blank\" rel=\"noopener\"><strong data-start=\"67\" data-end=\"92\">Formale Methoden (FM)<\/strong><\/a> ein.<\/p>\n\n\n\n<p class=\"wp-block-paragraph\">Das Modul \u201eFM \u2013 Formale Methoden\u201c vermittelt Software\u00adar\u00adchi\u00adtekten, wie sie die Korrektheit des Designs und der Imple\u00admen\u00adtierung eines Systems durch mathe\u00adma\u00adtische Beweise sicher\u00adstellen k\u00f6nnen. Das Modul konzen\u00adtriert sich auf sicher\u00adheits\u00adkri\u00adtische, sensible oder wirtschaftlich vitale Systeme und geht \u00fcber tradi\u00adtio\u00adnelle Archi\u00adtektur- und Testme\u00adthoden hinaus, indem es formale Techniken bietet, um zu \u00fcberpr\u00fcfen, dass Software ihren Anfor\u00adde\u00adrungen entspricht. Durch die fr\u00fchzeitige Integration formaler Methoden in der Design\u00adphase k\u00f6nnen Archi\u00adtekten verifi\u00adzierbare Modelle erstellen, die ein h\u00f6heres Ma\u00df an Software\u00adqua\u00adlit\u00e4t und Zuver\u00adl\u00e4s\u00adsigkeit gew\u00e4hrleisten.<\/p>\n\n\n\n<p class=\"wp-block-paragraph\">Wir haben ein Interview mit den Kuratoren, Michael Sperber und Lars Hupel, gef\u00fchrt, in dem sie tiefere Einblicke in das Modul&nbsp;geben.<\/p>\n\n\n\n<p class=\"wp-block-paragraph\"><span style=\"color: #f39200\"><strong><strong>Warum ist das Thema \u201eFormale Methoden\u201c aus eurer Sicht so wichtig, dass es ein eigenes Modul im CPSA Advanced-Programm verdient?<br>\n<\/strong><\/strong><\/span><\/p>\n\n\n\n<p class=\"wp-block-paragraph\">Software\u00adsysteme steuern immer mehr Aspekte unseres Lebens, und damit wird zunehmend die Sicherheit dieser Systeme relevant, und zwar im doppelten Sinne: Die Sicherheit, wenn es um Leib, Leben&nbsp;oder<br>\nunter\u00adneh\u00admens\u00adkri\u00adtische Bereiche geht, und die Sicherheit vor Einbr\u00fcchen, Sabotage und Datenen\u00adlecks. Bei solcher Software wollen wir, dass die Software bestimmte Anfor\u00adde\u00adrungen garan\u00adtiert erf\u00fcllt. Daf\u00fcr reichen einfache Tests nicht aus, die ja in der Regel nur bestimmte Szenarien abdecken \u2013 wir wollen, dass die Software sich in allen Szenarien korrekt verh\u00e4lt. Es braucht die Anwendung mathe\u00adma\u00adti\u00adscher Techniken \u2013 sogenannter formaler Methoden, und die waren bisher eine L\u00fccke im Portfolio der Advanced-Schulungen, die wir jetzt geschlossen haben.<\/p>\n\n\n\n<p class=\"wp-block-paragraph\"><span style=\"color: #f39200\"><strong>Welche konkreten Vorteile bieten formale Methoden im Vergleich zu tradi\u00adtio\u00adnellen Software\u00adent\u00adwick\u00adlungs\u00adan\u00ads\u00e4tzen, besonders in sicher\u00adheits\u00adkri\u00adti\u00adschen Bereichen?<\/strong><\/span><\/p>\n\n\n\n<p class=\"wp-block-paragraph\">Sie leisten etwas, was tradi\u00adtio\u00adnelle Ans\u00e4tze eben nicht leisten: Sie geben uns Garantien, statt einem blo\u00dfen Versprechen, dass ein Sicher\u00adheits\u00adproblem mit dem n\u00e4chsten Update behoben wird.<\/p>\n\n\n\n<p class=\"wp-block-paragraph\"><span style=\"color: #f39200\"><strong>Wie unter\u00adst\u00fctzt das Modul Software\u00adar\u00adchi\u00adtekten dabei, die System\u00adge\u00adnau\u00adigkeit und \u2011korrektheit in komplexen Projekten zu gew\u00e4hrleisten?<\/strong><\/span><\/p>\n\n\n\n<p class=\"wp-block-paragraph\">Der erste wichtige Aspekt ist, die Teile eines Systems zu identi\u00adfi\u00adzieren, bei denen die Anwendung bei formaler Methoden sich lohnt. Der zweite ist, abh\u00e4ngig von den Anfor\u00adde\u00adrungen die richtige formale Methode auszu\u00adw\u00e4hlen: Inzwi\u00adschen gibt es ja einen bunten Strau\u00df davon. Schlie\u00dflich geht es au\u00dferdem darum, in einem Projekt die techni\u00adschen Voraus\u00adset\u00adzungen zu schaffen, dass formale Methoden effektiv zum Einsatz kommen k\u00f6nnen.<\/p>\n\n\n\n<p class=\"wp-block-paragraph\"><span style=\"color: #f39200\"><strong>Formale Methoden sind bekannt f\u00fcr ihren mathe\u00adma\u00adti\u00adschen Ansatz \u2013 wie l\u00e4sst sich dieser in die Praxis umsetzen, ohne die Agilit\u00e4t der Entwicklung zu beeintr\u00e4chtigen?<\/strong><\/span><\/p>\n\n\n\n<p class=\"wp-block-paragraph\">Prinzi\u00adpiell sind formale Methoden kein Wider\u00adspruch zur Agilit\u00e4t. Aller\u00addings muss man ein ein paar grund\u00adle\u00adgende \u00dcberle\u00adgungen zum Anfang des Projekt treffen. Das liegt daran, dass es aufwendig ist, formale Methoden nachtr\u00e4glich anzuwenden. Will ich zum Beispiel die Korrektheit eines bestimmten St\u00fccks Codes beweisen, dann muss der in der Regel auf eine bestimmte Art und Weise geschrieben sein, und auch die Program\u00admier\u00adsprache spielt eine Rolle. Viel effek\u00adtiver ist es, die formalen Methoden begleitend zum Entwick\u00adlungs\u00adprozess zu benutzen und das Tooling daf\u00fcr in die CI einzu\u00adbauen. Damit ist es auch&nbsp;agil.<\/p>\n\n\n\n<p class=\"wp-block-paragraph\"><span style=\"color: #f39200\"><strong>Welchen Einfluss haben formale Methoden auf die langfristige Wartbarkeit und Erwei\u00adter\u00adbarkeit von Softwarearchitekturen?<\/strong><\/span><\/p>\n\n\n\n<p class=\"wp-block-paragraph\">Der promi\u00adnente Infor\u00adma\u00adtiker Conal Elliott hat den Satz gepr\u00e4gt \u201eOnly correctness composes\u201c: Wenn ein Softwarebau\u00adstein eine Eigen\u00adschaft sicher erf\u00fcllt, dann ist es vollkommen egal, wie das passiert, und ich kann es mit anderen solchen Bausteinen sicher kombi\u00adnieren, ohne dass ich mir Sorgen um die innereren Details machen muss. Das f\u00f6rdert die Entkopplung der Bausteine und ist damit gro\u00dfartig f\u00fcr die Architektur.<\/p>\n\n\n\n<p class=\"wp-block-paragraph\"><span style=\"color: #f39200\"><strong>Welche Voraus\u00adset\u00adzungen sollte man f\u00fcr dieses Modul mitbringen, insbe\u00adsondere im Hinblick auf mathe\u00adma\u00adtische Kennt\u00adnisse und Vorkennt\u00adnisse in Softwarearchitektur?<\/strong><\/span><\/p>\n\n\n\n<p class=\"wp-block-paragraph\">Gymna\u00adsi\u00adal\u00adma\u00adthe\u00admatik gen\u00fcgt. Die Schulung ist prinzi\u00adpiell unabh\u00e4ngig von den anderen Advanced-Schulungen, passt aber besonders gut zu FUNAR und EMBEDDED: Zu FUNAR, weil formale Methoden in der Praxis eh auf funktio\u00adnaler Program\u00admierung aufbauen und EMBEDDED, weil es im Embedded-Bereich h\u00e4ufig erh\u00f6hte Anfor\u00adde\u00adrungen an Quali\u00adt\u00e4ten gibt, bei denen formale Methoden helfen k\u00f6nnen.<\/p>\n","protected":false},"excerpt":{"rendered":"<p>Ein Interview mit den Kuratoren Michael Sperber und Lars Hupel \u00fcber das neue CPSA-Advanced-Level-Modul FM: Formale Methoden.<\/p>\n","protected":false},"author":46,"featured_media":2608,"comment_status":"closed","ping_status":"closed","sticky":false,"template":"","format":"standard","meta":{"_trash_the_other_posts":false,"editor_notices":[],"footnotes":""},"categories":[29,180],"tags":[],"class_list":["post-2609","post","type-post","status-publish","format-standard","has-post-thumbnail","hentry","category-advanced-level","category-fm"],"yoast_head":"<!-- This site is optimized with the Yoast SEO plugin v28.5 - https:\/\/yoast.com\/product\/yoast-seo-wordpress\/ -->\n<title>\u00dcber das neue CPSA\u00ae \u2013 Advanced Level Modul FM: Formale Methoden - iSAQB\u00ae - Offizielle Website<\/title>\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\/ueber-das-neue-cpsa-advanced-level-modul-fm-formale-methoden\/\" \/>\n<meta property=\"og:locale\" content=\"de_DE\" \/>\n<meta property=\"og:type\" content=\"article\" \/>\n<meta property=\"og:title\" content=\"\u00dcber das neue CPSA\u00ae \u2013 Advanced Level Modul FM: Formale Methoden - iSAQB\u00ae - Offizielle Website\" \/>\n<meta property=\"og:description\" content=\"Ein Interview mit den Kuratoren Michael Sperber und Lars Hupel \u00fcber das neue CPSA-Advanced-Level-Modul FM: Formale Methoden.\" \/>\n<meta property=\"og:url\" content=\"https:\/\/www.isaqb.org\/de\/blog\/ueber-das-neue-cpsa-advanced-level-modul-fm-formale-methoden\/\" \/>\n<meta property=\"og:site_name\" content=\"iSAQB\u00ae - Offizielle Website\" \/>\n<meta property=\"article:published_time\" content=\"2025-02-24T12:12:33+00:00\" \/>\n<meta property=\"article:modified_time\" content=\"2026-09-25T12:26:38+00:00\" \/>\n<meta property=\"og:image\" content=\"https:\/\/www.isaqb.org\/de\/wp-content\/uploads\/sites\/2\/2026\/09\/featured_de.jpg\" \/>\n\t<meta property=\"og:image:width\" content=\"1200\" \/>\n\t<meta property=\"og:image:height\" content=\"629\" \/>\n\t<meta property=\"og:image:type\" content=\"image\/jpeg\" \/>\n<meta name=\"author\" content=\"Arsenii Belousov\" \/>\n<meta name=\"twitter:card\" content=\"summary_large_image\" \/>\n<meta name=\"twitter:label1\" content=\"Verfasst von\" \/>\n\t<meta name=\"twitter:data1\" content=\"Arsenii Belousov\" \/>\n\t<meta name=\"twitter:label2\" content=\"Gesch\u00e4tzte Lesezeit\" \/>\n\t<meta name=\"twitter:data2\" content=\"4\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\\\/ueber-das-neue-cpsa-advanced-level-modul-fm-formale-methoden\\\/#article\",\"isPartOf\":{\"@id\":\"https:\\\/\\\/www.isaqb.org\\\/de\\\/blog\\\/ueber-das-neue-cpsa-advanced-level-modul-fm-formale-methoden\\\/\"},\"author\":{\"name\":\"Arsenii Belousov\",\"@id\":\"https:\\\/\\\/www.isaqb.org\\\/de\\\/#\\\/schema\\\/person\\\/e7ea5df25a6709b8b931b2f8cf4ca532\"},\"headline\":\"\u00dcber das neue CPSA\u00ae \u2013 Advanced Level Modul FM: Formale Methoden\",\"datePublished\":\"2025-02-24T12:12:33+00:00\",\"dateModified\":\"2026-09-25T12:26:38+00:00\",\"mainEntityOfPage\":{\"@id\":\"https:\\\/\\\/www.isaqb.org\\\/de\\\/blog\\\/ueber-das-neue-cpsa-advanced-level-modul-fm-formale-methoden\\\/\"},\"wordCount\":774,\"image\":{\"@id\":\"https:\\\/\\\/www.isaqb.org\\\/de\\\/blog\\\/ueber-das-neue-cpsa-advanced-level-modul-fm-formale-methoden\\\/#primaryimage\"},\"thumbnailUrl\":\"https:\\\/\\\/www.isaqb.org\\\/de\\\/wp-content\\\/uploads\\\/sites\\\/2\\\/2026\\\/09\\\/featured_de.jpg\",\"articleSection\":[\"ADVANCED LEVEL\",\"FM\"],\"inLanguage\":\"de\"},{\"@type\":\"WebPage\",\"@id\":\"https:\\\/\\\/www.isaqb.org\\\/de\\\/blog\\\/ueber-das-neue-cpsa-advanced-level-modul-fm-formale-methoden\\\/\",\"url\":\"https:\\\/\\\/www.isaqb.org\\\/de\\\/blog\\\/ueber-das-neue-cpsa-advanced-level-modul-fm-formale-methoden\\\/\",\"name\":\"\u00dcber das neue CPSA\u00ae \u2013 Advanced Level Modul FM: Formale Methoden - iSAQB\u00ae - Offizielle Website\",\"isPartOf\":{\"@id\":\"https:\\\/\\\/www.isaqb.org\\\/de\\\/#website\"},\"primaryImageOfPage\":{\"@id\":\"https:\\\/\\\/www.isaqb.org\\\/de\\\/blog\\\/ueber-das-neue-cpsa-advanced-level-modul-fm-formale-methoden\\\/#primaryimage\"},\"image\":{\"@id\":\"https:\\\/\\\/www.isaqb.org\\\/de\\\/blog\\\/ueber-das-neue-cpsa-advanced-level-modul-fm-formale-methoden\\\/#primaryimage\"},\"thumbnailUrl\":\"https:\\\/\\\/www.isaqb.org\\\/de\\\/wp-content\\\/uploads\\\/sites\\\/2\\\/2026\\\/09\\\/featured_de.jpg\",\"datePublished\":\"2025-02-24T12:12:33+00:00\",\"dateModified\":\"2026-09-25T12:26:38+00:00\",\"author\":{\"@id\":\"https:\\\/\\\/www.isaqb.org\\\/de\\\/#\\\/schema\\\/person\\\/e7ea5df25a6709b8b931b2f8cf4ca532\"},\"breadcrumb\":{\"@id\":\"https:\\\/\\\/www.isaqb.org\\\/de\\\/blog\\\/ueber-das-neue-cpsa-advanced-level-modul-fm-formale-methoden\\\/#breadcrumb\"},\"inLanguage\":\"de\",\"potentialAction\":[{\"@type\":\"ReadAction\",\"target\":[\"https:\\\/\\\/www.isaqb.org\\\/de\\\/blog\\\/ueber-das-neue-cpsa-advanced-level-modul-fm-formale-methoden\\\/\"]}]},{\"@type\":\"ImageObject\",\"inLanguage\":\"de\",\"@id\":\"https:\\\/\\\/www.isaqb.org\\\/de\\\/blog\\\/ueber-das-neue-cpsa-advanced-level-modul-fm-formale-methoden\\\/#primaryimage\",\"url\":\"https:\\\/\\\/www.isaqb.org\\\/de\\\/wp-content\\\/uploads\\\/sites\\\/2\\\/2026\\\/09\\\/featured_de.jpg\",\"contentUrl\":\"https:\\\/\\\/www.isaqb.org\\\/de\\\/wp-content\\\/uploads\\\/sites\\\/2\\\/2026\\\/09\\\/featured_de.jpg\",\"width\":1200,\"height\":629},{\"@type\":\"BreadcrumbList\",\"@id\":\"https:\\\/\\\/www.isaqb.org\\\/de\\\/blog\\\/ueber-das-neue-cpsa-advanced-level-modul-fm-formale-methoden\\\/#breadcrumb\",\"itemListElement\":[{\"@type\":\"ListItem\",\"position\":1,\"name\":\"Home\",\"item\":\"https:\\\/\\\/www.isaqb.org\\\/de\\\/\"},{\"@type\":\"ListItem\",\"position\":2,\"name\":\"\u00dcber das neue CPSA\u00ae \u2013 Advanced Level Modul FM: Formale Methoden\"}]},{\"@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\\\/e7ea5df25a6709b8b931b2f8cf4ca532\",\"name\":\"Arsenii Belousov\",\"url\":\"https:\\\/\\\/www.isaqb.org\\\/de\\\/blog\\\/author\\\/abelousov\\\/\"}]}<\/script>\n<!-- \/ Yoast SEO plugin. -->","yoast_head_json":{"title":"\u00dcber das neue CPSA\u00ae \u2013 Advanced Level Modul FM: Formale Methoden - iSAQB\u00ae - Offizielle Website","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\/ueber-das-neue-cpsa-advanced-level-modul-fm-formale-methoden\/","og_locale":"de_DE","og_type":"article","og_title":"\u00dcber das neue CPSA\u00ae \u2013 Advanced Level Modul FM: Formale Methoden - iSAQB\u00ae - Offizielle Website","og_description":"Ein Interview mit den Kuratoren Michael Sperber und Lars Hupel \u00fcber das neue CPSA-Advanced-Level-Modul FM: Formale Methoden.","og_url":"https:\/\/www.isaqb.org\/de\/blog\/ueber-das-neue-cpsa-advanced-level-modul-fm-formale-methoden\/","og_site_name":"iSAQB\u00ae - Offizielle Website","article_published_time":"2025-02-24T12:12:33+00:00","article_modified_time":"2026-09-25T12:26:38+00:00","og_image":[{"width":1200,"height":629,"url":"https:\/\/www.isaqb.org\/de\/wp-content\/uploads\/sites\/2\/2026\/09\/featured_de.jpg","type":"image\/jpeg"}],"author":"Arsenii Belousov","twitter_card":"summary_large_image","twitter_misc":{"Verfasst von":"Arsenii Belousov","Gesch\u00e4tzte Lesezeit":"4\u00a0Minuten"},"schema":{"@context":"https:\/\/schema.org","@graph":[{"@type":"Article","@id":"https:\/\/www.isaqb.org\/de\/blog\/ueber-das-neue-cpsa-advanced-level-modul-fm-formale-methoden\/#article","isPartOf":{"@id":"https:\/\/www.isaqb.org\/de\/blog\/ueber-das-neue-cpsa-advanced-level-modul-fm-formale-methoden\/"},"author":{"name":"Arsenii Belousov","@id":"https:\/\/www.isaqb.org\/de\/#\/schema\/person\/e7ea5df25a6709b8b931b2f8cf4ca532"},"headline":"\u00dcber das neue CPSA\u00ae \u2013 Advanced Level Modul FM: Formale Methoden","datePublished":"2025-02-24T12:12:33+00:00","dateModified":"2026-09-25T12:26:38+00:00","mainEntityOfPage":{"@id":"https:\/\/www.isaqb.org\/de\/blog\/ueber-das-neue-cpsa-advanced-level-modul-fm-formale-methoden\/"},"wordCount":774,"image":{"@id":"https:\/\/www.isaqb.org\/de\/blog\/ueber-das-neue-cpsa-advanced-level-modul-fm-formale-methoden\/#primaryimage"},"thumbnailUrl":"https:\/\/www.isaqb.org\/de\/wp-content\/uploads\/sites\/2\/2026\/09\/featured_de.jpg","articleSection":["ADVANCED LEVEL","FM"],"inLanguage":"de"},{"@type":"WebPage","@id":"https:\/\/www.isaqb.org\/de\/blog\/ueber-das-neue-cpsa-advanced-level-modul-fm-formale-methoden\/","url":"https:\/\/www.isaqb.org\/de\/blog\/ueber-das-neue-cpsa-advanced-level-modul-fm-formale-methoden\/","name":"\u00dcber das neue CPSA\u00ae \u2013 Advanced Level Modul FM: Formale Methoden - iSAQB\u00ae - Offizielle Website","isPartOf":{"@id":"https:\/\/www.isaqb.org\/de\/#website"},"primaryImageOfPage":{"@id":"https:\/\/www.isaqb.org\/de\/blog\/ueber-das-neue-cpsa-advanced-level-modul-fm-formale-methoden\/#primaryimage"},"image":{"@id":"https:\/\/www.isaqb.org\/de\/blog\/ueber-das-neue-cpsa-advanced-level-modul-fm-formale-methoden\/#primaryimage"},"thumbnailUrl":"https:\/\/www.isaqb.org\/de\/wp-content\/uploads\/sites\/2\/2026\/09\/featured_de.jpg","datePublished":"2025-02-24T12:12:33+00:00","dateModified":"2026-09-25T12:26:38+00:00","author":{"@id":"https:\/\/www.isaqb.org\/de\/#\/schema\/person\/e7ea5df25a6709b8b931b2f8cf4ca532"},"breadcrumb":{"@id":"https:\/\/www.isaqb.org\/de\/blog\/ueber-das-neue-cpsa-advanced-level-modul-fm-formale-methoden\/#breadcrumb"},"inLanguage":"de","potentialAction":[{"@type":"ReadAction","target":["https:\/\/www.isaqb.org\/de\/blog\/ueber-das-neue-cpsa-advanced-level-modul-fm-formale-methoden\/"]}]},{"@type":"ImageObject","inLanguage":"de","@id":"https:\/\/www.isaqb.org\/de\/blog\/ueber-das-neue-cpsa-advanced-level-modul-fm-formale-methoden\/#primaryimage","url":"https:\/\/www.isaqb.org\/de\/wp-content\/uploads\/sites\/2\/2026\/09\/featured_de.jpg","contentUrl":"https:\/\/www.isaqb.org\/de\/wp-content\/uploads\/sites\/2\/2026\/09\/featured_de.jpg","width":1200,"height":629},{"@type":"BreadcrumbList","@id":"https:\/\/www.isaqb.org\/de\/blog\/ueber-das-neue-cpsa-advanced-level-modul-fm-formale-methoden\/#breadcrumb","itemListElement":[{"@type":"ListItem","position":1,"name":"Home","item":"https:\/\/www.isaqb.org\/de\/"},{"@type":"ListItem","position":2,"name":"\u00dcber das neue CPSA\u00ae \u2013 Advanced Level Modul FM: Formale Methoden"}]},{"@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\/e7ea5df25a6709b8b931b2f8cf4ca532","name":"Arsenii Belousov","url":"https:\/\/www.isaqb.org\/de\/blog\/author\/abelousov\/"}]}},"_links":{"self":[{"href":"https:\/\/www.isaqb.org\/de\/wp-json\/wp\/v2\/posts\/2609","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\/46"}],"replies":[{"embeddable":true,"href":"https:\/\/www.isaqb.org\/de\/wp-json\/wp\/v2\/comments?post=2609"}],"version-history":[{"count":2,"href":"https:\/\/www.isaqb.org\/de\/wp-json\/wp\/v2\/posts\/2609\/revisions"}],"predecessor-version":[{"id":2611,"href":"https:\/\/www.isaqb.org\/de\/wp-json\/wp\/v2\/posts\/2609\/revisions\/2611"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/www.isaqb.org\/de\/wp-json\/wp\/v2\/media\/2608"}],"wp:attachment":[{"href":"https:\/\/www.isaqb.org\/de\/wp-json\/wp\/v2\/media?parent=2609"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.isaqb.org\/de\/wp-json\/wp\/v2\/categories?post=2609"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.isaqb.org\/de\/wp-json\/wp\/v2\/tags?post=2609"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}