Formal methods for V&V of partial specifications: An experience report

Proceedings of the IEEE International Conference on Requirements Engineering

Volumn , Issue , 1997, Pages 160-168

  Easterbrook, Steve ^a   Callahan, John ^a  

^a WEST VIRGINIA UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER HARDWARE DESCRIPTION LANGUAGES; COMPUTER SOFTWARE SELECTION AND EVALUATION; ERROR DETECTION; EXPERT SYSTEMS; FORMAL LANGUAGES; LARGE SCALE SYSTEMS;

INDEPENDENT VERIFICATION AND VALIDATION; REQUIREMENTS ENGINEERING;

COMPUTER AIDED SOFTWARE ENGINEERING;

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

References (15)