{"id":136,"date":"2011-09-13T14:41:56","date_gmt":"2011-09-13T13:41:56","guid":{"rendered":"http:\/\/www.test.atelierb.eu\/?page_id=136"},"modified":"2017-03-24T15:53:05","modified_gmt":"2017-03-24T14:53:05","slug":"distribution-policy","status":"publish","type":"page","link":"https:\/\/www.atelierb.eu\/en\/download\/distribution-policy\/","title":{"rendered":"Distribution Policy"},"content":{"rendered":"[vc_row full_width=”stretch_row” css=”.vc_custom_1469449229679{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;}”][vc_column width=”1\/3″][st_customheading heading=”DISTRIBUTION POLICY” heading_color=”#ffffff” content_align=”text-default”][\/vc_column][vc_column width=”1\/3″][\/vc_column][vc_column width=”1\/3″][\/vc_column][\/vc_row][vc_row full_width=”stretch_row” content_placement=”top” css=”.vc_custom_1469449464114{padding-top: 55px !important;padding-bottom: 55px !important;background-color: #f29400 !important;}”][vc_column width=”1\/4″][st_customheading heading=”FREE VERSION OF ATELIER B” heading_color=”#ffffff” content_align=”text-default”][\/vc_column][vc_column width=”3\/4″][vc_column_text]\n

Atelier B version 4 is free, in its Community Edition. Last version available is 4.2.1.
\n> Two beta-test phases have been organized, from September 2008 to January 2009 for version 4.0, and from November 2012 to December 2012 for version 4.1.ClearSy thereby hopes to encourage the distribution of Atelier B and the B Method, and design services to finance development of the method and tools.<\/strong><\/p>\n[\/vc_column_text][\/vc_column][\/vc_row][vc_row full_width=”stretch_row” css=”.vc_custom_1469449489453{padding-top: 55px !important;padding-bottom: 55px !important;}”][vc_column][st_customheading heading=”Clearsy\u2019s new distribution policy is as follows” heading_color=”#4d4f5b” content_align=”text-center”][vc_row_inner css=”.vc_custom_1469449727640{padding-top: 55px !important;}”][vc_column_inner width=”1\/6″][vc_single_image image=”2364″ img_size=”105×105″ alignment=”center”][\/vc_column_inner][vc_column_inner width=”2\/6″][vc_column_text]\n

DISTRIBUTION OF TOOLS :<\/h4>\n

> <\/strong>a new major version of Atelier B for free every two years
\n> <\/strong>compatible with WINDOWS, MAC, LINUX. A SOLARIS version is available with Atelier B 4.0.
\n>\u00a0<\/strong>interim versions for users who subscribe to a maintenance contract.<\/strong><\/p>\n[\/vc_column_text][\/vc_column_inner][vc_column_inner width=”1\/6″][vc_single_image image=”2364″ img_size=”105×105″ alignment=”center”][\/vc_column_inner][vc_column_inner width=”2\/6″][vc_column_text]\n

DIFFERENT TYPES OF MAINTENANCE :<\/h4>\n

> <\/strong>the annual maintenance contract includes: a hotline, interim updates, test versions of new tools, participation in beta tests, examples, training materials\u2026
\n>\u00a0<\/strong>the industrial maintenance contract will cover the current and prior or specific versions of Atelier B.<\/strong><\/p>\n[\/vc_column_text][\/vc_column_inner][\/vc_row_inner][vc_row_inner css=”.vc_custom_1469450714323{padding-top: 75px !important;}”][vc_column_inner width=”1\/4″][vc_single_image image=”2364″ img_size=”105×105″ alignment=”center”][\/vc_column_inner][vc_column_inner width=”3\/4″][vc_column_text]\n

SERVICES<\/h4>\n

> Furthermore, Clearsy offers the following services for the B method:<\/strong>
\nB method training\u00a0: \u201cinitiation\u201d, \u201csoftware projects\u201d, \u201cproof\u201d, \u201cautomatic refinement\u201d, \u201csystem modelling”
\ndevelopment of system models and industrial software based on the B method
\nexperiments with the B method using industrial case studies (B software and B event)
\ndevelopment and maintenance of specific tools (industrial translators, for example)
\nadaptation of Atelier B and proof tools for new fields.<\/p>\n

> This new distribution policy is associated with a new policy for the open use of B tools and related documents (2008):<\/strong>
\nprogressive Open Source implementation of Atelier B tools
\nOpen Source implementation of the Language B reference manual
\nOpen Source implementation of training materials and examples
\navailability of interface tools and related documents to allow for external tools to be interfaced with Atelier B.<\/p>\n

> With this policy, we particularly hope to favour the learning of the method and contribute to the development of tools and, in particular:<\/strong>
\nimprove the support materials for B and Atelier B
\ntranslate them into different languages
\nimprove Atelier B interfaces, in particular the edition of models and Atelier B\u2019s interactive proof interface
\nadapt the code translation tools into different languages and perform various optimizations related to targets
\nconnect new academic or professional tools, such as: animators, provers, model checkers, requirement managers, project documentation tools, test generation tools.<\/p>\n[\/vc_column_text][\/vc_column_inner][\/vc_row_inner][\/vc_column][\/vc_row][vc_row full_width=”stretch_row” css=”.vc_custom_1469450772733{padding-top: 75px !important;padding-bottom: 75px !important;background-color: #ededed !important;}”][vc_column][vc_column_text]\n

“We hope many of you will use B.”<\/strong><\/p>\n[\/vc_column_text][\/vc_column][\/vc_row][vc_row full_width=”stretch_row_content_no_spaces” css=”.vc_custom_1469449269552{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=”350px”][\/vc_column][\/vc_row]\n","protected":false},"excerpt":{"rendered":"

[vc_row full_width=”stretch_row” css=”.vc_custom_1469449229679{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;}”][vc_column width=”1\/3″][st_customheading heading=”DISTRIBUTION POLICY” heading_color=”#ffffff” content_align=”text-default”][\/vc_column][vc_column width=”1\/3″][\/vc_column][vc_column width=”1\/3″][\/vc_column][\/vc_row][vc_row full_width=”stretch_row” content_placement=”top” css=”.vc_custom_1469449464114{padding-top: 55px !important;padding-bottom: 55px !important;background-color: #f29400 !important;}”][vc_column width=”1\/4″][st_customheading heading=”FREE VERSION OF ATELIER B” heading_color=”#ffffff” content_align=”text-default”][\/vc_column][vc_column width=”3\/4″][vc_column_text] Atelier B version 4 is free, in its Community Edition. Last version available is 4.2.1. > Two beta-test phases have been […]<\/p>\n","protected":false},"author":1,"featured_media":0,"parent":72,"menu_order":0,"comment_status":"closed","ping_status":"open","template":"","meta":{"amp_status":""},"yoast_head":"\nDistribution Policy | Atelier B<\/title>\n<meta name=\"description\" content=\"Atelier B version 4 is free, in its Community Edition. Last version available is 4.2.1. > Two beta-test phases have been organized, from September 2008\" \/>\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\/download\/distribution-policy\/\" \/>\n<meta property=\"og:locale\" content=\"fr_FR\" \/>\n<meta property=\"og:type\" content=\"article\" \/>\n<meta property=\"og:title\" content=\"Distribution Policy | Atelier B\" \/>\n<meta property=\"og:description\" content=\"Atelier B version 4 is free, in its Community Edition. Last version available is 4.2.1. > Two beta-test phases have been organized, from September 2008\" \/>\n<meta property=\"og:url\" content=\"https:\/\/www.atelierb.eu\/en\/download\/distribution-policy\/\" \/>\n<meta property=\"og:site_name\" content=\"Atelier B\" \/>\n<meta property=\"article:modified_time\" content=\"2017-03-24T14:53:05+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\/download\/distribution-policy\/#webpage\",\"url\":\"https:\/\/www.atelierb.eu\/en\/download\/distribution-policy\/\",\"name\":\"Distribution Policy | Atelier B\",\"isPartOf\":{\"@id\":\"https:\/\/www.atelierb.eu\/en\/#website\"},\"datePublished\":\"2011-09-13T13:41:56+00:00\",\"dateModified\":\"2017-03-24T14:53:05+00:00\",\"description\":\"Atelier B version 4 is free, in its Community Edition. Last version available is 4.2.1. > Two beta-test phases have been organized, from September 2008\",\"breadcrumb\":{\"@id\":\"https:\/\/www.atelierb.eu\/en\/download\/distribution-policy\/#breadcrumb\"},\"inLanguage\":\"fr-FR\",\"potentialAction\":[{\"@type\":\"ReadAction\",\"target\":[\"https:\/\/www.atelierb.eu\/en\/download\/distribution-policy\/\"]}]},{\"@type\":\"BreadcrumbList\",\"@id\":\"https:\/\/www.atelierb.eu\/en\/download\/distribution-policy\/#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\/download\/\",\"url\":\"https:\/\/www.atelierb.eu\/en\/download\/\",\"name\":\"Download Atelier B\"}},{\"@type\":\"ListItem\",\"position\":3,\"item\":{\"@type\":\"WebPage\",\"@id\":\"https:\/\/www.atelierb.eu\/en\/download\/distribution-policy\/\",\"url\":\"https:\/\/www.atelierb.eu\/en\/download\/distribution-policy\/\",\"name\":\"Distribution Policy\"}}]}]}<\/script>\n<!-- \/ Yoast SEO plugin. -->","_links":{"self":[{"href":"https:\/\/www.atelierb.eu\/en\/wp-json\/wp\/v2\/pages\/136\/"}],"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=136"}],"version-history":[{"count":3,"href":"https:\/\/www.atelierb.eu\/en\/wp-json\/wp\/v2\/pages\/136\/revisions\/"}],"predecessor-version":[{"id":2903,"href":"https:\/\/www.atelierb.eu\/en\/wp-json\/wp\/v2\/pages\/136\/revisions\/2903\/"}],"up":[{"embeddable":true,"href":"https:\/\/www.atelierb.eu\/en\/wp-json\/wp\/v2\/pages\/72\/"}],"wp:attachment":[{"href":"https:\/\/www.atelierb.eu\/en\/wp-json\/wp\/v2\/media\/?parent=136"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}