Documentation for safety critical software

Proceedings - International Conference on Software Engineering

Volumn , Issue , 1993, Pages 315-323

  Courtois, P J ^a   Parnas, D L ^a  

^a AIB Vinçotte International   (Belgium)

Author keywords

[No Author keywords available]

Indexed keywords

ACCIDENT PREVENTION; COMPUTER SOFTWARE; PRESSURIZED WATER REACTORS; PROGRAM DOCUMENTATION; REACTOR SHUTDOWNS; SOFTWARE ENGINEERING; TECHNICAL WRITING;

FORMAL DOCUMENTATION; SAFETY CRITICAL SOFTWARE; SOFTWARE DEPENDABILITY; SOFTWARE DESIGN;

NUCLEAR POWER PLANTS;

EID: 0027148766     PISSN: 02705257     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (16)