Matches in DBpedia 2014 for { <http://dbpedia.org/resource/B-Method> ?p ?o. }
Showing items 1 to 32 of
32
with 100 items per page.
- B-Method abstract "The B method is method of software development based on B, a tool-supported formal method based around an abstract machine notation, used in the development of computer software. It was originally developed by Jean-Raymond Abrial in France and the UK. B is related to the Z notation (also originated by Abrial) and supports development of programming language code from specifications. B has been used in major safety-critical system applications in Europe (such as the Paris Métro Line 14). It has robust, commercially available tool support for specification, design, proof and code generation.Compared to Z, B is slightly more low-level and more focused on refinement to code rather than just formal specification — hence it is easier to correctly implement a specification written in B than one in Z. In particular, there is good tool support for this.Recently, another formal method called Event-B has been developed. Event-B is considered an evolution of B (also known as classical B). It is a simpler notation, which is easier to learn and use. It comes with tool support in the form of the Rodin tool.".
- B-Method wikiPageExternalLink B.
- B-Method wikiPageExternalLink index_en.html.
- B-Method wikiPageExternalLink www.bmethod.com.
- B-Method wikiPageID "2443683".
- B-Method wikiPageRevisionID "605745753".
- B-Method hasPhotoCollection B-Method.
- B-Method subject Category:Formal_methods.
- B-Method subject Category:Formal_methods_tools.
- B-Method subject Category:Formal_specification_languages.
- B-Method type Ability105616246.
- B-Method type Abstraction100002137.
- B-Method type Cognition100023271.
- B-Method type Communication100033020.
- B-Method type FormalMethods.
- B-Method type FormalSpecificationLanguages.
- B-Method type Know-how105616786.
- B-Method type Language106282651.
- B-Method type Method105660268.
- B-Method type PsychologicalFeature100023100.
- B-Method comment "The B method is method of software development based on B, a tool-supported formal method based around an abstract machine notation, used in the development of computer software. It was originally developed by Jean-Raymond Abrial in France and the UK. B is related to the Z notation (also originated by Abrial) and supports development of programming language code from specifications. B has been used in major safety-critical system applications in Europe (such as the Paris Métro Line 14).".
- B-Method label "B-Method".
- B-Method label "B-Method".
- B-Method label "Méthode B".
- B-Method sameAs Méthode_B.
- B-Method sameAs B-Method.
- B-Method sameAs m.07df3n.
- B-Method sameAs Q3085774.
- B-Method sameAs Q3085774.
- B-Method sameAs B-Method.
- B-Method wasDerivedFrom B-Method?oldid=605745753.
- B-Method isPrimaryTopicOf B-Method.