<?xml version="1.0" encoding="UTF-8"?>
<rss version="2.0"
	xmlns:content="http://purl.org/rss/1.0/modules/content/"
	xmlns:wfw="http://wellformedweb.org/CommentAPI/"
	xmlns:dc="http://purl.org/dc/elements/1.1/"
	xmlns:atom="http://www.w3.org/2005/Atom"
	xmlns:sy="http://purl.org/rss/1.0/modules/syndication/"
	xmlns:slash="http://purl.org/rss/1.0/modules/slash/"
	>

<channel>
	<title>Atelier B</title>
	<atom:link href="http://www.atelierb.eu/feed/" rel="self" type="application/rss+xml" />
	<link>http://www.atelierb.eu</link>
	<description></description>
	<lastBuildDate>Wed, 27 Mar 2013 08:35:54 +0000</lastBuildDate>
	<language>fr-FR</language>
	<sy:updatePeriod>hourly</sy:updatePeriod>
	<sy:updateFrequency>1</sy:updateFrequency>
	<generator>http://wordpress.org/?v=3.5.1</generator>
		<item>
		<title>Atelier B 4.1.0 &amp; le Japon</title>
		<link>http://www.atelierb.eu/2013/02/05/atelier-b-4-1-0-le-japon/</link>
		<comments>http://www.atelierb.eu/2013/02/05/atelier-b-4-1-0-le-japon/#comments</comments>
		<pubDate>Tue, 05 Feb 2013 08:42:24 +0000</pubDate>
		<dc:creator>ClearSy</dc:creator>
				<category><![CDATA[Actualités]]></category>

		<guid isPermaLink="false">http://www.atelierb.eu/?p=816</guid>
		<description><![CDATA[ClearSy et Witz Corporation coopèrent au développement de l&#8217;utilisation de la méthode B au Japon. Plusieurs actions ont été entreprises depuis l&#8217;année dernière: Une série d&#8217;articles sur le développement de logiciels embarqués en B est an cours de publication dans &#8230; <a href="http://www.atelierb.eu/2013/02/05/atelier-b-4-1-0-le-japon/">Continuer la lecture <span class="meta-nav">&#8594;</span></a>]]></description>
		<wfw:commentRss>http://www.atelierb.eu/2013/02/05/atelier-b-4-1-0-le-japon/feed/</wfw:commentRss>
		<slash:comments>0</slash:comments>
		</item>
		<item>
		<title>Atelier B 4.1.0</title>
		<link>http://www.atelierb.eu/2012/12/12/atelier-b-4-1-0/</link>
		<comments>http://www.atelierb.eu/2012/12/12/atelier-b-4-1-0/#comments</comments>
		<pubDate>Wed, 12 Dec 2012 14:36:44 +0000</pubDate>
		<dc:creator>ClearSy</dc:creator>
				<category><![CDATA[Actualités]]></category>
		<category><![CDATA[Versions]]></category>

		<guid isPermaLink="false">http://www.atelierb.eu/?p=771</guid>
		<description><![CDATA[L&#8217;Atelier B 4.1.0 est disponible au téléchargement, pour une utilisation par tous sans restriction.  Cette version corrige 385 anomalies  et propose 56 améliorations (voir les notes de version pour un descriptif précis des améliorations les plus importantes). Parmi celles-ci, on &#8230; <a href="http://www.atelierb.eu/2012/12/12/atelier-b-4-1-0/">Continuer la lecture <span class="meta-nav">&#8594;</span></a>]]></description>
		<wfw:commentRss>http://www.atelierb.eu/2012/12/12/atelier-b-4-1-0/feed/</wfw:commentRss>
		<slash:comments>0</slash:comments>
		</item>
		<item>
		<title>Atelier B 4.1 Beta 1</title>
		<link>http://www.atelierb.eu/2012/11/02/atelier-b-4-1-beta-1/</link>
		<comments>http://www.atelierb.eu/2012/11/02/atelier-b-4-1-beta-1/#comments</comments>
		<pubDate>Fri, 02 Nov 2012 08:06:56 +0000</pubDate>
		<dc:creator>ClearSy</dc:creator>
				<category><![CDATA[Actualités]]></category>
		<category><![CDATA[Versions]]></category>

		<guid isPermaLink="false">http://www.atelierb.eu/?p=664</guid>
		<description><![CDATA[La diffusion de l&#8217;Atelier B 4.1 Beta 1 débute le 02 Novembre 2012, pour une durée d&#8217;un mois. Elle intègre les améliorations de la version 4.0.2 et apporte de nombreuses évolutions fonctionnelles telles que: le support des projets de validation/génération &#8230; <a href="http://www.atelierb.eu/2012/11/02/atelier-b-4-1-beta-1/">Continuer la lecture <span class="meta-nav">&#8594;</span></a>]]></description>
		<wfw:commentRss>http://www.atelierb.eu/2012/11/02/atelier-b-4-1-beta-1/feed/</wfw:commentRss>
		<slash:comments>0</slash:comments>
		</item>
		<item>
		<title>Journées sur la fiabilité du Logiciel &#8211; 14 &amp; 15 juin 2012</title>
		<link>http://www.atelierb.eu/2012/06/06/journees-sur-la-fiabilite-du-logiciel-14-15-juin-2012/</link>
		<comments>http://www.atelierb.eu/2012/06/06/journees-sur-la-fiabilite-du-logiciel-14-15-juin-2012/#comments</comments>
		<pubDate>Wed, 06 Jun 2012 12:52:45 +0000</pubDate>
		<dc:creator>ClearSy</dc:creator>
				<category><![CDATA[Actualités]]></category>

		<guid isPermaLink="false">http://www.atelierb.eu/?p=649</guid>
		<description><![CDATA[Les Journées sur la Fiabilité du Logiciel, organisées les 14 et 15 Juin 2012 par l&#8217;Initiative de Recherche et Innovation sur le Logiciel Libre et le Groupe Thématique Logiciel Libre du pôle System@tic, adressent la validation, la certification, la preuve &#8230; <a href="http://www.atelierb.eu/2012/06/06/journees-sur-la-fiabilite-du-logiciel-14-15-juin-2012/">Continuer la lecture <span class="meta-nav">&#8594;</span></a>]]></description>
		<wfw:commentRss>http://www.atelierb.eu/2012/06/06/journees-sur-la-fiabilite-du-logiciel-14-15-juin-2012/feed/</wfw:commentRss>
		<slash:comments>0</slash:comments>
		</item>
		<item>
		<title>L&#8217;Atelier B 4.0.2 est disponible pour les détenteurs d&#8217;un contrat de maintenance</title>
		<link>http://www.atelierb.eu/2011/01/14/latelier-b-4-0-2-est-disponible-pour-les-detenteurs-dun-contrat-de-maintenance/</link>
		<comments>http://www.atelierb.eu/2011/01/14/latelier-b-4-0-2-est-disponible-pour-les-detenteurs-dun-contrat-de-maintenance/#comments</comments>
		<pubDate>Fri, 14 Jan 2011 14:21:55 +0000</pubDate>
		<dc:creator>ClearSy</dc:creator>
				<category><![CDATA[Versions]]></category>
		<category><![CDATA[4.0.2]]></category>
		<category><![CDATA[Atelier B]]></category>
		<category><![CDATA[Maintenance]]></category>

		<guid isPermaLink="false">http://www.test.atelierb.eu/?p=321</guid>
		<description><![CDATA[L’Atelier B 4.0.2 a été mis à disposition le 07 Janvier 2011 et peut être téléchargé par les possesseurs d’un contrat de maintenance Atelier B 4 sur cette page : Compte Atelier B. Cette version corrige 84 anomalies et propose &#8230; <a href="http://www.atelierb.eu/2011/01/14/latelier-b-4-0-2-est-disponible-pour-les-detenteurs-dun-contrat-de-maintenance/">Continuer la lecture <span class="meta-nav">&#8594;</span></a>]]></description>
		<wfw:commentRss>http://www.atelierb.eu/2011/01/14/latelier-b-4-0-2-est-disponible-pour-les-detenteurs-dun-contrat-de-maintenance/feed/</wfw:commentRss>
		<slash:comments>0</slash:comments>
		</item>
		<item>
		<title>L&#8217;Atelier B 4.0.1 est disponible pour les détenteurs d&#8217;un contrat de maintenance</title>
		<link>http://www.atelierb.eu/2009/12/22/latelier-b-4-0-1-est-disponible-pour-les-detenteurs-dun-contrat-de-maintenance/</link>
		<comments>http://www.atelierb.eu/2009/12/22/latelier-b-4-0-1-est-disponible-pour-les-detenteurs-dun-contrat-de-maintenance/#comments</comments>
		<pubDate>Tue, 22 Dec 2009 13:11:16 +0000</pubDate>
		<dc:creator>ClearSy</dc:creator>
				<category><![CDATA[Versions]]></category>
		<category><![CDATA[Atelier B 4.0.1]]></category>
		<category><![CDATA[contrat de maintenance]]></category>

		<guid isPermaLink="false">http://www.test.atelierb.eu/?p=356</guid>
		<description><![CDATA[Nous avons le plaisir de vous informer de la mise à disposition de l&#8217;Atelier B 4.0.1. Cette version est exclusivement réservée aux détenteurs de la maintenance, et est accessible via leurs comptes respectifs sur le site de l&#8217;Atelier B. Cette &#8230; <a href="http://www.atelierb.eu/2009/12/22/latelier-b-4-0-1-est-disponible-pour-les-detenteurs-dun-contrat-de-maintenance/">Continuer la lecture <span class="meta-nav">&#8594;</span></a>]]></description>
		<wfw:commentRss>http://www.atelierb.eu/2009/12/22/latelier-b-4-0-1-est-disponible-pour-les-detenteurs-dun-contrat-de-maintenance/feed/</wfw:commentRss>
		<slash:comments>0</slash:comments>
		</item>
		<item>
		<title>Smart Event 2009 &#8211; Présentation du projet Forcoment, développé avec l&#8217;Atelier B</title>
		<link>http://www.atelierb.eu/2009/10/09/smart-event-2009-presentation-du-projet-forcoment-developpe-avec-latelier-b/</link>
		<comments>http://www.atelierb.eu/2009/10/09/smart-event-2009-presentation-du-projet-forcoment-developpe-avec-latelier-b/#comments</comments>
		<pubDate>Fri, 09 Oct 2009 13:13:24 +0000</pubDate>
		<dc:creator>ClearSy</dc:creator>
				<category><![CDATA[Colloque]]></category>
		<category><![CDATA[Forcoment]]></category>
		<category><![CDATA[Smart Event 2009]]></category>
		<category><![CDATA[StMicroelectronics]]></category>

		<guid isPermaLink="false">http://www.test.atelierb.eu/?p=360</guid>
		<description><![CDATA[Marc Benveniste (STMicroelectronics) a présenté à l&#8217;occasion de l&#8217;évènement Smart Event 2009, qui s&#8217;est déroulé du 22 au 25 septembre 2009, un article intitulé &#171;&#160;A Proved &#171;&#160;Correct by Construction&#160;&#187; Memory Protection Unit&#160;&#187;, présentant les enjeux du projet Forcoment, développé en &#8230; <a href="http://www.atelierb.eu/2009/10/09/smart-event-2009-presentation-du-projet-forcoment-developpe-avec-latelier-b/">Continuer la lecture <span class="meta-nav">&#8594;</span></a>]]></description>
		<wfw:commentRss>http://www.atelierb.eu/2009/10/09/smart-event-2009-presentation-du-projet-forcoment-developpe-avec-latelier-b/feed/</wfw:commentRss>
		<slash:comments>0</slash:comments>
		</item>
		<item>
		<title>ProB, utilisable depuis l&#8217;Atelier B 4.0</title>
		<link>http://www.atelierb.eu/2009/07/07/prob-utilisable-depuis-latelier-b-4-0/</link>
		<comments>http://www.atelierb.eu/2009/07/07/prob-utilisable-depuis-latelier-b-4-0/#comments</comments>
		<pubDate>Tue, 07 Jul 2009 09:16:29 +0000</pubDate>
		<dc:creator>ClearSy</dc:creator>
				<category><![CDATA[Outils associés]]></category>
		<category><![CDATA[ProB]]></category>
		<category><![CDATA[Atelier B 4.0]]></category>

		<guid isPermaLink="false">http://www.test.atelierb.eu/?p=364</guid>
		<description><![CDATA[ProB est utilisable depuis l&#8217;Atelier B 4.0 pour prouver et animer des modèles B logiciels et événementiels, grâce au mécanisme d&#8217;extension qui permet de connecter l&#8217;Atelier B avec d&#8217;autres outils. Depuis la version 1.3.0, ProB génère le fichier de paramètres &#8230; <a href="http://www.atelierb.eu/2009/07/07/prob-utilisable-depuis-latelier-b-4-0/">Continuer la lecture <span class="meta-nav">&#8594;</span></a>]]></description>
		<wfw:commentRss>http://www.atelierb.eu/2009/07/07/prob-utilisable-depuis-latelier-b-4-0/feed/</wfw:commentRss>
		<slash:comments>0</slash:comments>
		</item>
		<item>
		<title>Etat d&#8217;Avancement des Traductions des Manuels Atelier B</title>
		<link>http://www.atelierb.eu/2009/05/12/etat-davancement-des-traductions-des-manuels-atelier-b/</link>
		<comments>http://www.atelierb.eu/2009/05/12/etat-davancement-des-traductions-des-manuels-atelier-b/#comments</comments>
		<pubDate>Tue, 12 May 2009 13:20:10 +0000</pubDate>
		<dc:creator>ClearSy</dc:creator>
				<category><![CDATA[Documentation]]></category>
		<category><![CDATA[Etat d'Avancement]]></category>
		<category><![CDATA[Manuels Atelier B]]></category>
		<category><![CDATA[Traductions]]></category>

		<guid isPermaLink="false">http://www.test.atelierb.eu/?p=369</guid>
		<description><![CDATA[Vous avez été nombreux à nous répondre pour participer à la traduction des manuels dédiés à l&#8217;Atelier B et nous vous en remerçions. Voici donc un point sur l&#8217;état d&#8217;avancement de ces travaux : Le document Bart specification, décrivant le &#8230; <a href="http://www.atelierb.eu/2009/05/12/etat-davancement-des-traductions-des-manuels-atelier-b/">Continuer la lecture <span class="meta-nav">&#8594;</span></a>]]></description>
		<wfw:commentRss>http://www.atelierb.eu/2009/05/12/etat-davancement-des-traductions-des-manuels-atelier-b/feed/</wfw:commentRss>
		<slash:comments>0</slash:comments>
		</item>
		<item>
		<title>L&#8217;Atelier B 4.0 est disponible !</title>
		<link>http://www.atelierb.eu/2009/04/11/latelier-b-4-0-est-disponible/</link>
		<comments>http://www.atelierb.eu/2009/04/11/latelier-b-4-0-est-disponible/#comments</comments>
		<pubDate>Sat, 11 Apr 2009 10:26:50 +0000</pubDate>
		<dc:creator>ClearSy</dc:creator>
				<category><![CDATA[Versions]]></category>
		<category><![CDATA[Atelier B 4.0]]></category>

		<guid isPermaLink="false">http://www.test.atelierb.eu/?p=373</guid>
		<description><![CDATA[Nous avons le plaisir de vous annoncer la sortie de l&#8217;Atelier B 4.0. Celle-ci s&#8217;accompagne d&#8217;un tout nouveau mode de distribution pour lequel : le téléchargement de l&#8217;Atelier B est gratuit un nouveau contrat de maintenance s&#8217;adapte à vos besoins &#8230; <a href="http://www.atelierb.eu/2009/04/11/latelier-b-4-0-est-disponible/">Continuer la lecture <span class="meta-nav">&#8594;</span></a>]]></description>
		<wfw:commentRss>http://www.atelierb.eu/2009/04/11/latelier-b-4-0-est-disponible/feed/</wfw:commentRss>
		<slash:comments>0</slash:comments>
		</item>
	</channel>
</rss>
