Formal Methods at the Crossroads. From Panacea to Foundational Support: 10th Anniversary Colloquium of UNU/IIST, the International Institute for ... (Lecture Notes in Computer Science, 2757) - Softcover
Synopsis
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.
"synopsis" may belong to another edition of this title.
Search results for Formal Methods at the Crossroads. From Panacea to Foundation...
Seller Image
Formal Methods at the Crossroads. From Panacea to Foundational Support: 10th Anniversary Colloquium of UNU/IIST, the International Institute for . (Lecture Notes in Computer Science, 2757)
Seller: GuthrieBooks, Spring Branch, TX, U.S.A.
Seller rating 5 out of 5 stars
Paperback. Condition: Very Good. Ex-library paperback in very nice condition with the usual markings and attachments. Text block clean and unmarked. Tight binding. Seller Inventory # UTA1775397
Stock Image
Formal Methods at the Crossroads. From Panacea to Foundational Support: 10th Anniversary Colloquium of UNU/IIST, the International Institute for ... (Lecture Notes in Computer Science, 2757)
Seller: California Books, Miami, FL, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # I-9783540205272
Seller Image
Formal Methods at the Crossroads. From Panacea to Foundational Support: 10th Anniversary Colloquium of UNU/IIST, the International Institute for . . . . Notes in Computer Science, 2757, Band 2757)
Seller: Studibuch, Stuttgart, Germany
Seller rating 5 out of 5 stars
paperback. Condition: Befriedigend. 476 Seiten; 9783540205272.4 Gewicht in Gramm: 1. Seller Inventory # 883165
Buy Used
US$ 9.54
US$ 73.44 shipping
Ships from Germany to U.S.A.
Ships from Germany to U.S.A.
Quantity: 1 available
Stock Image
Formal Methods at the Crossroads. From Panacea to Foundational Support: 10th Anniversary Colloquium of UNU/IIST, the International Institute for ... (Lecture Notes in Computer Science, 2757)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. In. Seller Inventory # ria9783540205272_new
Buy New
US$ 68.46
US$ 16.15 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: Over 20 available
Stock Image
Formal Methods at the Crossroads: From Panacea to Foundation Support: 10th Anniversary Colloquium of Unu/Iist the International Institute for Software
Seller: Chiron Media, Wallingford, United Kingdom
Seller rating 4 out of 5 stars
PF. Condition: New. Seller Inventory # 6666-IUK-9783540205272
Buy New
US$ 66.61
US$ 20.88 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: 10 available
Seller Image
Formal Methods at the Crossroads. From Panacea to Foundational Support
Published by
Springer Berlin Heidelberg Nov 2003, 2003
ISBN 10: 3540205276
ISBN 13: 9783540205272
New
Taschenbuch
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This volume records the 10th Anniversary Colloquium of UNU/IIST, the Int- nationalInstituteforSoftwareTechnologyoftheUnitedNationsUniversity,held in Lisbon, Portugal, March 18 21, 2002. Armando Haeberer, then Chairman of the board of UNU/IIST, conceived the idea of an international meeting in ce- brationoftheinstitute s10thanniversary. HewasworkinginLisbonatthistime andheproposedtoholdthemeetingthere,notleastbecausethePortugueseg- ernment had been one of the major sponsors of the institute, right from the very beginning. The aim of the meeting, organized by the Board of UNU/IIST, was twofold. First, the institute s research work should be re-assessed and diss- inated. Second, the future role of UNU/IIST s research area, formal methods, should be discussed. Role of Formal Methods. Over at least three decades of development, the c- ception of what role formal methods should play in software engineering seems to have changed dramatically, in uenced by both advocates and detractors. - ginning with a fundamentalist view that contested the genuineness of any n- formal practice, dismissing it as an inappropriate contribution to the as yet ill-de ned corpus of so-called software engineering, the conception of what this role should be has apparently evolved to a less naive engineering viewpoint. - day, as these theoretical methods acquire a new maturity and breadth of use, many of their advocates appear to be questioning their direct application by software practitioners, often considering it to be nonmandatory, and sometimes even nonadvisable. It appears that, together with the said maturation of the theoretical results and constructions, the perspective of their role within a far more complex picture of the software development activity has also matured. 476 pp. Englisch. Seller Inventory # 9783540205272
Buy New
US$ 64.94
US$ 27.11 shipping
Ships from Germany to U.S.A.
Ships from Germany to U.S.A.
Quantity: 2 available
Stock Image
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
Seller: Revaluation Books, Exeter, United Kingdom
Seller rating 5 out of 5 stars
Paperback. Condition: Brand New. revised edition. 455 pages. 9.00x6.00x0.75 inches. In Stock. Seller Inventory # x-3540205276
Buy New
US$ 95.27
US$ 16.85 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: 2 available
Seller Image
Formal Methods at the Crossroads. From Panacea to Foundational Support
Published by
Springer Berlin Heidelberg, 2003
ISBN 10: 3540205276
ISBN 13: 9783540205272
New
Kartoniert / Broschiert
Seller: moluna, Greven, Germany
Seller rating 4 out of 5 stars
Kartoniert / Broschiert. Condition: New. Seller Inventory # 4884685
Buy New
US$ 58.73
US$ 57.75 shipping
Ships from Germany to U.S.A.
Ships from Germany to U.S.A.
Quantity: Over 20 available
Seller Image
Formal Methods at the Crossroads. From Panacea to Foundational Support
Published by
Springer Berlin Heidelberg, Springer Berlin Heidelberg Nov 2003, 2003
ISBN 10: 3540205276
ISBN 13: 9783540205272
New
Taschenbuch
Seller: buchversandmimpf2000, Emtmannsberg, BAYE, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. Neuware -This volume records the 10th Anniversary Colloquium of UNU/IIST, the Int- nationalInstituteforSoftwareTechnologyoftheUnitedNationsUniversity,held in Lisbon, Portugal, March 18¿21, 2002. Armando Haeberer, then Chairman of the board of UNU/IIST, conceived the idea of an international meeting in ce- brationoftheinstitute¿s10thanniversary. HewasworkinginLisbonatthistime andheproposedtoholdthemeetingthere,notleastbecausethePortugueseg- ernment had been one of the major sponsors of the institute, right from the very beginning. The aim of the meeting, organized by the Board of UNU/IIST, was twofold. First, the institute¿s research work should be re-assessed and diss- inated. Second, the future role of UNU/IIST¿s research area, formal methods, should be discussed. Role of Formal Methods. Over at least three decades of development, the c- ception of what role formal methods should play in software engineering seems to have changed dramatically, in uenced by both advocates and detractors. - ginning with a fundamentalist view that contested the genuineness of any ¿n- formal¿ practice, dismissing it as an inappropriate contribution to the as yet ill-de ned corpus of so-called software engineering, the conception of what this role should be has apparently evolved to a less naive engineering viewpoint. - day, as these theoretical methods acquire a new maturity and breadth of use, many of their advocates appear to be questioning their direct application by software practitioners, often considering it to be nonmandatory, and sometimes even nonadvisable. It appears that, together with the said maturation of the theoretical results and constructions, the perspective of their role within a far more complex picture of the software development activity has also matured. 476 pp. Englisch. Seller Inventory # 9783540205272
Buy New
US$ 64.94
US$ 70.73 shipping
Ships from Germany to U.S.A.
Ships from Germany to U.S.A.
Quantity: 2 available
Seller Image
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 Papers
Published by
Springer Berlin Heidelberg, 2003
ISBN 10: 3540205276
ISBN 13: 9783540205272
New
Taschenbuch
Seller: AHA-BUCH GmbH, Einbeck, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - This volume records the 10th Anniversary Colloquium of UNU/IIST, the Int- nationalInstituteforSoftwareTechnologyoftheUnitedNationsUniversity,held in Lisbon, Portugal, March 18 21, 2002. Armando Haeberer, then Chairman of the board of UNU/IIST, conceived the idea of an international meeting in ce- brationoftheinstitute s10thanniversary. HewasworkinginLisbonatthistime andheproposedtoholdthemeetingthere,notleastbecausethePortugueseg- ernment had been one of the major sponsors of the institute, right from the very beginning. The aim of the meeting, organized by the Board of UNU/IIST, was twofold. First, the institute s research work should be re-assessed and diss- inated. Second, the future role of UNU/IIST s research area, formal methods, should be discussed. Role of Formal Methods. Over at least three decades of development, the c- ception of what role formal methods should play in software engineering seems to have changed dramatically, in uenced by both advocates and detractors. - ginning with a fundamentalist view that contested the genuineness of any n- formal practice, dismissing it as an inappropriate contribution to the as yet ill-de ned corpus of so-called software engineering, the conception of what this role should be has apparently evolved to a less naive engineering viewpoint. - day, as these theoretical methods acquire a new maturity and breadth of use, many of their advocates appear to be questioning their direct application by software practitioners, often considering it to be nonmandatory, and sometimes even nonadvisable. It appears that, together with the said maturation of the theoretical results and constructions, the perspective of their role within a far more complex picture of the software development activity has also matured. Seller Inventory # 9783540205272
Buy New
US$ 64.94
US$ 74.95 shipping
Ships from Germany to U.S.A.
Ships from Germany to U.S.A.
Quantity: 1 available