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 ★
Comum · História
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.
Na Wikipédia
Texto em inglês Ainda não há artigo no seu idioma: trecho em inglês.
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.
Texto: Wikipédia em inglês, CC BY-SA 4.0. · Imagem: Joris Rehm (CC BY-SA 3.0) ·
Cartas próximas
-
Phonics
Method to teach reading and writing of an alphabetic language
Nº Q1364762 ★★★
Sem ofertas
-
Método de Monte Carlo
Método estatístico que utiliza amostragens aleatórias massivas para obter resultados numéricos em problemas complexos, aplicando aleatoriedade a questões determinísticas
Nº Q232207 ★★★★
Sem ofertas
-
M
Método de entrada
Componente de um sistema operacional que permite aos usuários digitar caracteres não encontrados em seus dispositivos
Nº Q529029 ★
Sem ofertas
-
s
sum-product method
Factoring by grouping
Nº Q2693957 ★★
Sem ofertas
-
Feature Driven Development
Nº Q1399336 ★★
Sem ofertas
-
L
Lógica de Hoare
Nº Q1375924 ★
Sem ofertas