About: B-Method     Goto   Sponge   NotDistinct   Permalink

An Entity of Type : yago:WikicatFormalSpecificationLanguages, within Data Space : dbpedia.org associated with source document(s)
QRcode icon
http://dbpedia.org/describe/?url=http%3A%2F%2Fdbpedia.org%2Fresource%2FB-Method

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.

AttributesValues
rdf:type
rdfs:label
  • B-Method (en)
  • Méthode B (fr)
  • B-Method (ja)
  • B (mjukvaruutveckling) (sv)
  • B-метод (uk)
rdfs: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. (en)
  • B-Methodとは、AMN(Abstract Machine Notation)という仕様記述言語(兼プログラミング言語)を中心とした形式手法に基づいたソフトウェア開発手法である。B-Method で使用する形式手法やそのツール群は単に B と呼ぶ。 (ja)
  • B är en mjukvaruutvecklingsmetod framtagen av , tillika ett språk och CASE-verktyg från . B-metoden är nästan unik bland formella mjukvaruutvecklingsmetoder i det avseendet att den använder samma notation för specifikation, design och programmeringen. Språket B byggs upp med hjälp av matematiska formler med vars hjälp det går att programmet. På detta sätt går det att ta fram matematiska bevis att programmet fungera innan det riktiga programmet skrivs. (sv)
  • B — загальний термін, яким називають B-Method (формальний метод розробки програмного забезпечення), процес такої розробки, мову запису специфікації, і інструменти що їх підтримують (B-Toolkit) (uk)
  • La méthode B est une méthode formelle qui permet le raisonnement sur des systèmes complexes ainsi que le développement logiciel. La méthode B permet de modéliser de façon abstraite le comportement et les spécifications d'un logiciel dans le langage de B, puis par raffinements successifs d'aboutir à un modèle concret dans un sous-ensemble du langage B transcodable en Ada ou en C, exécutables par une machine concrète. Elle permet de formaliser le système et son environnement de manière abstraite, puis par raffinements successifs, de rajouter les détails au modèle du système. Une activité de preuve formelle permet de vérifier la cohérence du modèle abstrait et la conformité de chaque raffinement avec le modèle supérieur (prouvant ainsi la conformité de l'ensemble des implémentations concrètes (fr)
dcterms:subject
Wikipage page ID
Wikipage revision ID
Link from a Wikipage to another Wikipage
Faceted Search & Find service v1.17_git139 as of Feb 29 2024


Alternative Linked Data Documents: ODE     Content Formats:   [cxml] [csv]     RDF   [text] [turtle] [ld+json] [rdf+json] [rdf+xml]     ODATA   [atom+xml] [odata+json]     Microdata   [microdata+json] [html]    About   
This material is Open Knowledge   W3C Semantic Web Technology [RDF Data] Valid XHTML + RDFa
OpenLink Virtuoso version 08.03.3330 as of Mar 19 2024, on Linux (x86_64-generic-linux-glibc212), Single-Server Edition (62 GB total memory, 40 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software