B 2007: Formal Specification and Development in B: 7th International Conference of B Users, Besancon, France, January 7-19, 2007, Proceedings (Lecture Notes in Computer Science)

Jacques Julliand

ISBN 10: 3540687602 / ISBN 13: 9783540687603

Edité par Springer 2007-02-01, 2007

A propos de cet article

N° de réf. du vendeur 6666-IUK-9783540687603

Détails bibliographiques

• Titre: B 2007: Formal Specification and Development in B: 7th International Conference of B Users, Besancon, France, January 7-19, 2007, Proceedings (Lecture Notes in Computer Science)
• Éditeur: Springer 2007-02-01
• Date de parution: 2007
• Langue: anglais
• ISBN à 10 chiffres: 3540687602
• ISBN à 13 chiffres: 9783540687603
• Reliure: Paperback
• État de l'article: New

A propos de ce titre

Synopsis

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.