登入
選單
返回
Google圖書搜尋
Software Certification
City University (London, England). Centre for Software Reliability. Conference
出版
Springer Netherlands
, 1989-07-31
主題
Computers / General
Computers / Information Technology
Computers / Languages / General
Computers / Software Development & Engineering / General
ISBN
1851663800
9781851663804
URL
http://books.google.com.hk/books?id=KiizAAAAIAAJ&hl=&source=gbs_api
註釋
Certification of computer software; the legal aspects. Software process and product certification. The accreditation process. Military standards and software certification. The assessment of safety related systems containing software. Certification of software in airborne safety critical systems-an equipment manufacturer's viewpoint. Developing software for certification. Software safety certification in potentially hazardous industries. The role of verification and validation in the certification of military avionic software. The role of statistical modeling and inference in software quality assurance. The role of formal mathematics in the assurance of software.
