Presentation of the B Method
A complete course on the B method is beyond the scope of the current chapter; however, have been able to present the basic principles of this formal method. A formal method is based on a syntax, a semantics and a verification method. The B method is a formal programming method that aims to specify a...
Uloženo v:
| Vydáno v: | Formal Methods Applied to Complex Systems: Implementation of the B Method s. 1 - 34 |
|---|---|
| Hlavní autor: | |
| Médium: | Kapitola |
| Jazyk: | angličtina |
| Vydáno: |
Hoboken, NJ, USA
John Wiley & Sons, Inc
26.06.2014
|
| Témata: | |
| ISBN: | 1848217099, 9781848217096 |
| On-line přístup: | Získat plný text |
| Tagy: |
Přidat tag
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
|
| Shrnutí: | A complete course on the B method is beyond the scope of the current chapter; however, have been able to present the basic principles of this formal method. A formal method is based on a syntax, a semantics and a verification method. The B method is a formal programming method that aims to specify and produce software safely. One of the significances of the B method is that it offers a homogeneous notation for the specification and the design of a software application. For the B method, the verification principle is the proof. The crucial difference between the B method and the classical development lies in the fact that with formal methods the program is correct by construction. The test thus becomes an “obsolete” activity, which is good news given the cost of testing. |
|---|---|
| ISBN: | 1848217099 9781848217096 |
| DOI: | 10.1002/9781119002727.ch1 |