Advertisement

Conclusions and Recommendations

  • Dan Craigen
  • Karen Summerskill
Conference paper
Part of the Workshops in Computing book series (WORKSHOPS COMP.)

Abstract

The emphasis of FM89 was an assessment of the state of the practice in formal methods and their possible roles in the development of critical systems. The workshop participants were drawn from Canada, the United Kingdom and the United States. Their backgrounds included safety, hardware, software and system engineering, various government agencies, and theoretical and applied computing science.

Keywords

Formal Method Critical System Workshop Participant Engineering Curriculum Mathematical Specification 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 1990

Authors and Affiliations

  • Dan Craigen
    • 1
  • Karen Summerskill
    • 1
  1. 1.Odyssey Research AssociatesOttawaCanada

Personalised recommendations