> <\/strong>Contact CLEARSY for upcoming training session dates.<\/p>\nLENGTH :<\/h4>\n
3 days.<\/p>\n
PRICES :<\/h4>\n
A 15% discount is granted for a group of at least three people from the same organization.<\/p>\n[\/vc_column_text][\/vc_column][\/vc_row][vc_row full_width=”stretch_row” css=”.vc_custom_1469431577307{padding-top: 55px !important;padding-bottom: 55px !important;background-color: #f7f7f7 !important;}”][vc_column][st_customheading heading=”PROGRAM” heading_color=”#eb690b” content_align=”text-default”][vc_column_text css=”.vc_custom_1469548262539{margin-top: 55px !important;}”]\n
1 – REVIEW OF REFINEMENT PRINCIPLES<\/h5>\n
> <\/strong>Description of the principles of the refinement of an abstract model into a concrete model:
\n– data refinement,
\n– substitution refinement.
\n> <\/strong>Why and how is the automation of these principles possible?<\/p>\n2 – BART TOOLS PRINCIPLES<\/h5>\n
> <\/strong>How to refine an abstract model: What are the prerequisites for automatic refinement ? How are refinement rules written:
\n– Refinement rules for variables,
\n– Refinement rules for operations.
\n> <\/strong>Presentation of pitfalls to be avoid when refining. How to obtain effective models while limiting the proof effort?<\/p>\n3 – USE OF THE GRAPHIC INTERFACE<\/h5>\n
> <\/strong>Description of the interface and practice examples.<\/p>\n4 – PRACTICAL STRUCTURES<\/h5>\n
> <\/strong>More than two thirds of the training is conducted in the form of practice assignments.<\/p>\n[\/vc_column_text][\/vc_column][\/vc_row][vc_row full_width=”stretch_row_content_no_spaces” css=”.vc_custom_1469430696110{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_1469430327378{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″][st_customheading heading=”BART Tool Training” 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_1469430830756{padding-top: 55px !important;padding-bottom: 25px !important;background-color: #f29400 !important;}”][vc_column][st_customheading heading=”BART Training Specifics” heading_color=”#ffffff” content_align=”text-center”][\/vc_column][\/vc_row][vc_row full_width=”stretch_row” css=”.vc_custom_1469430878509{padding-top: 55px !important;padding-bottom: 55px !important;}”][vc_column width=”1\/2″ css=”.vc_custom_1469431475181{border-right-width: 0px !important;border-right-color: #f29400 !important;border-right-style: solid !important;}”][vc_column_text] OBJECTIVES : >\u00a0Learn to refine a […]<\/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":"\n
BART Tool Training | Atelier B<\/title>\n<meta name=\"description\" content=\"OBJECTIVES : >\u00a0Learn to refine a B model automatically with Bart. TARGET PUBLIC : >\u00a0Anyone who wants to efficiently produce software using the B\" \/>\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-outil-bart\/\" \/>\n<meta property=\"og:locale\" content=\"fr_FR\" \/>\n<meta property=\"og:type\" content=\"article\" \/>\n<meta property=\"og:title\" content=\"BART Tool Training | Atelier B\" \/>\n<meta property=\"og:description\" content=\"OBJECTIVES : >\u00a0Learn to refine a B model automatically with Bart. TARGET PUBLIC : >\u00a0Anyone who wants to efficiently produce software using the B\" \/>\n<meta property=\"og:url\" content=\"https:\/\/www.atelierb.eu\/en\/formation-b\/formation-outil-bart\/\" \/>\n<meta property=\"og:site_name\" content=\"Atelier B\" \/>\n<meta property=\"article:modified_time\" content=\"2016-07-26T15:51:21+00:00\" \/>\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\":\"WebPage\",\"@id\":\"https:\/\/www.atelierb.eu\/en\/formation-b\/formation-outil-bart\/#webpage\",\"url\":\"https:\/\/www.atelierb.eu\/en\/formation-b\/formation-outil-bart\/\",\"name\":\"BART Tool Training | Atelier B\",\"isPartOf\":{\"@id\":\"https:\/\/www.atelierb.eu\/en\/#website\"},\"datePublished\":\"2011-09-14T10:58:56+00:00\",\"dateModified\":\"2016-07-26T15:51:21+00:00\",\"description\":\"OBJECTIVES : >\\u00a0Learn to refine a B model automatically with Bart. TARGET PUBLIC : >\\u00a0Anyone who wants to efficiently produce software using the B\",\"breadcrumb\":{\"@id\":\"https:\/\/www.atelierb.eu\/en\/formation-b\/formation-outil-bart\/#breadcrumb\"},\"inLanguage\":\"fr-FR\",\"potentialAction\":[{\"@type\":\"ReadAction\",\"target\":[\"https:\/\/www.atelierb.eu\/en\/formation-b\/formation-outil-bart\/\"]}]},{\"@type\":\"BreadcrumbList\",\"@id\":\"https:\/\/www.atelierb.eu\/en\/formation-b\/formation-outil-bart\/#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-outil-bart\/\",\"url\":\"https:\/\/www.atelierb.eu\/en\/formation-b\/formation-outil-bart\/\",\"name\":\"BART Tool Training\"}}]}]}<\/script>\n<!-- \/ Yoast SEO plugin. -->","_links":{"self":[{"href":"https:\/\/www.atelierb.eu\/en\/wp-json\/wp\/v2\/pages\/182\/"}],"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=182"}],"version-history":[{"count":3,"href":"https:\/\/www.atelierb.eu\/en\/wp-json\/wp\/v2\/pages\/182\/revisions\/"}],"predecessor-version":[{"id":2881,"href":"https:\/\/www.atelierb.eu\/en\/wp-json\/wp\/v2\/pages\/182\/revisions\/2881\/"}],"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=182"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}