Software reliability : achievement and assessment
著者
書誌事項
Software reliability : achievement and assessment
Blackwell Scientific Publications, 1987
大学図書館所蔵 件 / 全19件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
内容説明・目次
内容説明
This book arises from the Second Centre for Software Reliability Workshop which was held at the University of Keele in April 1985. The theme of the workshop was the achievement and measurement of software reliability and the speakers addressed the following questions: reliability achievement; reliability methods and measurement; the special reliability problems associated with particular applications; and management issues.
目次
- Contents: Building safe software
- Requirements, specification and testing
- Quality plans as a means of coordination, and engineering improvement
- Design fault tolerance in practical systems
- Software failures are management failures
- STATENGINE - a software reliable digital system for synchronous engineering. Task model, dedication architecture and task language
- Diversity by design - reliability aspects of systems with embedded software
- Management metrics
- Systematic versus probabilistic verification efforts - some examples
- Data requirements for software reliability prediction
- How good are software reliability predictions?
- Entropy/information theory and (software) reliability
- The r le for entropy and information in software reliability
- The use of models in reliability
- Safety systems for railways
- Reliable funds transfer.
「Nielsen BookData」 より