✦ LIBER ✦

Designing software for producibility

✍ Scribed by David N. Card

Publisher: Elsevier Science
Year: 1992
Tongue: English
Weight: 754 KB
Volume: 17
Category: Article
ISSN: 0164-1212
DOI: 10.1016/0164-1212(92)90110-6

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Designing software for provable correctn

Designing software for provable correctness: The direction for quality software

✍ Michael Dyer 📂 Article 📅 1988 🏛 Elsevier Science 🌐 English ⚖ 941 KB

A bstract: Formal software design methods significantly improve the quality of software designs and products. They introduce new levels of defect prevention with a rigorous design process for decomposing product requirements, systematically verifying the correctness of each decomposition and maintai

Designing communication protocol softwar

Designing communication protocol software for performance

✍ Shivani Arora 📂 Article 📅 2006 🏛 Institute of Electrical and Electronics Engineers 🌐 English ⚖ 120 KB

Software development: designing for the

Software development: designing for the user

✍ Henry Lewandowski 📂 Article 📅 1990 🏛 Elsevier Science 🌐 English ⚖ 250 KB

Software and transputer system design fo

Software and transputer system design for high speed grading of agricultural produce

✍ J.A. Marchant; R.D. Tillett 📂 Article 📅 1994 🏛 Elsevier Science 🌐 English ⚖ 714 KB

Software for designing testing and simul

Software for designing testing and simulating logic devices

📂 Article 📅 1986 🏛 Elsevier Science 🌐 English ⚖ 100 KB

A Risk Index for Software Producers

✍ LEUNG, HARETON K. N. 📂 Article 📅 1996 🏛 John Wiley and Sons 🌐 English ⚖ 818 KB

Software risk management has been receiving increasing attention lately. A key activity of software risk management is the quantification of the risk of using a software product. Previous attempts to define the risk index have taken the users' viewpoint. The loss due to a product failure is computed