SCR*: a toolset for specifying and analyzing requirements

COMPASS - Proceedings of the Annual Conference on Computer Assurance

Volumn , Issue , 1995, Pages 109-122

  Heitmeyer, Constance ^a   Bull, Alan ^a   Gasarch, Carolyn ^a   Labaw, Bruce ^a  

^a NAVAL RESEARCH LABORATORY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

C (PROGRAMMING LANGUAGE); COMPUTER HARDWARE DESCRIPTION LANGUAGES; COMPUTER SOFTWARE; COMPUTER WORKSTATIONS; FILE EDITORS; FORMAL LOGIC; PROGRAM DEBUGGING;

CONSISTENCY CHECKER; FORMAL REQUIREMENTS; SOFTWARE COST REDUCTION; SPECIFICATION EDITOR; TABULAR NOTATION;

COMPUTER AIDED SOFTWARE ENGINEERING;

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

References (25)