000			00707nam a2200169Ia 4500
999			_c22205 _d22205
008			161214s9999 xx 000 0 und d
020			_a9783540205272 _cpbk
082			_a004 _bAIC
100			_aAichernig, Bernhard K.
245		0	_aFormal Methods at the Crossroads : From Panacea to Foundational Support : 10th anniversary colloquium of UNU/IIST, the International Institute for Software Technology of the United Nations University, Lisbon, Portugal, March 18-20, 2002 : revised pap
260			_aNew York: _bSpringer, _c2003
300			_axii, 453 p.; _bindex: _c23 cm.
365			_aINR _b3332.00
440			_v2757
490			_aLecture notes in computer science
520			_aThis 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 Haeberer's 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
650			_aSoftware engineering
650			_aUNU and UNU/​IIST
650			_aContract-Based Testing
650			_aRAISE Tools
650			_aVERILOG Programming
650			_aVerification by Abstraction
650			_aModel Checking
700			_aMaibaum, Tom
942			_2ddc _cBK