Formal Methods at the Crossroads. From Panacea to Foundational Support: 10th Anniversary Colloquium of UNU/IIST, the International Institute for Software ... Papers (Lecture Notes in Computer Science) Bernhard K. Aichernig

ISBN:

Published:

Kindle Edition

469 pages


Description

Formal Methods at the Crossroads. From Panacea to Foundational Support: 10th Anniversary Colloquium of UNU/IIST, the International Institute for Software ... Papers (Lecture Notes in Computer Science)  by  Bernhard K. Aichernig

Formal Methods at the Crossroads. From Panacea to Foundational Support: 10th Anniversary Colloquium of UNU/IIST, the International Institute for Software ... Papers (Lecture Notes in Computer Science) by Bernhard K. Aichernig
| Kindle Edition | PDF, EPUB, FB2, DjVu, AUDIO, mp3, RTF | 469 pages | ISBN: | 9.25 Mb

This volume is devoted to the 10th Anniversary Colloquium of UNU/IIST, the International Institute for Software Technology of the United Nations University, as well as to the memory of Armando Haeberer, who passed away while he was working on theMoreThis volume is devoted to the 10th Anniversary Colloquium of UNU/IIST, the International Institute for Software Technology of the United Nations University, as well as to the memory of Armando Haeberer, who passed away while he was working on the preparation of this book in February 2003.The volume starts with a special paper by Tom Maibaum recollecting Armando Haeberers life and work.

The second part presents work done by members of UNU/IIST as well as a paper on the history of the institute. The subsequent topical sections present key contributions by leading researchers and thus assess the state of the art in software engineering and its engineering and scientific principles, from models to software, real-time systems, and verification.

All in all, the book is a unique survey of the power and potential of formal methods in software engineering.



Enter the sum





Related Archive Books



Related Books


Comments

Comments for "Formal Methods at the Crossroads. From Panacea to Foundational Support: 10th Anniversary Colloquium of UNU/IIST, the International Institute for Software ... Papers (Lecture Notes in Computer Science)":


elrancherobargrill.com

©2012-2015 | DMCA | Contact us