{"id":17190,"date":"2023-04-20T05:49:39","date_gmt":"2023-04-20T04:49:39","guid":{"rendered":"https:\/\/stage.prover.com\/?page_id=17190"},"modified":"2025-03-18T12:59:25","modified_gmt":"2025-03-18T11:59:25","slug":"generic-application-engineering","status":"publish","type":"page","link":"https:\/\/www.prover.com\/expertise\/training\/generic-application-engineering\/","title":{"rendered":"Generic application engineering with PiSPEC"},"content":{"rendered":"<p><div class=\"fusion-fullwidth fullwidth-box fusion-builder-row-1 fusion-flex-container has-pattern-background has-mask-background nonhundred-percent-fullwidth non-hundred-percent-height-scrolling\" style=\"--awb-border-radius-top-left:0px;--awb-border-radius-top-right:0px;--awb-border-radius-bottom-right:0px;--awb-border-radius-bottom-left:0px;--awb-padding-top:0px;--awb-padding-bottom:0px;--awb-margin-top:-30px;--awb-margin-bottom:0px;--awb-margin-top-small:-50px;--awb-flex-wrap:wrap;\" ><div class=\"fusion-builder-row fusion-row fusion-flex-align-items-flex-start fusion-flex-justify-content-space-between fusion-flex-content-wrap\" style=\"max-width:calc( 1280px + 80px );margin-left: calc(-80px \/ 2 );margin-right: calc(-80px \/ 2 );\"><div class=\"fusion-layout-column fusion_builder_column fusion-builder-column-0 fusion_builder_column_1_1 1_1 fusion-flex-column fusion-no-small-visibility\" style=\"--awb-bg-size:cover;--awb-width-large:100%;--awb-margin-top-large:0px;--awb-spacing-right-large:40px;--awb-margin-bottom-large:20px;--awb-spacing-left-large:40px;--awb-width-medium:100%;--awb-order-medium:0;--awb-spacing-right-medium:40px;--awb-spacing-left-medium:40px;--awb-width-small:100%;--awb-order-small:0;--awb-spacing-right-small:40px;--awb-spacing-left-small:40px;\" data-scroll-devices=\"small-visibility,medium-visibility,large-visibility\"><div class=\"fusion-column-wrapper fusion-column-has-shadow fusion-flex-justify-content-flex-start fusion-content-layout-column\"><nav class=\"fusion-breadcrumbs awb-yoast-breadcrumbs fusion-breadcrumbs-1\" style=\"--awb-breadcrumb-sep:&#039;\/&#039;;\" aria-label=\"Breadcrumb\"><span><span><a href=\"https:\/\/www.prover.com\/\">Home<\/a><\/span><\/span><\/nav><\/div><\/div><div class=\"fusion-layout-column fusion_builder_column fusion-builder-column-1 fusion_builder_column_3_5 3_5 fusion-flex-column fusion-flex-align-self-flex-start\" style=\"--awb-bg-size:cover;--awb-width-large:60%;--awb-margin-top-large:0px;--awb-spacing-right-large:calc( 0.083333333333333 * calc( 100% - 80px ) );--awb-margin-bottom-large:30px;--awb-spacing-left-large:40px;--awb-width-medium:60%;--awb-order-medium:0;--awb-spacing-right-medium:calc( 0.083333333333333 * calc( 100% - 80px ) );--awb-spacing-left-medium:40px;--awb-width-small:100%;--awb-order-small:0;--awb-spacing-right-small:40px;--awb-spacing-left-small:40px;\" data-scroll-devices=\"small-visibility,medium-visibility,large-visibility\"><div class=\"fusion-column-wrapper fusion-column-has-shadow fusion-flex-justify-content-flex-start fusion-content-layout-column\"><div class=\"fusion-title title fusion-title-1 fusion-sep-none fusion-title-text fusion-title-size-one\" style=\"--awb-margin-bottom:30px;--awb-margin-top-small:10px;--awb-margin-right-small:0px;--awb-margin-bottom-small:25px;--awb-margin-left-small:0px;\"><h1 class=\"fusion-title-heading title-heading-left\" style=\"margin:0;text-transform:none;\">Generic application engineering with PiSPEC<\/h1><\/div><div class=\"fusion-text fusion-text-1\"><p>In this three-week program, engineers will learn how to develop, review, and maintain formal specifications using PiSPEC. Class room sessions are spread over three months, in order for students to have the opportunity to practice and reinforce their skills.<\/p>\n<p><a href=\"https:\/\/www.prover.com\/wp-content\/uploads\/2023\/04\/Generic-Application-Engineering-with-PiSPEC.pdf\" target=\"_blank\" rel=\"noopener\">Download brochure (pdf)<\/a><\/p>\n<\/div><div class=\"fusion-separator fusion-full-width-sep\" style=\"align-self: center;margin-left: auto;margin-right: auto;margin-top:20px;margin-bottom:10px;width:100%;\"><div class=\"fusion-separator-border sep-single\" style=\"--awb-height:20px;--awb-amount:20px;border-color:var(--awb-custom_color_2);border-top-width:1px;\"><\/div><\/div><div class=\"fusion-text fusion-text-2\"><h3>Who should attend?<\/h3>\n<p>Engineers who shall work with formal specification, in particular for interlocking systems.<\/p>\n<h3>Prerequisites<\/h3>\n<ul>\n<li>Prover Certified Specific Application Engineer.<\/li>\n<li>Basic knowledge about railway signaling concepts such as switches (points), signals, track circuits, routes, flank protection and front protection.<\/li>\n<li>Experience in object-oriented software development or predicate logic will be beneficial.<\/li>\n<\/ul>\n<\/div><\/div><\/div><div class=\"fusion-layout-column fusion_builder_column fusion-builder-column-2 fusion_builder_column_1_3 1_3 fusion-flex-column fusion-flex-align-self-flex-start\" style=\"--awb-padding-top:50px;--awb-padding-right:50px;--awb-padding-bottom:35px;--awb-padding-left:50px;--awb-bg-color:var(--awb-color2);--awb-bg-color-hover:var(--awb-color2);--awb-bg-size:cover;--awb-width-large:33.333333333333%;--awb-margin-top-large:0px;--awb-spacing-right-large:40px;--awb-margin-bottom-large:0px;--awb-spacing-left-large:0px;--awb-width-medium:33.333333333333%;--awb-order-medium:0;--awb-spacing-right-medium:40px;--awb-spacing-left-medium:0px;--awb-width-small:100%;--awb-order-small:0;--awb-spacing-right-small:40px;--awb-margin-bottom-small:40px;--awb-spacing-left-small:40px;\" data-scroll-devices=\"small-visibility,medium-visibility,large-visibility\"><div class=\"fusion-column-wrapper fusion-column-has-shadow fusion-flex-justify-content-flex-start fusion-content-layout-column\"><div class=\"fusion-title title fusion-title-2 fusion-sep-none fusion-title-center fusion-title-text fusion-title-size-three\" style=\"--awb-text-color:var(--awb-color7);--awb-margin-bottom:30px;--awb-margin-top-small:10px;--awb-margin-right-small:0px;--awb-margin-bottom-small:25px;--awb-margin-left-small:0px;\"><h3 class=\"fusion-title-heading title-heading-center\" style=\"margin:0;text-transform:none;\">Course information<\/h3><\/div><div class=\"fusion-text fusion-text-3\" style=\"--awb-font-size:15px;\"><p><strong>How:<\/strong><br \/>\n12 days\u00a0spread over a three-month period.<\/p>\n<p><strong>Language:<\/strong><br \/>\nEnglish or swedish<\/p>\n<p><strong>Location:<\/strong><br \/>\nClassroom setting at. Location TBD.<\/p>\n<p><strong>Certification:<\/strong><br \/>\nProver Certified Generic Application Engineer (CGAE)<\/p>\n<p><strong>Price:<\/strong><br \/>\n\u20ac5100<\/p>\n<\/div><div ><a class=\"fusion-button button-flat fusion-button-default-size button-custom fusion-button-default button-1 fusion-button-span-yes fusion-button-default-type\" style=\"--button_accent_color:var(--awb-color1);--button_border_color:var(--awb-color3);--button_accent_hover_color:var(--awb-color3);--button_border_hover_color:var(--awb-color3);--button_border_width-top:2px;--button_border_width-right:2px;--button_border_width-bottom:2px;--button_border_width-left:2px;--button_gradient_top_color:var(--awb-color3);--button_gradient_bottom_color:var(--awb-color3);--button_gradient_top_color_hover:var(--awb-color2);--button_gradient_bottom_color_hover:var(--awb-color2);\" target=\"_self\" href=\"#training-form\"><span class=\"fusion-button-text awb-button__text awb-button__text--default fusion-button-text-right\">Send a request<\/span><span class=\"fusion-button-icon-divider button-icon-divider-right\"><i class=\"fa-arrow-down fas awb-button__icon awb-button__icon--default\" aria-hidden=\"true\"><\/i><\/span><\/a><\/div><\/div><\/div><div class=\"fusion-layout-column fusion_builder_column fusion-builder-column-3 fusion_builder_column_3_5 3_5 fusion-flex-column\" style=\"--awb-bg-size:cover;--awb-width-large:60%;--awb-margin-top-large:0px;--awb-spacing-right-large:30px;--awb-margin-bottom-large:40px;--awb-spacing-left-large:40px;--awb-width-medium:60%;--awb-order-medium:0;--awb-spacing-right-medium:30px;--awb-spacing-left-medium:40px;--awb-width-small:100%;--awb-order-small:0;--awb-margin-top-small:40px;--awb-spacing-right-small:40px;--awb-margin-bottom-small:0px;--awb-spacing-left-small:40px;\" data-scroll-devices=\"small-visibility,medium-visibility,large-visibility\"><div class=\"fusion-column-wrapper fusion-column-has-shadow fusion-flex-justify-content-flex-start fusion-content-layout-column\"><div class=\"fusion-title title fusion-title-3 fusion-sep-none fusion-title-text fusion-title-size-three\" style=\"--awb-margin-top:0px;--awb-margin-bottom:0px;--awb-margin-top-small:10px;--awb-margin-right-small:0px;--awb-margin-bottom-small:10px;--awb-margin-left-small:0px;\"><h3 class=\"fusion-title-heading title-heading-left\" style=\"margin:0;text-transform:none;\">What you will learn<\/h3><\/div><ul style=\"--awb-size:17px;--awb-margin-top:20px;--awb-margin-right:0px;--awb-margin-bottom:20px;--awb-margin-left:0px;--awb-iconcolor:var(--awb-color3);--awb-line-height:28.9px;--awb-icon-width:28.9px;--awb-icon-height:28.9px;--awb-icon-margin:11.9px;--awb-content-margin:40.8px;\" class=\"fusion-checklist fusion-checklist-1 fusion-checklist-default type-icons\"><li class=\"fusion-li-item\" style=\"\"><span class=\"icon-wrapper circle-no\"><i class=\"fusion-li-icon fa-check fas\" aria-hidden=\"true\"><\/i><\/span><div class=\"fusion-li-item-content\">\n<p>How to specify an object model for a generic application (which physical and virtual objects exist, how they can be parametrized and what inputs\/outputs they have)<\/p>\n<\/div><\/li><li class=\"fusion-li-item\" style=\"\"><span class=\"icon-wrapper circle-no\"><i class=\"fusion-li-icon fa-check fas\" aria-hidden=\"true\"><\/i><\/span><div class=\"fusion-li-item-content\">\n<p>How to specify a generic application configuration (telling how the system shall be configured)<\/p>\n<\/div><\/li><li class=\"fusion-li-item\" style=\"\"><span class=\"icon-wrapper circle-no\"><i class=\"fusion-li-icon fa-check fas\" aria-hidden=\"true\"><\/i><\/span><div class=\"fusion-li-item-content\">\n<p>How to make a generic design specification (telling how the interlocking objects shall behave)<\/p>\n<\/div><\/li><li class=\"fusion-li-item\" style=\"\"><span class=\"icon-wrapper circle-no\"><i class=\"fusion-li-icon fa-check fas\" aria-hidden=\"true\"><\/i><\/span><div class=\"fusion-li-item-content\">\n<p>How to make a generic test specification (telling how the system shall be tested)<\/p>\n<\/div><\/li><li class=\"fusion-li-item\" style=\"\"><span class=\"icon-wrapper circle-no\"><i class=\"fusion-li-icon fa-check fas\" aria-hidden=\"true\"><\/i><\/span><div class=\"fusion-li-item-content\">\n<p>How to make a generic safety specification (telling which safety properties must be fulfilled by the system)<\/p>\n<\/div><\/li><\/ul><\/div><\/div><div class=\"fusion-layout-column fusion_builder_column fusion-builder-column-4 fusion_builder_column_1_3 1_3 fusion-flex-column\" style=\"--awb-bg-size:cover;--awb-width-large:33.333333333333%;--awb-margin-top-large:0px;--awb-spacing-right-large:40px;--awb-margin-bottom-large:40px;--awb-spacing-left-large:0px;--awb-width-medium:33.333333333333%;--awb-order-medium:0;--awb-spacing-right-medium:40px;--awb-spacing-left-medium:0px;--awb-width-small:100%;--awb-order-small:0;--awb-spacing-right-small:40px;--awb-spacing-left-small:40px;\" data-scroll-devices=\"small-visibility,medium-visibility,large-visibility\"><div class=\"fusion-column-wrapper fusion-column-has-shadow fusion-flex-justify-content-flex-start fusion-content-layout-column\"><div class=\"fusion-title title fusion-title-4 fusion-sep-none fusion-title-text fusion-title-size-six\" style=\"--awb-margin-top:0px;--awb-margin-bottom:10px;--awb-margin-top-small:10px;--awb-margin-right-small:0px;--awb-margin-bottom-small:10px;--awb-margin-left-small:0px;\"><h6 class=\"fusion-title-heading title-heading-left\" style=\"margin:0;text-transform:uppercase;\">Course leader<\/h6><\/div><div class=\"fusion-separator fusion-full-width-sep\" style=\"align-self: center;margin-left: auto;margin-right: auto;margin-bottom:40px;width:100%;\"><div class=\"fusion-separator-border sep-single\" style=\"--awb-height:20px;--awb-amount:20px;border-color:var(--awb-custom_color_2);border-top-width:1px;\"><\/div><\/div><div class=\"fusion-builder-row fusion-builder-row-inner fusion-row fusion-flex-align-items-flex-start fusion-flex-justify-content-space-between fusion-flex-content-wrap\" style=\"--awb-flex-grow:0;--awb-flex-grow-medium:0;--awb-flex-grow-small:0;--awb-flex-shrink:0;--awb-flex-shrink-medium:0;--awb-flex-shrink-small:0;width:calc( 100% + 80px ) !important;max-width:calc( 100% + 80px ) !important;margin-left: calc(-80px \/ 2 );margin-right: calc(-80px \/ 2 );\"><div class=\"fusion-layout-column fusion_builder_column_inner fusion-builder-nested-column-0 fusion_builder_column_inner_1_3 1_3 fusion-flex-column\" style=\"--awb-bg-size:cover;--awb-width-large:33.333333333333%;--awb-margin-top-large:0px;--awb-spacing-right-large:calc( 0.06 * calc( 100% - 80px ) );--awb-margin-bottom-large:20px;--awb-spacing-left-large:40px;--awb-width-medium:33.333333333333%;--awb-order-medium:0;--awb-spacing-right-medium:calc( 0.06 * calc( 100% - 80px ) );--awb-spacing-left-medium:40px;--awb-width-small:100%;--awb-order-small:0;--awb-spacing-right-small:40px;--awb-spacing-left-small:40px;\" data-scroll-devices=\"small-visibility,medium-visibility,large-visibility\"><div class=\"fusion-column-wrapper fusion-column-has-shadow fusion-flex-justify-content-flex-start fusion-content-layout-column\"><div class=\"fusion-image-element \" style=\"--awb-max-width:200px;--awb-caption-title-font-family:var(--h2_typography-font-family);--awb-caption-title-font-weight:var(--h2_typography-font-weight);--awb-caption-title-font-style:var(--h2_typography-font-style);--awb-caption-title-size:var(--h2_typography-font-size);--awb-caption-title-transform:var(--h2_typography-text-transform);--awb-caption-title-line-height:var(--h2_typography-line-height);--awb-caption-title-letter-spacing:var(--h2_typography-letter-spacing);\"><span class=\" fusion-imageframe imageframe-none imageframe-1 hover-type-none img-rounded-corners\"><img decoding=\"async\" width=\"254\" height=\"254\" alt=\"Gunnar Smith Prover\" title=\"Gunnar Smith Prover\" src=\"https:\/\/www.prover.com\/wp-content\/uploads\/2023\/02\/Gunnar.png\" data-orig-src=\"https:\/\/www.prover.com\/wp-content\/uploads\/2023\/02\/Gunnar.png\" class=\"lazyload img-responsive wp-image-14424\" srcset=\"data:image\/svg+xml,%3Csvg%20xmlns%3D%27http%3A%2F%2Fwww.w3.org%2F2000%2Fsvg%27%20width%3D%27254%27%20height%3D%27254%27%20viewBox%3D%270%200%20254%20254%27%3E%3Crect%20width%3D%27254%27%20height%3D%27254%27%20fill-opacity%3D%220%22%2F%3E%3C%2Fsvg%3E\" data-srcset=\"https:\/\/www.prover.com\/wp-content\/uploads\/2023\/02\/Gunnar-200x200.png 200w, https:\/\/www.prover.com\/wp-content\/uploads\/2023\/02\/Gunnar.png 254w\" data-sizes=\"auto\" data-orig-sizes=\"(max-width: 840px) 100vw, 254px\" \/><\/span><\/div><\/div><\/div><div class=\"fusion-layout-column fusion_builder_column_inner fusion-builder-nested-column-1 fusion_builder_column_inner_2_3 2_3 fusion-flex-column\" style=\"--awb-bg-size:cover;--awb-width-large:66.666666666667%;--awb-margin-top-large:0px;--awb-spacing-right-large:40px;--awb-margin-bottom-large:20px;--awb-spacing-left-large:40px;--awb-width-medium:66.666666666667%;--awb-order-medium:0;--awb-spacing-right-medium:40px;--awb-spacing-left-medium:40px;--awb-width-small:100%;--awb-order-small:0;--awb-spacing-right-small:40px;--awb-spacing-left-small:40px;\"><div class=\"fusion-column-wrapper fusion-column-has-shadow fusion-flex-justify-content-flex-start fusion-content-layout-column\"><div class=\"fusion-text fusion-text-4\"><p><strong>Gunnar Smith<\/strong><br \/><b>Chief Product Officer, Prover<\/b><\/p>\n<p><a href=\"mailto:gunnar.smith@prover.com\">gunnar.smith@prover.com<\/a><\/p>\n<\/div><\/div><\/div><\/div><\/div><\/div><\/div><\/div><div id=\"training-form\" class=\"fusion-container-anchor\"><div class=\"fusion-fullwidth fullwidth-box fusion-builder-row-2 fusion-flex-container has-pattern-background has-mask-background nonhundred-percent-fullwidth non-hundred-percent-height-scrolling\" style=\"--awb-border-radius-top-left:0px;--awb-border-radius-top-right:0px;--awb-border-radius-bottom-right:0px;--awb-border-radius-bottom-left:0px;--awb-padding-top:0px;--awb-padding-bottom:0px;--awb-padding-top-small:0px;--awb-padding-right-small:0px;--awb-padding-bottom-small:0px;--awb-padding-left-small:0px;--awb-margin-top:40px;--awb-margin-bottom:0px;--awb-margin-top-small:40px;--awb-margin-bottom-small:0px;--awb-flex-wrap:wrap;\" ><div class=\"fusion-builder-row fusion-row fusion-flex-align-items-flex-start fusion-flex-content-wrap\" style=\"max-width:calc( 1280px + 80px );margin-left: calc(-80px \/ 2 );margin-right: calc(-80px \/ 2 );\"><div class=\"fusion-layout-column fusion_builder_column fusion-builder-column-5 fusion_builder_column_1_1 1_1 fusion-flex-column\" style=\"--awb-padding-right-small:30px;--awb-padding-left-small:30px;--awb-bg-size:cover;--awb-width-large:100%;--awb-margin-top-large:0px;--awb-spacing-right-large:40px;--awb-margin-bottom-large:20px;--awb-spacing-left-large:40px;--awb-width-medium:100%;--awb-order-medium:0;--awb-spacing-right-medium:40px;--awb-spacing-left-medium:40px;--awb-width-small:100%;--awb-order-small:0;--awb-spacing-right-small:40px;--awb-spacing-left-small:40px;\" data-scroll-devices=\"small-visibility,medium-visibility,large-visibility\"><div class=\"fusion-column-wrapper fusion-column-has-shadow fusion-flex-justify-content-flex-start fusion-content-layout-column\"><div class=\"fusion-builder-row fusion-builder-row-inner fusion-row fusion-flex-align-items-flex-start fusion-flex-content-wrap\" style=\"--awb-flex-grow:0;--awb-flex-grow-medium:0;--awb-flex-grow-small:0;--awb-flex-shrink:0;--awb-flex-shrink-medium:0;--awb-flex-shrink-small:0;width:calc( 100% + 80px ) !important;max-width:calc( 100% + 80px ) !important;margin-left: calc(-80px \/ 2 );margin-right: calc(-80px \/ 2 );\"><div class=\"fusion-layout-column fusion_builder_column_inner fusion-builder-nested-column-2 fusion_builder_column_inner_1_2 1_2 fusion-flex-column fusion-flex-align-self-stretch\" style=\"--awb-padding-top-small:0px;--awb-padding-right-small:0px;--awb-padding-bottom-small:0px;--awb-padding-left-small:0px;--awb-bg-color:var(--awb-color3);--awb-bg-color-hover:var(--awb-color3);--awb-bg-size:cover;--awb-width-large:50%;--awb-margin-top-large:0px;--awb-spacing-right-large:0px;--awb-margin-bottom-large:0px;--awb-spacing-left-large:40px;--awb-width-medium:50%;--awb-order-medium:0;--awb-spacing-right-medium:0px;--awb-spacing-left-medium:40px;--awb-width-small:100%;--awb-order-small:0;--awb-margin-top-small:0px;--awb-spacing-right-small:0px;--awb-margin-bottom-small:0px;--awb-spacing-left-small:0px;\" data-scroll-devices=\"small-visibility,medium-visibility,large-visibility\"><div class=\"fusion-column-wrapper lazyload fusion-column-has-shadow fusion-flex-justify-content-flex-start fusion-content-layout-column fusion-empty-column-bg-image fusion-column-has-bg-image\" data-bg-url=\"https:\/\/www.prover.com\/wp-content\/uploads\/2023\/04\/iStock-1172320410-jpg.webp\" data-bg=\"https:\/\/www.prover.com\/wp-content\/uploads\/2023\/04\/iStock-1172320410-jpg.webp\"><img decoding=\"async\" class=\"fusion-empty-dims-img-placeholder\" alt=\"Training\" aria-label=\"Training\" src=\"data:image\/svg+xml,%3Csvg%20xmlns%3D%27http%3A%2F%2Fwww.w3.org%2F2000%2Fsvg%27%20width%3D%271025%27%20height%3D%27984%27%20viewBox%3D%270%200%201025%20984%27%3E%3Crect%20width%3D%271025%27%20height%3D%27984%27%20fill-opacity%3D%220%22%2F%3E%3C%2Fsvg%3E\"><\/div><\/div><div class=\"fusion-layout-column fusion_builder_column_inner fusion-builder-nested-column-3 fusion_builder_column_inner_1_2 1_2 fusion-flex-column fusion-flex-align-self-stretch\" style=\"--awb-padding-top:80px;--awb-padding-right:80px;--awb-padding-bottom:40px;--awb-padding-left:80px;--awb-padding-top-small:60px;--awb-padding-right-small:40px;--awb-padding-bottom-small:40px;--awb-padding-left-small:40px;--awb-bg-color:var(--awb-custom_color_4);--awb-bg-color-hover:var(--awb-custom_color_4);--awb-bg-size:cover;--awb-width-large:50%;--awb-margin-top-large:0px;--awb-spacing-right-large:40px;--awb-margin-bottom-large:0px;--awb-spacing-left-large:0px;--awb-width-medium:50%;--awb-order-medium:0;--awb-spacing-right-medium:40px;--awb-spacing-left-medium:0px;--awb-width-small:100%;--awb-order-small:0;--awb-margin-top-small:0px;--awb-spacing-right-small:0px;--awb-margin-bottom-small:0px;--awb-spacing-left-small:0px;\" data-scroll-devices=\"small-visibility,medium-visibility,large-visibility\"><div class=\"fusion-column-wrapper fusion-column-has-shadow fusion-flex-justify-content-flex-start fusion-content-layout-column\"><div class=\"fusion-text fusion-text-5\" style=\"--awb-font-size:var(--awb-typography3-font-size);--awb-line-height:var(--awb-typography3-line-height);--awb-letter-spacing:var(--awb-typography3-letter-spacing);--awb-text-transform:var(--awb-typography3-text-transform);--awb-text-font-family:var(--awb-typography3-font-family);--awb-text-font-weight:var(--awb-typography3-font-weight);--awb-text-font-style:var(--awb-typography3-font-style);\"><p>Yes please, contact me!<\/p>\n<\/div>\n\t\t\t\t\t\t<script>\n\t\t\t\t\t\t\twindow.hsFormsOnReady = window.hsFormsOnReady || [];\n\t\t\t\t\t\t\twindow.hsFormsOnReady.push(()=>{\n\t\t\t\t\t\t\t\thbspt.forms.create({\n\t\t\t\t\t\t\t\t\tportalId: 26789739,\n\t\t\t\t\t\t\t\t\tformId: \"13458540-1026-4266-920c-00bcdd21c100\",\n\t\t\t\t\t\t\t\t\ttarget: \"#hbspt-form-1776215601000-5418782249\",\n\t\t\t\t\t\t\t\t\tregion: \"eu1\",\n\t\t\t\t\t\t\t\t\t\n\t\t\t\t\t\t\t})});\n\t\t\t\t\t\t<\/script>\n\t\t\t\t\t\t<div class=\"hbspt-form\" id=\"hbspt-form-1776215601000-5418782249\"><\/div><\/div><\/div><\/div><\/div><\/div><\/div><\/div><\/div><\/p>\n","protected":false},"excerpt":{"rendered":"","protected":false},"author":10,"featured_media":16916,"parent":15479,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":{"content-type":"","inline_featured_image":false,"footnotes":""},"class_list":["post-17190","page","type-page","status-publish","has-post-thumbnail","hentry"],"yoast_head":"<!-- This site is optimized with the Yoast SEO plugin v27.2 - https:\/\/yoast.com\/product\/yoast-seo-wordpress\/ -->\n<title>Generic application engineering with PiSPEC<\/title>\n<meta name=\"description\" content=\"In this three-week program, engineers will learn how to develop, review, and maintain formal specifications using PiSPEC.\" \/>\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.prover.com\/expertise\/training\/generic-application-engineering\/\" \/>\n<meta property=\"og:locale\" content=\"en_US\" \/>\n<meta property=\"og:type\" content=\"article\" \/>\n<meta property=\"og:title\" content=\"Generic application engineering with PiSPEC\" \/>\n<meta property=\"og:description\" content=\"In this three-week program, engineers will learn how to develop, review, and maintain formal specifications using PiSPEC.\" \/>\n<meta property=\"og:url\" content=\"https:\/\/www.prover.com\/expertise\/training\/generic-application-engineering\/\" \/>\n<meta property=\"og:site_name\" content=\"Prover - Engineering a Safer World\" \/>\n<meta property=\"article:modified_time\" content=\"2025-03-18T11:59:25+00:00\" \/>\n<meta property=\"og:image\" content=\"https:\/\/www.prover.com\/wp-content\/uploads\/2023\/04\/iStock-1172320410-jpg.webp\" \/>\n\t<meta property=\"og:image:width\" content=\"1025\" \/>\n\t<meta property=\"og:image:height\" content=\"984\" \/>\n\t<meta property=\"og:image:type\" content=\"image\/jpeg\" \/>\n<meta name=\"twitter:card\" content=\"summary_large_image\" \/>\n<meta name=\"twitter:label1\" content=\"Est. reading time\" \/>\n\t<meta name=\"twitter:data1\" content=\"2 minutes\" \/>\n<script type=\"application\/ld+json\" class=\"yoast-schema-graph\">{\"@context\":\"https:\/\/schema.org\",\"@graph\":[{\"@type\":\"WebPage\",\"@id\":\"https:\/\/www.prover.com\/expertise\/training\/generic-application-engineering\/\",\"url\":\"https:\/\/www.prover.com\/expertise\/training\/generic-application-engineering\/\",\"name\":\"Generic application engineering with PiSPEC\",\"isPartOf\":{\"@id\":\"https:\/\/prover.com\/#website\"},\"primaryImageOfPage\":{\"@id\":\"https:\/\/www.prover.com\/expertise\/training\/generic-application-engineering\/#primaryimage\"},\"image\":{\"@id\":\"https:\/\/www.prover.com\/expertise\/training\/generic-application-engineering\/#primaryimage\"},\"thumbnailUrl\":\"https:\/\/www.prover.com\/wp-content\/uploads\/2023\/04\/iStock-1172320410-jpg.webp\",\"datePublished\":\"2023-04-20T04:49:39+00:00\",\"dateModified\":\"2025-03-18T11:59:25+00:00\",\"description\":\"In this three-week program, engineers will learn how to develop, review, and maintain formal specifications using PiSPEC.\",\"breadcrumb\":{\"@id\":\"https:\/\/www.prover.com\/expertise\/training\/generic-application-engineering\/#breadcrumb\"},\"inLanguage\":\"en-US\",\"potentialAction\":[{\"@type\":\"ReadAction\",\"target\":[\"https:\/\/www.prover.com\/expertise\/training\/generic-application-engineering\/\"]}]},{\"@type\":\"ImageObject\",\"inLanguage\":\"en-US\",\"@id\":\"https:\/\/www.prover.com\/expertise\/training\/generic-application-engineering\/#primaryimage\",\"url\":\"https:\/\/www.prover.com\/wp-content\/uploads\/2023\/04\/iStock-1172320410-jpg.webp\",\"contentUrl\":\"https:\/\/www.prover.com\/wp-content\/uploads\/2023\/04\/iStock-1172320410-jpg.webp\",\"width\":1025,\"height\":984,\"caption\":\"Training\"},{\"@type\":\"BreadcrumbList\",\"@id\":\"https:\/\/www.prover.com\/expertise\/training\/generic-application-engineering\/#breadcrumb\",\"itemListElement\":[{\"@type\":\"ListItem\",\"position\":1,\"name\":\"Home\",\"item\":\"https:\/\/www.prover.com\/\"},{\"@type\":\"ListItem\",\"position\":2,\"name\":\"Expertise\",\"item\":\"https:\/\/www.prover.com\/expertise\/\"},{\"@type\":\"ListItem\",\"position\":3,\"name\":\"Training\",\"item\":\"https:\/\/www.prover.com\/expertise\/training\/\"},{\"@type\":\"ListItem\",\"position\":4,\"name\":\"Generic application engineering with PiSPEC\"}]},{\"@type\":\"WebSite\",\"@id\":\"https:\/\/prover.com\/#website\",\"url\":\"https:\/\/prover.com\/\",\"name\":\"Prover - Engineering a Safer World\",\"description\":\"Interlocking Design Automation to meet demand for complex digital train control\",\"publisher\":{\"@id\":\"https:\/\/prover.com\/#organization\"},\"potentialAction\":[{\"@type\":\"SearchAction\",\"target\":{\"@type\":\"EntryPoint\",\"urlTemplate\":\"https:\/\/prover.com\/?s={search_term_string}\"},\"query-input\":{\"@type\":\"PropertyValueSpecification\",\"valueRequired\":true,\"valueName\":\"search_term_string\"}}],\"inLanguage\":\"en-US\"},{\"@type\":\"Organization\",\"@id\":\"https:\/\/prover.com\/#organization\",\"name\":\"Prover - Engineering a Safer World\",\"url\":\"https:\/\/prover.com\/\",\"logo\":{\"@type\":\"ImageObject\",\"inLanguage\":\"en-US\",\"@id\":\"https:\/\/prover.com\/#\/schema\/logo\/image\/\",\"url\":\"https:\/\/www.prover.com\/wp-content\/uploads\/2023\/01\/prover-logo.svg\",\"contentUrl\":\"https:\/\/www.prover.com\/wp-content\/uploads\/2023\/01\/prover-logo.svg\",\"width\":222,\"height\":22,\"caption\":\"Prover - Engineering a Safer World\"},\"image\":{\"@id\":\"https:\/\/prover.com\/#\/schema\/logo\/image\/\"}}]}<\/script>\n<!-- \/ Yoast SEO plugin. -->","yoast_head_json":{"title":"Generic application engineering with PiSPEC","description":"In this three-week program, engineers will learn how to develop, review, and maintain formal specifications using PiSPEC.","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.prover.com\/expertise\/training\/generic-application-engineering\/","og_locale":"en_US","og_type":"article","og_title":"Generic application engineering with PiSPEC","og_description":"In this three-week program, engineers will learn how to develop, review, and maintain formal specifications using PiSPEC.","og_url":"https:\/\/www.prover.com\/expertise\/training\/generic-application-engineering\/","og_site_name":"Prover - Engineering a Safer World","article_modified_time":"2025-03-18T11:59:25+00:00","og_image":[{"width":1025,"height":984,"url":"https:\/\/www.prover.com\/wp-content\/uploads\/2023\/04\/iStock-1172320410-jpg.webp","type":"image\/jpeg"}],"twitter_card":"summary_large_image","twitter_misc":{"Est. reading time":"2 minutes"},"schema":{"@context":"https:\/\/schema.org","@graph":[{"@type":"WebPage","@id":"https:\/\/www.prover.com\/expertise\/training\/generic-application-engineering\/","url":"https:\/\/www.prover.com\/expertise\/training\/generic-application-engineering\/","name":"Generic application engineering with PiSPEC","isPartOf":{"@id":"https:\/\/prover.com\/#website"},"primaryImageOfPage":{"@id":"https:\/\/www.prover.com\/expertise\/training\/generic-application-engineering\/#primaryimage"},"image":{"@id":"https:\/\/www.prover.com\/expertise\/training\/generic-application-engineering\/#primaryimage"},"thumbnailUrl":"https:\/\/www.prover.com\/wp-content\/uploads\/2023\/04\/iStock-1172320410-jpg.webp","datePublished":"2023-04-20T04:49:39+00:00","dateModified":"2025-03-18T11:59:25+00:00","description":"In this three-week program, engineers will learn how to develop, review, and maintain formal specifications using PiSPEC.","breadcrumb":{"@id":"https:\/\/www.prover.com\/expertise\/training\/generic-application-engineering\/#breadcrumb"},"inLanguage":"en-US","potentialAction":[{"@type":"ReadAction","target":["https:\/\/www.prover.com\/expertise\/training\/generic-application-engineering\/"]}]},{"@type":"ImageObject","inLanguage":"en-US","@id":"https:\/\/www.prover.com\/expertise\/training\/generic-application-engineering\/#primaryimage","url":"https:\/\/www.prover.com\/wp-content\/uploads\/2023\/04\/iStock-1172320410-jpg.webp","contentUrl":"https:\/\/www.prover.com\/wp-content\/uploads\/2023\/04\/iStock-1172320410-jpg.webp","width":1025,"height":984,"caption":"Training"},{"@type":"BreadcrumbList","@id":"https:\/\/www.prover.com\/expertise\/training\/generic-application-engineering\/#breadcrumb","itemListElement":[{"@type":"ListItem","position":1,"name":"Home","item":"https:\/\/www.prover.com\/"},{"@type":"ListItem","position":2,"name":"Expertise","item":"https:\/\/www.prover.com\/expertise\/"},{"@type":"ListItem","position":3,"name":"Training","item":"https:\/\/www.prover.com\/expertise\/training\/"},{"@type":"ListItem","position":4,"name":"Generic application engineering with PiSPEC"}]},{"@type":"WebSite","@id":"https:\/\/prover.com\/#website","url":"https:\/\/prover.com\/","name":"Prover - Engineering a Safer World","description":"Interlocking Design Automation to meet demand for complex digital train control","publisher":{"@id":"https:\/\/prover.com\/#organization"},"potentialAction":[{"@type":"SearchAction","target":{"@type":"EntryPoint","urlTemplate":"https:\/\/prover.com\/?s={search_term_string}"},"query-input":{"@type":"PropertyValueSpecification","valueRequired":true,"valueName":"search_term_string"}}],"inLanguage":"en-US"},{"@type":"Organization","@id":"https:\/\/prover.com\/#organization","name":"Prover - Engineering a Safer World","url":"https:\/\/prover.com\/","logo":{"@type":"ImageObject","inLanguage":"en-US","@id":"https:\/\/prover.com\/#\/schema\/logo\/image\/","url":"https:\/\/www.prover.com\/wp-content\/uploads\/2023\/01\/prover-logo.svg","contentUrl":"https:\/\/www.prover.com\/wp-content\/uploads\/2023\/01\/prover-logo.svg","width":222,"height":22,"caption":"Prover - Engineering a Safer World"},"image":{"@id":"https:\/\/prover.com\/#\/schema\/logo\/image\/"}}]}},"_links":{"self":[{"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/pages\/17190","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/users\/10"}],"replies":[{"embeddable":true,"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/comments?post=17190"}],"version-history":[{"count":14,"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/pages\/17190\/revisions"}],"predecessor-version":[{"id":21423,"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/pages\/17190\/revisions\/21423"}],"up":[{"embeddable":true,"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/pages\/15479"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/media\/16916"}],"wp:attachment":[{"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/media?parent=17190"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}