Skip to main content

Currently Skimming:

Appendix A: Workshop Agenda
Pages 25-30

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 25...
... Appendixes
From page 27...
... · How would your answers change for the same question, applied to nonfunctional requirements, such as performance and usability? · How do you measure or demonstrate the correlation between process metrics and product metrics for attributes such as reliability and security?
From page 28...
... · What do you consider to be the strengths and limitations of process metrics in assessing the dependability of a computer-based system? Panel B: Looking Forward: New Challenges, New Opportunities Robert Harper, Carnegie Mellon University Shriram Krishnamurthi, Brown University James Larus, Microsoft Research André van Tilborg, Office of the Secretary of Defense Moderators: John Rushby, Lui Sha The focus of this panel is what has changed in the last 30 years with respect to certification.
From page 29...
... Panel D: Organizational Context, Incentives, Safety Culture, and Management Richard Cook, University of Chicago Gene Rochlin, University of California, Berkeley William Scherlis, Carnegie Mellon University Moderators: Charles Perrow, David Woods The focus of this panel is to explore the implications of certification within the organizational context. · How are software development organizations responsible for failures?
From page 30...
... · Are there particularly promising directions that can lead to particular software engineering techniques becoming more cost-effective for creating dependable software? Panel F: Case Study: Electronic Voting David Dill, Stanford University Douglas Jones, University of Iowa Avi Rubin, Johns Hopkins University Ted Selker, Massachusetts Institute of Technology Moderators: Reed Gardner, Daniel Jackson The focus of this panel is to explore a particular application domain within the context of certification, dependability, and regulation.


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.