High-integrity software
著者
書誌事項
High-integrity software
Pitman, 1989.
- pbk
大学図書館所蔵 件 / 全2件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
注記
Includes bibliographical references and index.
内容説明・目次
内容説明
High integrity software is required for those systems whose failure as a result of software error would have unacceptable consequences, either because of the loss of assets, or because of the threat to life. The extra reliability required for high-integrity systems is provided by paying particular attention to critical areas of the design, by the use of specialized techniques including software verification, by exerting controls during production and maintenance, by extensive testing and by independent review. The aim of the book is to give practical guidance on the use of existing and developing techniques, some appreciation of relative merits and of how techniques may be used in combination. It also provides surveys of the existing literature. The chapters come from both professional and academic authorities and constitute essential reading for professional software engineers and technical managers in civil and military establishments.
目次
- Formal specification and implementation, C.T.Sennett
- designing for high integrity - the software fault tolerance approach, M.R.Moulding
- practical experience with formal verification system, Paul Smith and Nick Bleech
- reliable programming in standard languages, Bernard Carre
- new speak - a reliable programming language, I.F.Currie
- program analysis and systematic testing, M.A.Hennell
- program analysis and verification, Bernard Carre
- the algebraic specification of a target machine - Ten15, J.M.Foster
- assurance in high-integrity software, John McDermid
- modelling real-world issues for dependable software, John Dobson
- contractual specification of reliable software, C.T.Sennett.
「Nielsen BookData」 より