Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/B-Method> ?p ?o }
Showing triples 1 to 84 of
84
with 100 triples per page.
- B-Method abstract "The B method is a method of software development based on B, a tool-supported formal method based on 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 wikiPageLength "7451".
- B-Method wikiPageOutDegree "59".
- B-Method wikiPageRevisionID "693122811".
- B-Method wikiPageWikiLink APCB.
- B-Method wikiPageWikiLink Abstract_machine_notation.
- B-Method wikiPageWikiLink Ada_(programming_language).
- B-Method wikiPageWikiLink Addison-Wesley.
- B-Method wikiPageWikiLink Alstom.
- B-Method wikiPageWikiLink Argument.
- B-Method wikiPageWikiLink Ariane_5.
- B-Method wikiPageWikiLink Atmel.
- B-Method wikiPageWikiLink Automatic_programming.
- B-Method wikiPageWikiLink B-Method.
- B-Method wikiPageWikiLink C++.
- B-Method wikiPageWikiLink C_(programming_language).
- B-Method wikiPageWikiLink Cambridge_University_Press.
- B-Method wikiPageWikiLink Category:Formal_methods.
- B-Method wikiPageWikiLink Category:Formal_methods_tools.
- B-Method wikiPageWikiLink Category:Formal_specification_languages.
- B-Method wikiPageWikiLink Encapsulation_(computer_programming).
- B-Method wikiPageWikiLink Europe.
- B-Method wikiPageWikiLink First-order_logic.
- B-Method wikiPageWikiLink Formal_methods.
- B-Method wikiPageWikiLink Formal_specification.
- B-Method wikiPageWikiLink France.
- B-Method wikiPageWikiLink Ib_Holm_Sørensen.
- B-Method wikiPageWikiLink Imperial_College_Press.
- B-Method wikiPageWikiLink Jean-Raymond_Abrial.
- B-Method wikiPageWikiLink Kevin_Lano.
- B-Method wikiPageWikiLink Life-critical_system.
- B-Method wikiPageWikiLink Linux.
- B-Method wikiPageWikiLink Motif_(software).
- B-Method wikiPageWikiLink OS_X.
- B-Method wikiPageWikiLink Palgrave_Macmillan.
- B-Method wikiPageWikiLink Paris_Métro_Line_14.
- B-Method wikiPageWikiLink Programming_language.
- B-Method wikiPageWikiLink Refinement_(computing).
- B-Method wikiPageWikiLink Rodin_tool.
- B-Method wikiPageWikiLink STMicroelectronics.
- B-Method wikiPageWikiLink Set_theory.
- B-Method wikiPageWikiLink Siemens.
- B-Method wikiPageWikiLink Software.
- B-Method wikiPageWikiLink Software_design.
- B-Method wikiPageWikiLink Software_development.
- B-Method wikiPageWikiLink Solaris_(operating_system).
- B-Method wikiPageWikiLink Springer_Science+Business_Media.
- B-Method wikiPageWikiLink United_Kingdom.
- B-Method wikiPageWikiLink World_Scientific.
- B-Method wikiPageWikiLink X_Window_System.
- B-Method wikiPageWikiLink Z_notation.
- B-Method wikiPageWikiLinkText "Atelier-B".
- B-Method wikiPageWikiLinkText "B".
- B-Method wikiPageWikiLinkText "B-Method".
- B-Method wikiPageWikiLinkText "B-Method#B-Toolkit".
- B-Method wikiPageUsesTemplate Template:FOLDOC.
- B-Method wikiPageUsesTemplate Template:Reflist.
- B-Method subject Category:Formal_methods.
- B-Method subject Category:Formal_methods_tools.
- B-Method subject Category:Formal_specification_languages.
- B-Method hypernym Method.
- B-Method type Area.
- B-Method type Language.
- B-Method type Software.
- B-Method type Area.
- B-Method type Language.
- B-Method type Method.
- B-Method type Redirect.
- B-Method type Tool.
- B-Method comment "The B method is a method of software development based on B, a tool-supported formal method based on 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 sameAs Q3085774.
- B-Method sameAs Méthode_B.
- B-Method sameAs B-Method.
- B-Method sameAs m.07df3n.
- B-Method sameAs B_(mjukvaruutveckling).
- B-Method sameAs B-метод.
- B-Method sameAs Q3085774.
- B-Method wasDerivedFrom B-Method?oldid=693122811.
- B-Method isPrimaryTopicOf B-Method.