000 -LEADER |
fixed length control field |
00707nam a2200169Ia 4500 |
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION |
fixed length control field |
161214s9999 xx 000 0 und d |
020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
International Standard Book Number |
9783540205272 |
Terms of availability |
pbk |
082 ## - DEWEY DECIMAL CLASSIFICATION NUMBER |
Classification number |
004 |
Item number |
AIC |
100 ## - MAIN ENTRY--PERSONAL NAME |
Personal name |
Aichernig, Bernhard K. |
245 #0 - TITLE STATEMENT |
Title |
Formal 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 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT) |
Place of publication, distribution, etc |
New York: |
Name of publisher, distributor, etc |
Springer, |
Date of publication, distribution, etc |
2003 |
300 ## - PHYSICAL DESCRIPTION |
Extent |
xii, 453 p.; |
Other physical details |
index: |
Dimensions |
23 cm. |
365 ## - TRADE PRICE |
Price type code |
INR |
Price amount |
3332.00 |
490 ## - SERIES STATEMENT |
Series statement |
Lecture notes in computer science |
520 ## - SUMMARY, ETC. |
Summary, etc |
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 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 ## - SUBJECT ADDED ENTRY--TOPICAL TERM |
Topical term or geographic name as entry element |
Software engineering |
|
Topical term or geographic name as entry element |
UNU and UNU/IIST |
|
Topical term or geographic name as entry element |
Contract-Based Testing |
|
Topical term or geographic name as entry element |
RAISE Tools |
|
Topical term or geographic name as entry element |
VERILOG Programming |
|
Topical term or geographic name as entry element |
Verification by Abstraction |
|
Topical term or geographic name as entry element |
Model Checking |
700 ## - ADDED ENTRY--PERSONAL NAME |
Personal name |
Maibaum, Tom |
942 ## - ADDED ENTRY ELEMENTS (KOHA) |
Source of classification or shelving scheme |
|
Item type |
Books |