Skip to main content

Software for Dependable Systems Sufficient Evidence? (2007) / Chapter Skim
Currently Skimming:

5 Bibliography
Pages 110-116

The Chapter Skim interface presents what we've algorithmically identified as the most significant single chunk of text within every page in the chapter.
Select key terms on the right to highlight them within pages of the chapter.


From page 110...
... Available online at . Avizienis, A., J.-C.
Read the entire page →
From page 111...
... Available online at . Frankl, Phyllis G., and Elaine J
Read the entire page →
From page 112...
... 2003. "The Verifying Compiler: A Grand Challenge for Computing Research." Journal of the ACM 50(1)
Read the entire page →
From page 113...
... :83-85. Available online at .
Read the entire page →
From page 114...
... Available online at . Mackenzie, Donald.
Read the entire page →
From page 115...
... The National Academies Press, Washington, D.C. Available online at
Read the entire page →
From page 116...
... 2005. "Strategic Action in Health Information Technology: Why the Obvious Has Taken So Long." Health Affairs 24(5)
Read the entire page →

Key Terms

  • software engineering
  • grand challenge
  • available online
  • randolph miller
  • usenix association

  • formal methods
  • clinical software
  • radiotherapy patients
  • information technology
  • national academies

  • software products
  • computing research
  • smartcard processors
  • human factors


    • This material may be derived from roughly machine-read images, and so is provided only to facilitate research.
    More information on Chapter Skim is available.