Features
- Cover Type: Paperback with 293 pages
- Published by: Springer
- Edition: 1st Edition February 1, 2007
- Written in: English
- ISBN 10 Number: 3540687602
- ISBN 13 Number: 978-3540687603
-
Book Dimensions:
9.2 x 6.1 x 0.8 inches
- Weighs: 1 pounds
Product Description
This book constitutes the refereed proceedings of the 7th International Conference of B Users, B 2007, held in Besançon, France in January 2007.
The thirty revised full papers presented together with 4 invited contributions were carefully reviewed and selected from numerous submissions. The topics of interest to the conference included: 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, expressing and validating requirements through formal models, in particular verifying security policies, theoretical issues in formal development, model-based
software testing, tools supporting the B method, development by composition of specifications, validation of assembly of COTS by model-based specification methods, B extensions and/or standardization.
Search for books at
