Increasing assurance with literate programming techniques

COMPASS - Proceedings of the Annual Conference on Computer Assurance

Volumn , Issue , 1996, Pages 187-198

  Moore, Andrew P ^a   Payne Jr , Charles N ^a  

^a NAVAL RESEARCH LABORATORY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER PROGRAMMING; FORMAL LANGUAGES; SECURITY OF DATA;

ASSURANCE ARGUMENT; FORMAL SPECIFICATIONS; LITERATE PROGRAMMING;

COMPUTER SOFTWARE SELECTION AND EVALUATION;

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

References (0)