Skip to main content
SpringerLink
Log in

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

  • Book
  • © 2003

Overview

Editors:
  1. Bernhard K. Aichernig

    1. Institute for Software Technology, Graz University of Technology, Austria

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Tom Maibaum

    1. Department of Computing and Software, McMaster University, Hamilton, Canada

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 2757)

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (26 chapters)

  1. Front Matter

    Download chapter PDF

  2. In Memoriam Armando Martín Haeberer

    1. In Memoriam Armando Martín Haeberer

      • Tom Maibaum
      Pages 1-25

  3. Work at UNU/IIST

    1. UNU and UNU/IIST

      • Zhou Chaochen
      Pages 26-33

    2. Contract-Based Testing

      • Bernhard K. Aichernig
      Pages 34-48

    3. The Development of the RAISE Tools

      • Chris George
      Pages 49-64

    4. An Algebraic Approach to the VERILOG Programming

      • He Jifeng
      Pages 65-80

    5. Real-Time Systems Development with Duration Calculi: An Overview

      • Dang Van Hung
      Pages 81-96

    6. X2Rel: An XML Relation Language with Formal Semantics

      • Tomasz Janowski
      Pages 97-114

  4. At the Crossroads

    1. Where, Exactly, Is Software Development?

      • Michael Jackson
      Pages 115-131

    2. From Formal Techniques to Well-Founded Software Development Methods

      • Egidio Astesiano, Gianna Reggio, Maura Cerioli
      Pages 132-150

    3. Towards the Verifying Compiler

      • Tony Hoare
      Pages 151-160

    4. A Grand Challenge Proposal for Formal Methods: A Verified Stack

      • J. Strother Moore
      Pages 161-172

    5. “What Is an Infrastructure?” Towards an Informatics Answer

      • Dines Bjørner
      Pages 173-190

    6. A Formal Basis for Some Dependability Notions

      • Cliff B. Jones
      Pages 191-206

  5. From Models to Software

    1. Multi-view Modeling of Software Systems

      • Manfred Broy
      Pages 207-225

    2. An Executable Specification Language Based on Message Sequence Charts

      • Abhik Roychoudhury, P. S. Thiagarajan
      Pages 226-241

    3. Graph-Based Models of Internetworking Systems

      • Gianluigi Ferrari, Ugo Montanari, Emilio Tuosto
      Pages 242-266

    4. Software Development by Refinement

      • Dusko Pavlovic, Douglas R. Smith
      Pages 267-286

    5. Formal Methods within a Totally Functional Approach to Programming

      • Paul A. Bailes, Colin J. M. Kemp
      Pages 287-307

    6. Coordination Technologies for Just-in-Time Integration

      • José Luiz Fiadeiro
      Pages 308-321
Back to top

Keywords

Editors and Affiliations

  • Institute for Software Technology, Graz University of Technology, Austria

    Bernhard K. Aichernig

  • Department of Computing and Software, McMaster University, Hamilton, Canada

    Tom Maibaum

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation