The B Language and Method
Produktnummer:
18d41e122159da48198a6326fbc5688770
| Autor: | Lano, Kevin |
|---|---|
| Themengebiete: | C programming language Mathematica design development formal methods formal specification language object-oriented analysis object-oriented analysis and design semantics |
| Veröffentlichungsdatum: | 14.05.1996 |
| EAN: | 9783540760337 |
| Sprache: | Englisch |
| Seitenzahl: | 232 |
| Produktart: | Kartoniert / Broschiert |
| Verlag: | Springer Berlin |
| Untertitel: | A Guide to Practical Formal Development |
Produktinformationen "The B Language and Method"
B is one of the few formal methods which has robust, commercially-available tool support for the entire development lifecycle from specification through to code generation. This volume provides a comprehensive introduction to the B Abstract Machine Notation, and to how it can be used to support formal specification and development of high integrity systems. A strong emphasis is placed on the use of B in the context of existing software development methods, including object-oriented analysis and design. The text includes a large number of worked examples, graduated exercises in B AMN specification and development (all of which have been class-tested), two extended case studies of the development process, and an appendix of proof techniques suitable for B. Based on material which has been used to teach B at postgraduate and undergraduate level, this volume will provide invaluable reading a wide range of people, including students, project technical managers and workers, and researchers with an interest in methods integration and B semantics.
Sie möchten lieber vor Ort einkaufen?
Sie haben Fragen zu diesem oder anderen Produkten oder möchten einfach gerne analog im Laden stöbern? Wir sind gerne für Sie da und beraten Sie auch telefonisch.
Juristische Fachbuchhandlung
Georg Blendl
Parcellistraße 5 (Maxburg)
8033 München
Montag - Freitag: 8:15 -18 Uhr
Samstags geschlossen