B-Method
Method of software development
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. Compared to the Z notation, 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.
Nº Q3085774 ★
Common · History
B-Method
Method of software development
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. Compared to the Z notation, 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.
From Wikipedia
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. Compared to the Z notation, 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. The same language is used in specification, design, and programming. Mechanisms include encapsulation and data locality.
Text: Wikipédia, CC BY-SA 4.0. · Image: Joris Rehm (CC BY-SA 3.0) ·
Related cards
-
Phonics
Method to teach reading and writing of an alphabetic language
Nº Q1364762 ★★★
Not listed
-
Monte Carlo method
Broad class of computational algorithms using random sampling to obtain numerical results
Nº Q232207 ★★★★
Not listed
-
I
Input method
Operating system component or program that allows any data, such as keyboard strokes or mouse movements, to be received as input
Nº Q529029 ★
Not listed
-
s
sum-product method
Factoring by grouping
Nº Q2693957 ★★
Not listed
-
Feature-driven development
Iterative and incremental (agile) software development process aiming to deliver tangible, working software with client-valued functionality in a timely manner
Nº Q1399336 ★★
Not listed
-
H
Hoare logic
Formal system with a set of logical rules for reasoning rigorously about the correctness of computer programs
Nº Q1375924 ★
Not listed