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.

United States, Prepackaged software, Software Publishers, Computer Language Software ex Military, Application development software, Program development software, Computer-aided software engineering, Computer aided software engineering, Application installation/distribution software

---

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.

Analysis, Software, Operating systems (Software), Operating systems

---

Similar abstracts:

• 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

This website is not affiliated with document authors or copyright owners. This page is provided for informational purposes only. Unintentional errors are possible.