SCR method for formally specifying, verifying, and validating requirements: Tool support

Proceedings - International Conference on Software Engineering

Volumn , Issue , 1997, Pages 610-611

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

^a NAVAL RESEARCH LABORATORY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL LINGUISTICS; COMPUTER SIMULATION; COST EFFECTIVENESS; ERROR CORRECTION; FILE EDITORS; GRAPH THEORY; REAL TIME SYSTEMS; ARTIFICIAL INTELLIGENCE; FORMAL LOGIC; INTERACTIVE COMPUTER SYSTEMS;

GRAPH BROWSER; SOFTWARE COST REDUCTION (SCR) REQUIREMENTS METHOD; GRAPH BROWSERS; SOFTWARE COST REDUCTION (SCR);

COMPUTER AIDED SOFTWARE ENGINEERING;

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

References (7)