The focus of Software for Dependable Systems is a set of fundamental principles that underlie software system dependability and that suggest a different approach to the development and assessment of dependable software.
Unfortunately, it is difficult to assess the dependability of software. The field of software engineering suffers from a pervasive lack of evidence about the incidence and severity of software failures; about the dependability of existing software systems; about the efficacy of existing and proposed development methods; about the benefits of certificati
What do primordial bacteria, medieval alchemists, and the World Wide Web have to do with each other? This fascinating exploration of how information systems emerge takes readers on a provocative journey through the history of the information age.
Today's "information explosion" may seem like an acutely modern phenomenon, but we are not the first generation nor even the first species to wrestle with the problem of information overload. Long before the advent of computers, human beings were collecting, storing, and organizing information: from Ice Age taxonomies to Sumerian archives
The modern telecommunications infrastructure made possible by research performed over the last several decades is an essential element of the U.S. economy. The U.S. position as a leader in telecommunications technology, however, is at risk because of the recent decline in domestic support of long-term, fundamental telecommunications research. To help understand this challenge, the National Science Foundation asked the NRC to assess the state of telecommunications research in the United States and recommend ways to halt the research decline. This report provides an examination of telecommuni
The U.S. Air Force is developing new force capabilities appropriate to an emerging array of threats. It is clear that advances in information science and technology (IS&T) are essential for most of these new capabilities. As a consequence, the Air Force is finding it necessary to refocus its IS&T basic research program to provide stronger support for reaching these goals. To assist this effort, the AFOSR asked the NRC for a study to create a vision and plan for the IS&T-related programs within the Office s Mathematics and Space Science Directorate. This report provides an assessment of basic r
Policy makers need information about the nation ranging from trends in the overall economy down to the use by individuals of Medicare in order to evaluate existing programs and to develop new ones. This information often comes from research based on data about individual people, households, and businesses and other organizations, collected by statistical agencies. The benefit of increasing data accessibility to researchers and analysts is better informed public policy. To realize this benefit, a variety of modes for data access including restricted access to confidential data and unrestricted
We've come so far, so fast. Within a relatively short period of time, we've managed to put enormous computing power in offices and homes around the globe. But before there was an IBM computer, before there were laptops and personal PCs, there were small independent teams of pioneers working on the development of the very first computer. Scattered around the globe and ranging in temperament and talent, they forged the future in basement labs, backyard, workshops, and old horse barns.
Tracing the period just after World War II when the first truly modern computers were developed, El[more]