This HTML5 document contains 6 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

PrefixNamespace IRI
dctermshttp://purl.org/dc/terms/
n4http://dbkwik.webdatacommons.org/ontology/
n9http://dbkwik.webdatacommons.org/resource/6--k1lGV-KlE8sLaXEHmkQ==
n5http://dbkwik.webdatacommons.org/formalmethods/property/
rdfshttp://www.w3.org/2000/01/rdf-schema#
n8http://dbkwik.webdatacommons.org/resource/oQmeGs1iLRRWCvkBfaT-Uw==
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
xsdhhttp://www.w3.org/2001/XMLSchema#
n2http://dbkwik.webdatacommons.org/resource/zcAJEm7PnwawTjLeCkP6Tw==
n6http://dbkwik.webdatacommons.org/resource/6rtchO8QZOwb0xqq7pHkwQ==
Subject Item
n2:
rdfs:label
Atelier B
rdfs:comment
Atelier B is composed of a complete set of integrated tools enabling the development of applications using the method invented by Jean-Raymond Abrial↑, the B-Method. Atelier B assists developers in the formalization of their applications, performing automatically on specifications and their refinements, syntax analysis, type checking, generation and demonstration of proof obligations. Extra components are supplied such as translators into current computer programming languages (C, Ada, …), a mathematical editor, libraries of predefined machines and various project analysis tools.
dcterms:subject
n8: n9:
n5:wikiPageUsesTemplate
n6:
n4:abstract
Atelier B is composed of a complete set of integrated tools enabling the development of applications using the method invented by Jean-Raymond Abrial↑, the B-Method. Atelier B assists developers in the formalization of their applications, performing automatically on specifications and their refinements, syntax analysis, type checking, generation and demonstration of proof obligations. Extra components are supplied such as translators into current computer programming languages (C, Ada, …), a mathematical editor, libraries of predefined machines and various project analysis tools. Access to Atelier B software tools is by a graphical MOTIF interface or by a batch language; in each mode it manages multi-users projects. Atelier B has been designed by Digilog and GEC Alsthom Transport in close collaboration with Jean-Raymond Abrial. The first version of Atelier B will be upgraded in 1995 with an animator of specifications, a new generation of prover, a powerful project documentation generator and various interfaces with standard tools ([news:comp.text.sgml SGML], Interleaf, …). Atelier B is sponsored by RATP, SNCF and INRETS and developed with their technical cooperation.