libcats.org
Главная

Verified Software: Theories, Tools, Experiments: 1 conf., VSTTE 2005

Обложка книги Verified Software: Theories, Tools, Experiments: 1 conf., VSTTE 2005

Verified Software: Theories, Tools, Experiments: 1 conf., VSTTE 2005

,

This state-of-the-art survey is an outcome of the first IFIP TC 2/WG 2.3 working conference on Verified Software: Theories, Tools, Experiments, VSTTE 2005, held in Zurich, Switzerland, in October 2005. This was a historic event gathering many top international experts on systematic methods for specifying, building and verifying high-quality software.

The book includes 32 revised full papers and 27 revised position papers, preceded by a general introduction to the area, which also presents the vision of a grand challenge project: the "verifying compiler". Most contributions are followed by a transcription of the vivid discussion that ensued between the author and the audience. The papers have been organized in topical sections on verification tools, guaranteeing correctness, software engineering aspects, verifying object-oriented programming, programming language and methodology aspects, components, static analysis, design, analysis and tools, as well as formal techniques.

Популярные книги за неделю:

О физической природе шаровой молнии

Автор:
Категория: science, science, exact
Размер книги: 5.03 Mb

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

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

Древо жизни

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

Здоровье надо созидать

Автор:
Категория: Здоровье
Размер книги: 363 Kb
Только что пользователи скачали эти книги:

Каким его запомнили

Автор:
Категория: Детектив
Размер книги: 86 Kb

Augsburg Confession - Martin Luther

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

Игорь Желем. Несовместимость

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

Many-Body Physics

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

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

Efimov.pdf

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

Clinical Anesthesiology, Fourth Edition

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

To say nothing of the dog: or, How we found the bishop's bird stump at last

Автор:
Категория: fiction
Размер книги: 445 Kb