Tools for formal specification, verification, and validation of requirements

COMPASS - Proceedings of the Annual Conference on Computer Assurance

Volumn , Issue , 1997, Pages 35-47

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

^a NAVAL RESEARCH LABORATORY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SIMULATION; COMPUTER SOFTWARE SELECTION AND EVALUATION; COMPUTER SYSTEMS; ERROR CORRECTION; FORMAL LOGIC; GRAPHICAL USER INTERFACES;

SOFTWARE COST REDUCTION (SCR) METHOD;

COMPUTER AIDED SOFTWARE ENGINEERING;

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

References (26)