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 ;

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. Front Matter....Pages - In Memoriam Armando Martín Haeberer....Pages 1-25 UNU and UNU/IIST....Pages 26-33 Contract-Based Testing....Pages 34-48 The Development of the RAISE Tools....Pages 49-64 An Algebraic Approach to the VERILOG Programming....Pages 65-80 Real-Time Systems Development with Duration Calculi: An Overview....Pages 81-96 X2Rel: An XML Relation Language with Formal Semantics....Pages 97-114 Where, Exactly, Is Software Development?....Pages 115-131 From Formal Techniques to Well-Founded Software Development Methods....Pages 132-150 Towards the Verifying Compiler....Pages 151-160 A Grand Challenge Proposal for Formal Methods: A Verified Stack....Pages 161-172 “What Is an Infrastructure?” Towards an Informatics Answer....Pages 173-190 A Formal Basis for Some Dependability Notions....Pages 191-206 Multi-view Modeling of Software Systems....Pages 207-225 An Executable Specification Language Based on Message Sequence Charts....Pages 226-241 Graph-Based Models of Internetworking Systems....Pages 242-266 Software Development by Refinement....Pages 267-286 Formal Methods within a Totally Functional Approach to Programming....Pages 287-307 Coordination Technologies for Just-in-Time Integration....Pages 308-321 Real-Time Process Algebra and Its Applications....Pages 322-336 Making Timed Automata Communicate....Pages 337-351 A Tool Architecture for the Next Generation of Uppaal ....Pages 352-366 Verification by Abstraction....Pages 367-380 Combining Decision Procedures....Pages 381-422 A Theory of Hints in Model Checking....Pages 423-438 Type Systems for Concurrent Programs....Pages 439-453 Back Matter....Pages -

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.

This volume is devoted to the 10th Anniversary Colloquium of UNU/IISI, 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/IISI 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 The sudden death of Arrmando in February devastated his many friends and colleagues around the world.