Browse using
OpenLink Faceted Browser
OpenLink Structured Data Editor
LodLive Browser
Formats
RDF:
N-Triples
N3
Turtle
JSON
XML
OData:
Atom
JSON
Microdata:
JSON
HTML
Embedded:
JSON
Turtle
Other:
CSV
JSON-LD
Faceted Browser
Sparql Endpoint
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
This content was extracted from
Wikipedia
and is licensed under the
Creative Commons Attribution-ShareAlike 4.0 International