Applying the SCR requirements method to a weapons control panel: An experience report

Proceedings of the Workshop on Formal Methods in Software Practice

Volumn , Issue , 1998, Pages 92-102

  Heitmeyer, Constance ^a   Kirby, James ^a   Labaw, Bruce ^a  

^a NAVAL RESEARCH LABORATORY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER AIDED SOFTWARE ENGINEERING; COMPUTER SIMULATION; COMPUTER SOFTWARE SELECTION AND EVALUATION; FORMAL LANGUAGES; FORMAL LOGIC; PROGRAM TRANSLATORS;

FORMAL SPECIFICATIONS; SOFTWARE COST REDUCTION (SCR);

COMPUTER HARDWARE DESCRIPTION LANGUAGES;

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

References (27)