|
libcats.org
Главная →
B 2007: Formal Specification and Development in B: 7th International Conference of B Users, Besancon, France, January 7-19, 2007, ProceedingsB 2007: Formal Specification and Development in B: 7th International Conference of B Users, Besancon, France, January 7-19, 2007, ProceedingsJacques Julliand, Olga KouchnarenkoThis 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. Ссылка удалена правообладателем ---- The book removed at the request of the copyright holder.
Популярные книги за неделю:
#3
Самодельные детали для сельского радиоприемникаАвторы: З.Б.Гинзбург, Ф.И.Тарасов.Категория: радиоэлектроника
1.40 Mb
#10
Вероятность и статистика. 10-11 классыБродский И.Л., Мешавкина О.С.Категория: M_Mathematics, MSch_School-level
1.24 Mb
Только что пользователи скачали эти книги:
#4
Методы и техника обработки сигналов при физических измерениях в 2-х томах. Основные принципы и классические методыМакс Ж.
4.32 Mb
#5
Откат. Особая техника Клиентской АТтракцииДмитрий Ткаченко, Максим ГорбачевКатегория: money
12.34 Mb
#9
Бизнес-курс английского языкаИ. С. Богацкий, Н. М. ДюкановаКатегория: БИЗНЕС, НАУКА и УЧЕБА
14.01 Mb
|
|