libcats.org
Главная

B 2007: Formal Specification and Development in B: 7th International Conference of B Users, Besancon, France, January 7-19, 2007, Proceedings

Обложка книги B 2007: Formal Specification and Development in B: 7th International Conference of B Users, Besancon, France, January 7-19, 2007, Proceedings

B 2007: Formal Specification and Development in B: 7th International Conference of B Users, Besancon, France, January 7-19, 2007, Proceedings

,

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.

EPUB | FB2 | MOBI | TXT | RTF
* Конвертация файла может нарушить форматирование оригинала. По-возможности скачивайте файл в оригинальном формате.
Популярные книги за неделю:

Nucleation (Butterworth 2000)

Автор:
Категория: Phase transitions
Размер книги: 4.70 Mb

Ключ к сверхсознанию

Автор:
Категория: Путь к себе
Размер книги: 309 Kb

Genki 1: An Integrated Course in Elementary Japanese 1

Автор: , Автор: , Автор: , Автор: , Автор:
Размер книги: 172.22 Mb
Только что пользователи скачали эти книги:

John von Neumann and the origins of modern computing

Автор:
Категория: Computer science
Размер книги: 4.15 Mb

Solitons: differential equations, symmetries, and infinite dimensional algebras

Автор: , Автор: , Автор: , Автор:
Размер книги: 2.13 Mb

Rocks and minerals reference guide

Автор:
Размер книги: 1022 Kb

Forbidden (Bartlett Family)

Автор:
Размер книги: 585 Kb

Winning Ways for Your Mathematical Plays, Vol. 4

Автор: , Автор: , Автор:
Размер книги: 11.74 Mb

Преобразующие диалоги

Автор:
Размер книги: 5.16 Mb