Advertisement

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
  • Tom Maibaum

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

Table of contents

  1. Front Matter
  2. In Memoriam Armando Martín Haeberer

    1. Tom Maibaum
      Pages 1-25
  3. Work at UNU/IIST

    1. Zhou Chaochen
      Pages 26-33
    2. Bernhard K. Aichernig
      Pages 34-48
    3. Chris George
      Pages 49-64
  4. At the Crossroads

    1. Michael Jackson
      Pages 115-131
    2. Egidio Astesiano, Gianna Reggio, Maura Cerioli
      Pages 132-150
    3. Tony Hoare
      Pages 151-160
    4. Cliff B. Jones
      Pages 191-206
  5. From Models to Software

    1. Manfred Broy
      Pages 207-225
    2. Abhik Roychoudhury, P. S. Thiagarajan
      Pages 226-241
    3. Gianluigi Ferrari, Ugo Montanari, Emilio Tuosto
      Pages 242-266
    4. Dusko Pavlovic, Douglas R. Smith
      Pages 267-286
    5. Paul A. Bailes, Colin J. M. Kemp
      Pages 287-307
    6. José Luiz Fiadeiro
      Pages 308-321

About this book

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

  • Bernhard K. Aichernig
    • 1
  • Tom Maibaum
    • 2
  1. 1.Institute for Software TechnologyGraz University of TechnologyAustria
  2. 2.Department of Computing and SoftwareMcMaster UniversityHamiltonCanada

Bibliographic information

  • DOI https://doi.org/10.1007/b11934
  • Copyright Information Springer-Verlag Berlin Heidelberg 2003
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-20527-2
  • Online ISBN 978-3-540-40007-3
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site
Industry Sectors
Pharma
Automotive
Finance, Business & Banking
Electronics
IT & Software
Telecommunications
Energy, Utilities & Environment
Aerospace
Engineering