+612 9045 4394
 
CHECKOUT
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 - Bernhard K. Aichernig

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

By: Bernhard K. Aichernig (Editor), Tom Maibaum (Editor)

Paperback

Published: 18th November 2003
Ships: 7 to 10 business days
7 to 10 business days
RRP $312.99
$216.75
31%
OFF
or 4 easy payments of $54.19 with Learn more

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.

In Memoriam Armando Martin Haebererp. 1
UNU and UNU/IISTp. 26
Contract-Based Testingp. 34
The Development of the RAISE Toolsp. 49
An Algebraic Approach to the VERILOG Programmingp. 65
Real-Time Systems Development with Duration Calculi: An Overviewp. 81
X2Rel: An XML Relation Language with Formal Semanticsp. 97
Where, Exactly, Is Software Development?p. 115
From Formal Techniques to Well-Founded Software Development Methodsp. 132
Towards the Verifying Compilerp. 151
A Grand Challenge Proposal for Formal Methods: A Verified Stackp. 161
"What Is an Infrastructure?" - Towards an Informatics Answerp. 173
A Formal Basis for Some Dependability Notionsp. 191
Multi-view Modeling of Software Systemsp. 207
An Executable Specification Language Based on Message Sequence Chartsp. 226
Graph-Based Models of Internetworking Systemsp. 242
Software Development by Refinementp. 267
Formal Methods within a Totally Functional Approach to Programmingp. 287
Coordination Technologies for Just-in-Time Integrationp. 308
Real-Time Process Algebra and Its Applicationsp. 322
Making Timed Automata Communicatep. 337
A Tool Architecture for the Next Generation of Uppaalp. 352
Verification by Abstractionp. 367
Combining Decision Proceduresp. 381
A Theory of Hints in Model Checkingp. 423
Type Systems for Concurrent Programsp. 439
Author Indexp. 455
Table of Contents provided by Blackwell. All Rights Reserved.

ISBN: 9783540205272
ISBN-10: 3540205276
Series: Lecture Notes in Computer Science
Audience: General
Format: Paperback
Language: English
Number Of Pages: 462
Published: 18th November 2003
Publisher: Springer-Verlag Berlin and Heidelberg Gmbh & Co. Kg
Country of Publication: DE
Dimensions (cm): 23.5 x 15.5  x 2.79
Weight (kg): 0.72