Julliand J., Kouchnarenko O. — B 2007: Formal Specification and Development in B: 7th International Conference of B Users, Besancon, France, January 7-19, 2007, Proceedings
Нашли опечатку? Выделите ее мышкой и нажмите Ctrl+Enter
Название: B 2007: Formal Specification and Development in B: 7th International Conference of B Users, Besancon, France, January 7-19, 2007, Proceedings
Авторы: Julliand J., Kouchnarenko O.
Аннотация:
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 30 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.