Some B Method Characteristics
- Use same language in specification, design and programation.
- Mechanism include encapsulation and data locality.
- Clear and close introduction for refinement concept.
- Originated in the 1980s by Jean-Raymond Abrial.
- B method is a tool-supported formal methods based around AMN (Abstract Machine Notation), used in the development of correct software.
- B method has been used in some major safety-critical system applications in Europe (such as in Paris Métro Line 14 and Ariane 5 rocket).
Read more about this topic: B-Method
Famous quotes containing the word method:
“The insidiousness of science lies in its claim to be not a subject, but a method. You could ignore a subject; no subject is all-inclusive. But a method can plausibly be applied to anything within the field of consciousness.”
—Katharine Fullerton Gerould (1879–1944)