Skip to main content
  • Book
  • © 2003

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

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

Buying options

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

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

This is a preview of subscription content, access via your institution.

Table of contents (26 chapters)

  1. Front Matter

  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. 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 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

Keywords

  • Compiler
  • Software Engineering
  • automata
  • correct software development
  • dependable computing
  • formal methods
  • formal specification
  • formal verification
  • model checking
  • modeling
  • programming
  • refinement
  • sequence charts
  • systems modeling
  • verification

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

Buying options

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

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions