B
Open Session Briefers

Although the individuals listed below provided much useful information of various kinds to the committee, they were not asked to endorse this study’s conclusions or recommendations, nor did they see the final draft of this report before its release.


DECEMBER 18-19, 2003

WASHINGTON, D.C.


Helen Gill, National Science Foundation

Sol Greenspan, National Science Foundation

Paul L. Jones, Food and Drug Administration

Carl Landwehr, National Science Foundation

Ernie Lucier, Federal Aviation Administration

Brad Martin, National Security Agency

Paul Miner, NASA

Ralph Wachter, Office of Naval Research


APRIL 19-21, 2004

WORKSHOP ON SOFTWARE CERTIFICATION AND DEPENDABILITY

WASHINGTON, D.C.


Kent Beck, Three Rivers Institute

Richard Cook, University of Chicago



The National Academies | 500 Fifth St. N.W. | Washington, D.C. 20001
Copyright © National Academy of Sciences. All rights reserved.
Terms of Use and Privacy Statement



Below are the first 10 and last 10 pages of uncorrected machine-read text (when available) of this chapter, followed by the top 30 algorithmically extracted key phrases from the chapter as a whole.
Intended to provide our own search engines and external engines with highly rich, chapter-representative searchable text on the opening pages of each chapter. Because it is UNCORRECTED material, please consider the following text as a useful but insufficient proxy for the authoritative book pages.

Do not use for reproduction, copying, pasting, or reading; exclusively for search engines.

OCR for page 128
Software For Dependable Systems: Sufficient Evidence? B Open Session Briefers Although the individuals listed below provided much useful information of various kinds to the committee, they were not asked to endorse this study’s conclusions or recommendations, nor did they see the final draft of this report before its release. DECEMBER 18-19, 2003 WASHINGTON, D.C. Helen Gill, National Science Foundation Sol Greenspan, National Science Foundation Paul L. Jones, Food and Drug Administration Carl Landwehr, National Science Foundation Ernie Lucier, Federal Aviation Administration Brad Martin, National Security Agency Paul Miner, NASA Ralph Wachter, Office of Naval Research APRIL 19-21, 2004 WORKSHOP ON SOFTWARE CERTIFICATION AND DEPENDABILITY WASHINGTON, D.C. Kent Beck, Three Rivers Institute Richard Cook, University of Chicago

OCR for page 128
Software For Dependable Systems: Sufficient Evidence? David Dill, Stanford University Matthias Felleisen, Northeastern University Brent Goldfarb, University of Maryland Anthony Hall, Praxis Critical Systems Bob Harper, Carnegie Mellon University Mats Heimdahl, University of Minnesota Chuck Howell, MITRE Corporation Doug Jones, University of Iowa Shriram Krishnamurthi, Brown University Jim Larus, Microsoft Research Isaac Levendel, Independent Consultant Gary McGraw, Cigital Peter Neumann, SRI International Bob Noel, MITRE Corporation Gene Rochlin, University of California, Berkeley Avi Rubin, Johns Hopkins University Bill Scherlis, Carnegie Mellon University Ted Selker, Massachusetts Institute of Technology André van Tilborg, Office of the Secretary of Defense MAY 18-19, 2004 CAMBRIDGE, MASSACHUSETTS James Baker, U.S. Air Force Michael Cusumano, Massachusetts Institute of Technology Michael Hammer, Hammer and Company Mike Lai, Microsoft Butler Lampson, Microsoft Research Alfred Spector, IBM Research Richard Stanley, MITRE FEBRUARY 16-18, 2005 MOUNTAIN VIEW, CALIFORNIA Bill Bush, Sun Microsystems Window Snyder, Microsoft