{"id":157,"date":"2011-09-13T14:59:56","date_gmt":"2011-09-13T13:59:56","guid":{"rendered":"http:\/\/www.test.atelierb.eu\/?page_id=157"},"modified":"2020-10-21T15:51:12","modified_gmt":"2020-10-21T14:51:12","slug":"formation-methode-b-niveau-1-comprendre-b","status":"publish","type":"page","link":"https:\/\/www.atelierb.eu\/en\/formation-b\/formation-methode-b-niveau-1-comprendre-b\/","title":{"rendered":"B Method Training – Level 1 : Understanding B"},"content":{"rendered":"[vc_row full_width=”stretch_row” css=”.vc_custom_1469435131261{padding-top: 95px !important;padding-bottom: 70px !important;background-image: url(https:\/\/www.atelierb.eu\/wp-content\/uploads\/sites\/3\/2016\/07\/visu-header-pages.jpg?id=2315) !important;background-position: center !important;background-repeat: no-repeat !important;background-size: cover !important;}”][vc_column width=”1\/4″ css=”.vc_custom_1469435350900{padding-right: 65px !important;}”][st_customheading heading=”B METHOD TRAINING – LEVEL 1: UNDERSTANDING” heading_color=”#ffffff” content_align=”text-default”][\/vc_column][vc_column width=”3\/4″][\/vc_column][\/vc_row][vc_row full_width=”stretch_row” css=”.vc_custom_1469435234976{padding-top: 55px !important;padding-bottom: 25px !important;background-color: #f29400 !important;}”][vc_column][st_customheading heading=”TRAINING \/ LEVEL 1 : UNDERSTAND B” heading_color=”#ffffff” content_align=”text-center”][\/vc_column][\/vc_row][vc_row full_width=”stretch_row” css=”.vc_custom_1469435443185{padding-top: 55px !important;padding-bottom: 55px !important;}”][vc_column width=”1\/2″ css=”.vc_custom_1469435711458{border-right-width: 1px !important;padding-right: 25px !important;border-right-color: #f29400 !important;border-right-style: solid !important;}”][vc_column_text]\n
OBJECTIVES :<\/h5>\n

> <\/strong>Understand the fundamental principles of Method B.
\n> <\/strong>Discover Language B.<\/p>\n

WHO SHOULD PARTICIPATE :<\/h5>\n

> <\/strong>Any person who wishes to understand the principles of Method B and discover its benefits. Any person who must participate in the development of a B project or who wishes to review B models.<\/p>\n

PREREQUISITES :<\/h5>\n

> <\/strong>Knowledge of general principles relating to the development cycle of a system or software (specification concepts).
\n> <\/strong>Basic IT knowledge.
\n> <\/strong>Mathematical knowledge of a scientific secondary education level.<\/p>\n[\/vc_column_text][\/vc_column][vc_column width=”1\/2″][vc_column_text css=”.vc_custom_1469544196709{padding-left: 25px !important;}”]\n

ORGANIZATION :<\/h5>\n

> <\/strong>10 persons at most per training session.
\n>\u00a0<\/strong>The training takes place in the ClearSy offices in Aix<\/span> or Paris<\/span> (except in exceptional circumstances).
\n> <\/strong>Contact ClearSy for future training dates<\/p>\n

DURATION :<\/h5>\n

4 days<\/p>\n

PRICES :<\/h5>\n

>\u00a0<\/strong>A rebate of 15% is granted for a group of at least 3 people from the same organization.<\/p>\n[\/vc_column_text][\/vc_column][\/vc_row][vc_row full_width=”stretch_row” content_placement=”middle” css=”.vc_custom_1469435911163{padding-top: 55px !important;padding-bottom: 55px !important;background-color: #f7f7f7 !important;}”][vc_column width=”1\/3″][vc_column_text]\"pictos-6\"<\/a><\/p>\n

> PROGRAM :<\/strong>
\nB Training – Level 1<\/p>\n

DOWNLOAD \u00a0 \"pictos-fleche1\"<\/a><\/p>\n[\/vc_column_text][\/vc_column][vc_column width=”2\/3″][st_customheading heading=”PROGRAM” heading_color=”#eb690b” content_align=”text-default”][vc_column_text css=”.vc_custom_1469544505224{margin-top: 55px !important;}”]\n

1 – METHOD B PRINCIPLES<\/h5>\n

> <\/strong>Definition of B: a formal specification and design method with proof that may reach a concrete level (C internet code, ADA).
\n> <\/strong>Advantage of formal specifications and the building of a model through the systematic description of its properties.
\n> <\/strong>Modularity and hierarchy concepts: a B model is built in a modular manner, its properties are introduced hierarchically.
\n> <\/strong>Validation through proof: proof guarantees conformity with invariant properties; it is exhaustive in ensuring that the code complies with its specifications.
\n> <\/strong>Method B benefits.
\n> <\/strong>Description of the main uses of B within industry.<\/p>\n

2 – B LANGUAGE<\/h5>\n

> <\/strong>Description of elements constituting Language B: predicates, mathematical expressions (integers, Boolean, enumerations, sets, relations, functions), substitutes that form the dynamic of the modeled system.The three types of B components (abstract machines, sophistication and implementation).<\/p>\n

3 – PRACTICAL ORGANIZATION<\/h5>\n

> <\/strong>More than half of the training involves Tutorials or Practical Tasks in order to better become familiar with specifications in B, the drafting of a design in B based on the same specifications and the proof that. The design complies with its specifications. The Practical Task sessions use Workshop B. One of the Practical Task sessions is an introduction to Workshop B and Method B by studying an existing project.<\/p>\n[\/vc_column_text][\/vc_column][\/vc_row][vc_row full_width=”stretch_row_content_no_spaces” css=”.vc_custom_1469435402528{margin-bottom: -60px !important;background-image: url(https:\/\/www.atelierb.eu\/wp-content\/uploads\/sites\/3\/2016\/07\/footer-visu2.jpg?id=2296) !important;background-position: center !important;background-repeat: no-repeat !important;background-size: cover !important;}”][vc_column][vc_empty_space height=”350″][\/vc_column][\/vc_row]\n","protected":false},"excerpt":{"rendered":"

[vc_row full_width=”stretch_row” css=”.vc_custom_1469435131261{padding-top: 95px !important;padding-bottom: 70px !important;background-image: url(https:\/\/www.atelierb.eu\/wp-content\/uploads\/sites\/3\/2016\/07\/visu-header-pages.jpg?id=2315) !important;background-position: center !important;background-repeat: no-repeat !important;background-size: cover !important;}”][vc_column width=”1\/4″ css=”.vc_custom_1469435350900{padding-right: 65px !important;}”][st_customheading heading=”B METHOD TRAINING – LEVEL 1: UNDERSTANDING” heading_color=”#ffffff” content_align=”text-default”][\/vc_column][vc_column width=”3\/4″][\/vc_column][\/vc_row][vc_row full_width=”stretch_row” css=”.vc_custom_1469435234976{padding-top: 55px !important;padding-bottom: 25px !important;background-color: #f29400 !important;}”][vc_column][st_customheading heading=”TRAINING \/ LEVEL 1 : UNDERSTAND B” heading_color=”#ffffff” content_align=”text-center”][\/vc_column][\/vc_row][vc_row full_width=”stretch_row” css=”.vc_custom_1469435443185{padding-top: 55px !important;padding-bottom: 55px !important;}”][vc_column width=”1\/2″ css=”.vc_custom_1469435711458{border-right-width: 1px […]<\/p>\n","protected":false},"author":1,"featured_media":0,"parent":148,"menu_order":0,"comment_status":"closed","ping_status":"open","template":"","meta":{"amp_status":""},"yoast_head":"\nB Method Training - Level 1 : Understanding B | Atelier B<\/title>\n<meta name=\"description\" content=\"OBJECTIVES : > Understand the fundamental principles of Method B. > Discover Language B. WHO SHOULD PARTICIPATE : > Any person who wishes to\" \/>\n<meta name=\"robots\" content=\"index, follow\" \/>\n<meta name=\"googlebot\" content=\"index, follow, max-snippet:-1, max-image-preview:large, max-video-preview:-1\" \/>\n<meta name=\"bingbot\" content=\"index, follow, max-snippet:-1, max-image-preview:large, max-video-preview:-1\" \/>\n<link rel=\"canonical\" href=\"https:\/\/www.atelierb.eu\/formation-b\/formation-methode-b-niveau-1-comprendre-b\/\" \/>\n<meta property=\"og:locale\" content=\"fr_FR\" \/>\n<meta property=\"og:type\" content=\"article\" \/>\n<meta property=\"og:title\" content=\"B Method Training - Level 1 : Understanding B | Atelier B\" \/>\n<meta property=\"og:description\" content=\"OBJECTIVES : > Understand the fundamental principles of Method B. > Discover Language B. WHO SHOULD PARTICIPATE : > Any person who wishes to\" \/>\n<meta property=\"og:url\" content=\"https:\/\/www.atelierb.eu\/en\/formation-b\/formation-methode-b-niveau-1-comprendre-b\/\" \/>\n<meta property=\"og:site_name\" content=\"Atelier B\" \/>\n<meta property=\"article:modified_time\" content=\"2020-10-21T14:51:12+00:00\" \/>\n<meta property=\"og:image\" content=\"https:\/\/www.atelierb.eu\/wp-content\/uploads\/sites\/3\/2016\/07\/pictos-6.png\" \/>\n<meta name=\"twitter:card\" content=\"summary\" \/>\n<script type=\"application\/ld+json\" class=\"yoast-schema-graph\">{\"@context\":\"https:\/\/schema.org\",\"@graph\":[{\"@type\":\"WebSite\",\"@id\":\"https:\/\/www.atelierb.eu\/en\/#website\",\"url\":\"https:\/\/www.atelierb.eu\/en\/\",\"name\":\"Atelier B\",\"description\":\"Atelier de G\\u00e9nie Logiciel\",\"potentialAction\":[{\"@type\":\"SearchAction\",\"target\":\"https:\/\/www.atelierb.eu\/en\/?s={search_term_string}\",\"query-input\":\"required name=search_term_string\"}],\"inLanguage\":\"fr-FR\"},{\"@type\":\"ImageObject\",\"@id\":\"https:\/\/www.atelierb.eu\/en\/formation-b\/formation-methode-b-niveau-1-comprendre-b\/#primaryimage\",\"inLanguage\":\"fr-FR\",\"url\":\"https:\/\/www.atelierb.eu\/wp-content\/uploads\/sites\/3\/2016\/07\/pictos-6.png\",\"width\":256,\"height\":256},{\"@type\":\"WebPage\",\"@id\":\"https:\/\/www.atelierb.eu\/en\/formation-b\/formation-methode-b-niveau-1-comprendre-b\/#webpage\",\"url\":\"https:\/\/www.atelierb.eu\/en\/formation-b\/formation-methode-b-niveau-1-comprendre-b\/\",\"name\":\"B Method Training - Level 1 : Understanding B | Atelier B\",\"isPartOf\":{\"@id\":\"https:\/\/www.atelierb.eu\/en\/#website\"},\"primaryImageOfPage\":{\"@id\":\"https:\/\/www.atelierb.eu\/en\/formation-b\/formation-methode-b-niveau-1-comprendre-b\/#primaryimage\"},\"datePublished\":\"2011-09-13T13:59:56+00:00\",\"dateModified\":\"2020-10-21T14:51:12+00:00\",\"description\":\"OBJECTIVES : > Understand the fundamental principles of Method B. > Discover Language B. WHO SHOULD PARTICIPATE : > Any person who wishes to\",\"breadcrumb\":{\"@id\":\"https:\/\/www.atelierb.eu\/en\/formation-b\/formation-methode-b-niveau-1-comprendre-b\/#breadcrumb\"},\"inLanguage\":\"fr-FR\",\"potentialAction\":[{\"@type\":\"ReadAction\",\"target\":[\"https:\/\/www.atelierb.eu\/en\/formation-b\/formation-methode-b-niveau-1-comprendre-b\/\"]}]},{\"@type\":\"BreadcrumbList\",\"@id\":\"https:\/\/www.atelierb.eu\/en\/formation-b\/formation-methode-b-niveau-1-comprendre-b\/#breadcrumb\",\"itemListElement\":[{\"@type\":\"ListItem\",\"position\":1,\"item\":{\"@type\":\"WebPage\",\"@id\":\"https:\/\/www.atelierb.eu\/\",\"url\":\"https:\/\/www.atelierb.eu\/\",\"name\":\"Accueil\"}},{\"@type\":\"ListItem\",\"position\":2,\"item\":{\"@type\":\"WebPage\",\"@id\":\"https:\/\/www.atelierb.eu\/en\/formation-b\/\",\"url\":\"https:\/\/www.atelierb.eu\/en\/formation-b\/\",\"name\":\"B Method Training\"}},{\"@type\":\"ListItem\",\"position\":3,\"item\":{\"@type\":\"WebPage\",\"@id\":\"https:\/\/www.atelierb.eu\/en\/formation-b\/formation-methode-b-niveau-1-comprendre-b\/\",\"url\":\"https:\/\/www.atelierb.eu\/en\/formation-b\/formation-methode-b-niveau-1-comprendre-b\/\",\"name\":\"B Method Training – Level 1 : Understanding B\"}}]}]}<\/script>\n<!-- \/ Yoast SEO plugin. -->","_links":{"self":[{"href":"https:\/\/www.atelierb.eu\/en\/wp-json\/wp\/v2\/pages\/157\/"}],"collection":[{"href":"https:\/\/www.atelierb.eu\/en\/wp-json\/wp\/v2\/pages\/"}],"about":[{"href":"https:\/\/www.atelierb.eu\/en\/wp-json\/wp\/v2\/types\/page\/"}],"author":[{"embeddable":true,"href":"https:\/\/www.atelierb.eu\/en\/wp-json\/wp\/v2\/users\/1\/"}],"replies":[{"embeddable":true,"href":"https:\/\/www.atelierb.eu\/en\/wp-json\/wp\/v2\/comments\/?post=157"}],"version-history":[{"count":4,"href":"https:\/\/www.atelierb.eu\/en\/wp-json\/wp\/v2\/pages\/157\/revisions\/"}],"predecessor-version":[{"id":3511,"href":"https:\/\/www.atelierb.eu\/en\/wp-json\/wp\/v2\/pages\/157\/revisions\/3511\/"}],"up":[{"embeddable":true,"href":"https:\/\/www.atelierb.eu\/en\/wp-json\/wp\/v2\/pages\/148\/"}],"wp:attachment":[{"href":"https:\/\/www.atelierb.eu\/en\/wp-json\/wp\/v2\/media\/?parent=157"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}