Dependable software by design
Article Abstract:
An overview of Alloy and related design-checking tools that employ automated reasoning techniques that treat a software design problem as a giant puzzle to be solved is presented. Tools akin to Alloy are used primarily in research and in cutting-edge industrial settings such as exploring new architecture for telephone switch systems, to design avionics processors that are secure against hackers and to describe access-control policies for communication networks, used to check and find protocols for printers on networks.
Publication Name: Scientific American
Subject: Science and technology
ISSN: 0036-8733
Year: 2006
User Contributions:
Comment about this article or add new information about this topic:
Sizing up software
Article Abstract:
Lack of standards in measuring the apparent size of computer programs has hindered experts from improving the efficiency of software. One of the proposed methods of gauging software is by identifying the operations it is capable of performing through functional points.
Publication Name: Scientific American
Subject: Science and technology
ISSN: 0036-8733
Year: 1998
User Contributions:
Comment about this article or add new information about this topic:
- Abstracts: The gene doctor is in. Blueprint of a star. Good-bye, Dolly,...
- Abstracts: Singapore showcase. Seeking structural solutions. The Singapore solutions
- Abstracts: For good measure. Selling space
- Abstracts: Auxin-Dependent Cell Expansion Mediated by Overexpressed Auxin-Binding Protein 1. Sperm-egg binding protein or proto-oncogene?
- Abstracts: VOC accumulation and pore filling in unsaturated porous media. Study of copper accumulation by the type I methanotroph Methylomicrobium albus BG8