B 2007: Formal Specification and Development in B: 7th International Conference of B Users, Besancon, France, January 7-19, 2007, Proceedings: 4355 (Programming and Software Engineering) - Softcover

Softcover

ISBN 10: 3540687602 ISBN 13: 9783540687603

Verlag: Springer, 2007

Inhaltsangabe

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.

Über diesen Titel

Reseña del editor

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.

Details zur Ausgabe

• Verlag: Springer
• Erscheinungsdatum: 2007
• Sprache: Englisch
• ISBN 10: 3540687602
• ISBN 13: 9783540687603
• Einband: Tapa blanda
• Anzahl der Seiten: 312
• Herausgeber: Julliand Jacques
• Kontakt zum Hersteller: Nicht verfügbar
• Verantwortliche Person: CMN Printpool Inh. Mathis Neumann; https://www.also.com/ec/cms5/en_6000/6000/index.jsp; ; Friedrich-Karl-Str. 9; Hamburg; Deutschland