Business Analysis for Information Technology
Books and Selected Products
Springer
February 2007
Paperback, 306 pages
ISBN: 3540687602
This book constitutes the refereed proceedings of the 7th International Conference of B Users, B 2007, held in Besana§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.