Published May 1989
| Version v1
Journal article
Looking for a formal assessment method [for computer software reliability]
Description
Assessment methods for software still lag behind those for other engineering disciplines. To gain the full benefits of software in safety-critical applications, formal methods for verification and validation are needed. (author)
Additional details
Publishing Information
- Journal Title
- Nuclear Engineering International
- Journal Volume
- 34
- Journal Issue
- 418
- Series
- Nucl. Eng. Int.
- Journal Page Range
- 33
- ISSN
- 0029-5507
- CODEN
- NEINB
INIS
- Country of Publication
- United Kingdom
- Country of Input or Organization
- United Kingdom
- INIS RN
- 20085711
- Subject category
- S22: GENERAL STUDIES OF NUCLEAR REACTORS;
- Descriptors DEI
- COMPUTER CODES; EVALUATION; NUCLEAR INDUSTRY; QUALITY CONTROL; SAFETY; VERIFICATION
- Descriptors DEC
- CONTROL; INDUSTRY