B 2007: Formal Specification and Development in B
| Author | : Jacques Julliand |
| Publisher | : Springer Science & Business Media |
| Total Pages | : 305 |
| Release | : 2006-12-14 |
| ISBN-10 | : 9783540687603 |
| ISBN-13 | : 3540687602 |
| Rating | : 4/5 (03 Downloads) |
Book Synopsis B 2007: Formal Specification and Development in B by : Jacques Julliand
Download or read book B 2007: Formal Specification and Development in B written by Jacques Julliand and published by Springer Science & Business Media. This book was released on 2006-12-14 with total page 305 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book constitutes the refereed proceedings of the 7th International Conference of B Users, B 2007, held in Besançon, France, January 2007. Coverage in this volume includes industrial applications and case studies using B, integration of model-based specification methods in the software development lifecycle, derivation of hardware-software architecture from model-based specifications, and validating requirements through formal models.
