About: B-Method

An Entity of Type: Thing, from Named Graph: http://dbpedia.org, within Data Space: dbpedia-live.demo.openlinksw.com

Method of software development

Property	Value
dbo:description	method of software development (en) méthode formelle (fr)
dbo:thumbnail	wiki-commons:Special:FilePath/Click'n'prove_project_view.png?width=300
dbo:wikiPageExternalLink	https://web.archive.org/web/20080221232310/http:/www.atelierb.eu/index_en.html http://www.atelierb.eu/index_en.html https://www.methode-b.com/en/ https://web.archive.org/web/20051012233257/http:/www-lsr.imag.fr/B/
dbo:wikiPageWikiLink	dbr:Automatic_programming dbc:Formal_methods_tools dbr:Ulm dbr:Paris_Métro_Line_14 dbr:Formal_specification dbr:Z_notation dbr:Formal_methods dbc:Formal_methods dbr:Integrated_development_environment dbr:Mathematical_proof dbr:Nantes dbr:Paris_Métro_Line_1 dbr:Pisa dbr:Set_theory dbr:Cambridge_University_Press dbr:Jean-Raymond_Abrial dbr:Motif_(software) dbr:Orford,_Quebec dbr:Refinement_(computing) dbr:Austria dbr:Canada dbr:Europe dbr:European_Union dbr:Finland dbr:France dbr:Germany dbr:Grenoble dbr:Italy dbr:Linux dbr:London dbr:United_Kingdom dbr:Alstom dbr:Guildford dbr:VHDL dbr:Palgrave_Macmillan dbr:Montpellier dbr:Programming_language dbr:Software dbr:Toulouse dbr:COVID-19_pandemic dbr:Springer_Science+Business_Media dbr:Ariane_5 dbr:York dbr:Besançon dbr:Linz dbr:Open_source dbr:Turku dbr:Eclipse_(software) dbr:Siemens dbr:Southampton dbr:Software_development dbr:BP dbr:STMicroelectronics dbr:Safety-critical_system dbc:Formal_specification_languages dbr:Plug-in_(computing) dbr:British_Computer_Society dbr:Kevin_Lano dbr:Z_User_Group dbr:Software_design dbr:Imperial_College_Press dbr:ATMEL dbr:X_Window dbr:OS_X dbr:Solaris_(operating_system) dbr:Québec dbr:Abstract_State_Machines dbr:Digital_circuit dbr:Abstract_machine_notation dbr:Ib_Holm_Sørensen dbr:Addison_Wesley_Longman dbr:First_order_logic dbr:Formal_method dbr:Encapsulation_(object-oriented_programming) dbr:World_Scientific_Publishing_Company dbr:Logical_argument dbr:Program_refinement dbr:Program_specification
dbp:date	2008-02-21 (xsd:date)
dbp:url	https://web.archive.org/web/20080221232310/http:/www.atelierb.eu/index_en.html
dbp:wikiPageUsesTemplate	dbt:Authority_control dbt:Main dbt:Reflist dbt:ISBN dbt:Webarchive dbt:Langx dbt:Short_description
dct:subject	dbc:Formal_methods_tools dbc:Formal_methods dbc:Formal_specification_languages
gold:hypernym	dbr:Method
rdf:type	owl:Thing
rdfs:label	B-Method (en) B-Method (ja) Méthode B (fr) B (mjukvaruutveckling) (sv) B-метод (uk)
owl:sameAs	yago-res:B-Method freebase:B-Method wikidata:B-Method dbpedia-fr:B-Method dbpedia-ja:B-Method dbpedia-sv:B-Method dbpedia-uk:B-Method dbpedia-global:B-Method dbr:B-Method
prov:wasDerivedFrom	wikipedia-en:B-Method?oldid=1293969259&ns=0
foaf:depiction	wiki-commons:Special:FilePath/Click'n'prove_project_view.png
foaf:isPrimaryTopicOf	wikipedia-en:B-Method
is dbo:knownFor of	dbr:Jean-Raymond_Abrial dbr:Kevin_Lano dbr:Michael_Butler_(computer_scientist) dbr:Ken_Robinson_(computer_scientist)
is dbo:wikiPageDisambiguates of	dbr:B_(disambiguation)
is dbo:wikiPageRedirects of	dbr:Abstract_machine_notation dbr:Event-B dbr:B-Tookit dbr:B-Tool dbr:B-Toolkit dbr:B4free dbr:B_method dbr:B_notation_(specification_language) dbr:International_B_Conference_Steering_Committee dbr:Ib_Sørensen dbr:Clearsy dbr:Association_de_Pilotage_des_Conférences_B dbr:Atelier_B
is dbo:wikiPageWikiLink of	dbr:Contrôle_de_vitesse_par_balises dbr:Paris_Métro_Line_14 dbr:Formal_specification dbr:Z_notation dbr:Formal_methods dbr:Satisfiability_modulo_theories dbr:Guarded_Command_Language dbr:Jean-Raymond_Abrial dbr:Refinement_(computing) dbr:Model-based_testing dbr:Specification_language dbr:Carroll_Morgan_(computer_scientist) dbr:Egon_Börger dbr:Kevin_Lano dbr:Z_User_Group dbr:B_(disambiguation) dbr:Predicate_transformer_semantics dbr:Michael_Butler_(computer_scientist) dbr:Rodin_tool dbr:Alt-Ergo dbr:Ken_Robinson_(computer_scientist) dbr:Abrial dbr:Steve_Schneider_(computer_scientist) dbr:TLA+ dbr:Abstract_machine_notation dbr:Event-B dbr:B-Tookit dbr:B-Tool dbr:B-Toolkit dbr:B4free dbr:B_method dbr:B_notation_(specification_language) dbr:International_B_Conference_Steering_Committee dbr:Ib_Sørensen dbr:Clearsy dbr:Association_de_Pilotage_des_Conférences_B dbr:Atelier_B
is dbp:knownFor of	dbr:Jean-Raymond_Abrial dbr:Kevin_Lano dbr:Michael_Butler_(computer_scientist) dbr:Ken_Robinson_(computer_scientist)
is foaf:primaryTopic of	wikipedia-en:B-Method