Software for Dependable Systems Sufficient Evidence? (2007) / Chapter Skim
Currently Skimming:
Pages 119-127
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 119... ...
. He has broad interests in many areas of software engineering, especially in specification and design, critical systems, formal methods, static analysis, and model checking.
|
From page 120... ...
In addition to his DER certificate, he has a B.S.E.E., a master's in software engineering, and a commercial pilot's license. Reed gardner is a professor and chair of the Department of Medical Informatics at the University of Utah.
|
From page 121... ...
APPENDIX A proof-carrying code technology for ensuring the security of mobile code. Today, proof-carrying code is the subject of several DARPA- and NSFsponsored research projects and forms the basis for the products and services provided by Cedilla Systems Incorporated, a Java technology start-up company he cofounded in 1999.
|
From page 122... ...
His major interests include applying perspectives and insights from the social sciences and humanities to the construction and application of these systems (which inevitably blends into cultural issues throughout the disciplines of software engineering and computer science, as well as at Microsoft and other organizations that produce software and systems) ; measurement of security and privacy; and the exploitation and mitigation of low-level programming defects such as buffer overruns.
|
From page 123... ...
Gillies Chair professor of computer science at the University of Illinois at Urbana-Champaign. Before joining UIUC in 1998, he was a senior member of the technical staff at the Software Engineering Institute at Carnegie Mellon University, which he joined in 1986.
|
From page 124... ...
, he founded a software engineering company, Praxis, to exploit modern software development methods. In December 1992, Praxis was sold to Deloitte and Touche, an international firm of accountants and management consultants, and Mr.
|
From page 125... ...
His work on how to make systems resilient to improve safety is based on accident investigations in nuclear power, medicine, and space operations. Multimedia overviews of his research are available at |
From page 126... ...
Most recently he served on a National Academy of Engineering/ Institute of Medicine study panel that applied engineering to improve health care systems and on a National Research Council panel that defined the future of the national air transportation system.
|
From page 127... ...
Penelope Smith worked temporarily with the Computer Science and Telecommunications Board between February and July 2004 as a senior program assistant. Prior to joining the National Academies, she worked in rural Angola as a health project manager and community health advisor for Concern Worldwide.
|
Key Terms
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.